Keyphrases
- integrity constraints
- knowledge base
- deductive databases
- functional dependencies
- integrity checking
- description logics
- query answering
- database schema
- conjunctive queries
- constraint checking
- inclusion dependencies
- active rules
- dl lite
- logic programming
- database integrity
- xml documents
- database transactions
- databases
- knowledge representation
- schema integration