Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships.
Jaime RamírezAngélica de AntonioPublished in: SEKE (2001)
Keyphrases
- integrity constraints
- reasoning systems
- constraint checking
- integrity checking
- automated reasoning
- deductive databases
- description logics
- database schema
- conceptual schema
- knowledge representation and reasoning
- functional dependencies
- conjunctive queries
- database integrity
- query answering
- inclusion dependencies
- xml documents
- database transactions
- null values
- federated databases
- belief networks
- owl dl
- foreign key
- knowledge base