Active Integrity Constraints and Revision Programming
Luciano CaropreseMiroslaw TruszczynskiPublished in: CoRR (2010)
Keyphrases
- integrity constraints
- active databases
- deductive databases
- functional dependencies
- integrity checking
- inclusion dependencies
- query answering
- database integrity
- database schema
- programming language
- belief revision
- constraint checking
- conjunctive queries
- active rules
- schema integration
- knowledge base
- consistent query answering
- federated databases
- database transactions
- logic rules
- null values
- xml documents
- database