Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.
Luciano CaropreseMiroslaw TruszczynskiPublished in: JELIA (2008)
Keyphrases
- integrity constraints
- deductive databases
- declarative semantics
- integrity checking
- active databases
- fixpoint
- programming language
- logic programming
- database schema
- functional dependencies
- conjunctive queries
- query answering
- model theoretic
- logic programming language
- inclusion dependencies
- belief revision
- datalog programs
- logic programs
- defeasible reasoning
- database
- data complexity
- operational semantics
- stable models
- xml documents
- artificial intelligence
- knowledge base
- object oriented