A Dynamic Logic Account of Active Integrity Constraints

Active integrity constraints have been introduced in the database community as a way to restore integrity based on a set of preferred update actions. We view active integrity constraints as dynamic logic programs and show how several semantics of database repair that were proposed in the literature can be characterised in Dynamic Logic of Propositional Assignments DL-PA. We moreover propose a new definition of repair which makes use of the programs of Dynamic Logic to provide repair solutions based on an iterating procedure. After an analysis of their properties and a comparison to the previous approaches, we provide complexity results for the problem of existence of these new repairs. Furthermore, an extension on databases with history is explored and the behavior of the various repairs is adjusted to work in this setting. For all these definitions we provide DL-PA counterparts of reasoning and decision problems, such as the existence of a repair or the existence of a unique repair.

[1]  M. Smith.  The New Frontier. , 1984, RNABC news.

[2]  Andreas Herzig,et al.  Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[3]  Emiliano Lorini,et al.  Epistemic Boolean Games Based on a Logic of Visibility and Control , 2016, IJCAI.

[4]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[5]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[6]  Andreas Herzig,et al.  A Dynamic View of Active Integrity Constraints , 2014, JELIA.

[7]  Andreas Herzig,et al.  DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE , 2014, ArXiv.

[8]  Andreas Herzig,et al.  Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments , 2014, KR.

[9]  Sergio Greco,et al.  Active integrity constraints , 2004, PPDP '04.

[10]  Martin C. Cooper,et al.  A Simple Account of Multi-Agent Epistemic Planning , 2016, ECAI.

[11]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

[12]  Sergio Greco,et al.  Active Integrity Constraints for Database Consistency Maintenance , 2009, IEEE Transactions on Knowledge and Data Engineering.

[13]  Marianne Winslett,et al.  Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science) , 2004 .

[14]  Luís Cruz-Filipe,et al.  Fixpoint semantics for active integrity constraints , 2018, Artif. Intell..

[15]  Norman Y. Foo,et al.  Revision vs. Update: Taking a Closer Look , 1996, ECAI.

[16]  Andreas Herzig,et al.  A Dynamic Logic Framework for Abstract Argumentation , 2014, KR.

[17]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[18]  Albert R. Meyer,et al.  Word problems requiring exponential time(Preliminary Report) , 1973, STOC.

[19]  Andreas Herzig,et al.  Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..

[20]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.

[21]  Johann A. Makowsky,et al.  Propositional Dynamic Logic with Local Assignments , 1985, Theor. Comput. Sci..

[22]  Emiliano Lorini,et al.  A Dynamic Logic of Normative Systems , 2011, IJCAI.

[23]  Luís Cruz-Filipe.  Optimizing Computation of Repairs from Active Integrity Constraints , 2014, FoIKS.

[24]  Miroslaw Truszczynski,et al.  Active integrity constraints and revision programming , 2010, Theory and Practice of Logic Programming.

[25]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[26]  Andreas Herzig,et al.  On the revision of planning tasks , 2014, ECAI.

[27]  Leopoldo E. Bertossi,et al.  Database Repairing and Consistent Query Answering , 2011, Database Repairing and Consistent Query Answering.

[28]  François Schwarzentruber,et al.  A Succinct Language for Dynamic Epistemic Logic , 2017, AAMAS.

[29]  Jan Chomicki,et al.  Minimal-change integrity maintenance using tuple deletions , 2002, Inf. Comput..