Active integrity constraints for general-purpose knowledge bases.
Luís Cruz-FilipeGraça GasparIsabel NunesPeter Schneider-KampPublished in: Ann. Math. Artif. Intell. (2018)
Keyphrases
- integrity constraints
- general purpose
- knowledge base
- active databases
- integrity checking
- deductive databases
- functional dependencies
- query answering
- conjunctive queries
- database integrity
- database schema
- schema integration
- constraint checking
- description logics
- dl lite
- inclusion dependencies
- database transactions
- xml documents
- logic programming
- programming language
- knowledge representation