Integrity Constraints for General-Purpose Knowledge Bases.
Luís Cruz-FilipeIsabel NunesPeter Schneider-KampPublished in: CoRR (2016)
Keyphrases
- integrity constraints
- general purpose
- knowledge base
- deductive databases
- integrity checking
- description logics
- query answering
- functional dependencies
- database schema
- programming language
- conjunctive queries
- knowledge representation
- inclusion dependencies
- database integrity
- constraint checking
- xml schema
- schema integration
- consistent query answering
- dl lite
- database transactions
- null values
- logic programming
- federated databases
- xml documents
- active databases
- active rules
- logic programs
- logic rules
- relational databases