Runtime Addition of Integrity Constraints in SCIFF.
Marco AlbertiMarco GavanelliEvelina LammaPublished in: CILC (2010)
Keyphrases
- integrity constraints
- deductive databases
- integrity checking
- functional dependencies
- query answering
- conjunctive queries
- constraint checking
- database schema
- inclusion dependencies
- database transactions
- active rules
- database integrity
- consistent query answering
- databases
- abductive logic programming
- proof procedure
- xml documents
- aggregate queries
- active databases
- relational databases
- database