Keyphrases
- integrity constraints
- constraint language
- deductive databases
- integrity checking
- query answering
- conjunctive queries
- database integrity
- logic rules
- constraint checking
- functional dependencies
- database schema
- database transactions
- semantic web
- schema integration
- knowledge base
- inclusion dependencies
- knowledge representation
- databases
- ontology languages
- correctness criterion
- active rules
- incomplete information