repAIrC: A Tool for Ensuring Data Consistency - By Means of Active Integrity Constraints

Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp

2015

Abstract

Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements in knowledge bases; in particular, active integrity constraints go one step further, allowing the specification of preferred ways to overcome inconsistent situations in the context of database management. This paper describes a tool to validate an SQL database with respect to a given set of active integrity constraints, proposing possible repairs in case the database is inconsistent. The tool is able to work with the different kinds of repairs proposed in the literature, namely simple, founded, well-founded and justified repairs. It also implements strategies for parallelizing the search for them, allowing the user both to compute partitions of independent or stratified active integrity constraints, and to apply these partitions to find repairs of inconsistent databases efficiently in parallel.

References

  1. Abiteboul, S. (1988). Updates, a new frontier. In Gyssens, M., Paredaens, J., and van Gucht, D., editors, ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, volume 326 of LNCS, pages 1-18. Springer.
  2. Caroprese, L., Greco, S., and Molinaro, C. (2007). Prioritized active integrity constraints for database maintenance. In Ramamohanarao, K., Krishna, P. R., Mohania, M. K., and Nantajeewarawat, E., editors, Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, volume 4443 of LNCS, pages 459-471. Springer.
  3. Caroprese, L., Greco, S., and Zumpano, E. (2009). Active integrity constraints for database consistency maintenance. IEEE Transactions on Knowledge and Data Engineering, 21(7):1042-1058.
  4. Caroprese, L. and TruszczyÁski, M. (2011). Active integrity constraints and revision programming. Theory and Practice of Logic Programming, 11(6):905-952.
  5. Cruz-Filipe, L. (2014). Optimizing computation of repairs from active integrity constraints. In Beierle, C. and Meghini, C., editors, Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings, volume 8367 of LNCS, pages 361-380. Springer.
  6. Cruz-Filipe, L., Engrácia, P., Gaspar, G., and Nunes, I. (2013). Computing repairs from active integrity constraints. In Wang, H. and Banach, R., editors, 2013 International Symposium on Theoretical Aspects of Software Engineering, Birmingham, UK, July 1st-July 3rd 2013, pages 183-190. IEEE.
  7. Duhon, B. R. (1998). It's all in our heads. Informatiktage, 12(8):8-13.
  8. Eiter, T. and Gottlob, G. (1992). On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence , 57(2-3):227- 270.
  9. Flesca, S., Greco, S., and Zumpano, E. (2004). Active integrity constraints. In Moggi, E. and Scott Warren, D., editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pages 98-107. ACM.
  10. Katsuno, H. and Mendelzon, A. O. (1991). On the difference between updating a knowledge base and revising it. In Allen, J. F., Fikes, R., and Sandewall, E., editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991, pages 387-394. Morgan Kaufmann.
  11. König, M. E. (2012). What is KM? Knowledge Management Explained, http://www.kmworld.com/.
  12. Tarjan, R. E. (1972). Depth-first search and linear graph algorithms. SIAM Journal on Computing, 1(2):146- 160.
  13. Winslett, M. (1990). Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
Download


Paper Citation


in Harvard Style

Cruz-Filipe L., Franz M., Hakhverdyan A., Ludovico M., Nunes I. and Schneider-Kamp P. (2015). repAIrC: A Tool for Ensuring Data Consistency - By Means of Active Integrity Constraints . In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS, (IC3K 2015) ISBN 978-989-758-158-8, pages 17-26. DOI: 10.5220/0005586400170026


in Bibtex Style

@conference{kmis15,
author={Luís Cruz-Filipe and Michael Franz and Artavazd Hakhverdyan and Marta Ludovico and Isabel Nunes and Peter Schneider-Kamp},
title={repAIrC: A Tool for Ensuring Data Consistency - By Means of Active Integrity Constraints},
booktitle={Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS, (IC3K 2015)},
year={2015},
pages={17-26},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005586400170026},
isbn={978-989-758-158-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS, (IC3K 2015)
TI - repAIrC: A Tool for Ensuring Data Consistency - By Means of Active Integrity Constraints
SN - 978-989-758-158-8
AU - Cruz-Filipe L.
AU - Franz M.
AU - Hakhverdyan A.
AU - Ludovico M.
AU - Nunes I.
AU - Schneider-Kamp P.
PY - 2015
SP - 17
EP - 26
DO - 10.5220/0005586400170026