Integrity Constraints Checking in Deductive Databases with the Internal Events Method.

Antoni Olivé Joan Antoni Pastor

Published in: FMLDO (1990)

Keyphrases

integrity constraints
deductive databases
constraint checking
integrity checking
functional dependencies
query answering
xml documents
query evaluation
semantic query optimization
artificial intelligence
relational model
fixpoint
active rules
model theoretic