Ubi-Check: A Pervasive Integrity Checking System.

Michel Banâtre Fabien Allard Paul Couderc

Published in: NEW2AN (2009)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
semantic query optimization
constraint logic programming
context aware
computing environments
artificial intelligence
high level
object oriented
query answering