Keyphrases
- integrity constraints
- deductive databases
- integrity checking
- database schema
- query answering
- conjunctive queries
- database integrity
- xml schema
- functional dependencies
- schema integration
- xml documents
- active rules
- inclusion dependencies
- active databases
- constraint checking
- database transactions
- data model
- null values
- database systems