An Experimental CLP Platform for Integrity Constraints and Abduction.
Slim AbdennadherHenning ChristiansenPublished in: FQAS (2000)
Keyphrases
- integrity constraints
- deductive databases
- integrity checking
- functional dependencies
- constraint logic programming
- query answering
- database schema
- logic programming
- xml documents
- constraint checking
- conjunctive queries
- database integrity
- inclusion dependencies
- database transactions
- active rules
- xml schema
- constraint programming
- logic rules
- efficient computation
- null values
- federated databases
- consistent query answering
- multi dimensional
- database systems