Pervasive Integrity Checking With Coupled Objects.

Paul Couderc Michel Banâtre Fabien Allard

Published in: ANT/MobiWIS (2011)

Keyphrases

integrity checking
integrity constraints
deductive databases
artificial intelligence
context aware
semantic query optimization
database
np hard
d objects
constraint logic programming
hard and soft constraints
moving objects
query language
general purpose
constraint programming