Active integrity constraints and revision programming.
Luciano CaropreseMiroslaw TruszczynskiPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- integrity constraints
- active databases
- deductive databases
- functional dependencies
- integrity checking
- query answering
- database integrity
- programming language
- conjunctive queries
- schema integration
- constraint checking
- database schema
- belief revision
- inclusion dependencies
- database transactions
- xml documents
- federated databases
- active rules