On updates with integrity constraints

2022/01/26 by Herzig, Andreas
#PMA #Updates #prime implicants

paper · doi:10.4230/dagsemproc.05321.12

Abstract

In his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed a new semantics for counterfactual conditionals. It is based on a particular update operation, and we show that it provides a new and interesting way of updating logical databases under integrity constraints which generalizes in particular Winslett's PMA.

Related

• Active Integrity Constraints and Revision Programming
• Automatic generation of simplified weakest preconditions for integrity constraint verification
• Don't go gaga with GIGO
• On the difference between checking integrity constraints before or after updates
• Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints