Keyphrases
- integrity constraints
- deductive databases
- integrity checking
- database integrity
- constraint checking
- functional dependencies
- database schema
- query answering
- schema integration
- inclusion dependencies
- consistent query answering
- conjunctive queries
- database transactions
- xml documents
- databases
- active databases
- query optimization
- query processing