Towards Automated Integrity Constraints Modelling and Validation.
Sandra BergnerPublished in: KEOD (2015)
Keyphrases
- integrity constraints
- integrity checking
- deductive databases
- functional dependencies
- database integrity
- query answering
- inclusion dependencies
- database schema
- constraint checking
- xml schema
- xml documents
- active rules
- conjunctive queries
- database transactions
- consistent query answering
- multi dimensional
- relational databases
- logic rules