Active Integrity Constraints: From Theory to Implementation

The problem of database consistency relative to a set of integrity constraints has been extensively studied since the 1980s, and is still recognized as one of the most important and complex in the field. In recent years, with the proliferation of knowledge repositories (not only databases) in practical applications, there has also been an effort to develop implementations of consistency maintenance algorithms that have a solid theoretical basis.

[1]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[2]  Sergio Greco,et al.  Prioritized Active Integrity Constraints for Database Maintenance , 2007, DASFAA.

[3]  Luís Cruz-Filipe,et al.  Computing Repairs from Active Integrity Constraints , 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.

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

[5]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

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

[7]  Teodor C. Przymusinski,et al.  Update by Means of Inference Rules , 1997, J. Log. Program..

[8]  Peter Schneider-Kamp,et al.  repAIrC: A Tool for Ensuring Data Consistency , 2015, KMIS.

[9]  Peter Schneider-Kamp,et al.  Integrity Constraints for General-Purpose Knowledge Bases , 2016, FoIKS.

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

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

[12]  Georg Gottlob,et al.  On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals , 1992, Artif. Intell..

[13]  Victor W. Marek,et al.  Revision Programming, Database Updates and Integrity Constraints , 1995, ICDT.

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

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

[16]  Antoni Olivé,et al.  Updating knowledge bases while maintaining their consistency , 1995, The VLDB Journal.

[17]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

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

[19]  Ernest Teniente,et al.  A Survey of Current Methods for Integrity Constraint Maintenance and View Updating , 1999, ER.

[20]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..