Keyphrases
- integrity constraints
- federated databases
- deductive databases
- query answering
- integrity checking
- functional dependencies
- database schema
- database integrity
- distributed systems
- conjunctive queries
- constraint checking
- inclusion dependencies
- active rules
- active databases
- schema integration
- xml documents
- consistent query answering
- distributed database systems
- correctness criterion
- databases
- database transactions