Login / Signup
Integrity Constraint Checking in U-Datalog
Ombretta Arvigo
Barbara Catania
Published in:
SEBD (1999)
Keyphrases
</>
constraint checking
deductive databases
integrity constraints
query answering
logic programming
query evaluation
distributed databases
datalog programs
federated databases
database systems
knowledge representation
management system
logic programs
object oriented