A Dynamic Logic Account of Active Integrity Constraints.
Guillaume FeuilladeAndreas HerzigChristos RantsoudisPublished in: Fundam. Informaticae (2019)
Keyphrases
- integrity constraints
- dynamic logic
- active databases
- deductive databases
- integrity checking
- functional dependencies
- query answering
- modal logic
- conjunctive queries
- reasoning about actions
- imperative programs
- inclusion dependencies
- database schema
- constraint checking
- schema integration
- database integrity
- xml documents
- multi dimensional
- propositional dynamic logic
- inference rules