On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases.
Jan ChomickiJerzy MarcinkowskiPublished in: Inconsistency Tolerance (2005)
Keyphrases
- minimal change
- relational databases
- computational complexity
- belief revision
- belief change
- update operations
- database
- data dependencies
- model theoretic
- sql queries
- normal form
- databases
- propositional knowledge base
- ctl model update
- object oriented
- np complete
- special case
- functional dependencies
- xml documents
- action theories
- integrity constraints
- propositional logic
- xml databases
- np hard
- decision problems
- reasoning about actions
- xml data
- decision procedures
- programming language
- default reasoning
- database schema
- model checking