Semantics and Pragmatics of Integrity Constraints.
Ove SörensenBernhard ThalheimPublished in: SDKB (2011)
Keyphrases
- integrity constraints
- formal semantics
- active rules
- conceptual schema
- null values
- consistent query answering
- integrity checking
- deductive databases
- functional dependencies
- correctness criterion
- database schema
- query answering
- logical rules
- conjunctive queries
- constraint language
- schema integration
- xml schema
- database integrity
- constraint checking
- inclusion dependencies
- xml documents
- consistent answers
- inconsistent databases
- query containment
- database
- database transactions
- query answers
- federated databases
- data integration systems
- active databases
- np complete
- logic rules