Declarative Semantics for Active Integrity Constraints.
Luciano CaropreseMiroslaw TruszczynskiPublished in: ICLP (2008)
Keyphrases
- integrity constraints
- deductive databases
- declarative semantics
- active databases
- integrity checking
- query answering
- fixpoint
- functional dependencies
- logic programming
- database schema
- database integrity
- xml documents
- inclusion dependencies
- conjunctive queries
- logic programming language
- logic programs
- stable models
- xml schema
- datalog programs
- database systems
- consistent query answering
- databases