Abstract
The paper presents a logic framework wherein constraints and preferences are used for database maintenance and querying. Our proposal is based on the use of a special type of integrity constraints (called Prioritized Active Integrity Constraints (PAICs)), whose body defines a constraint on data, whereas the head contains a set of partially ordered actions, which should be performed, if the body constraint is not satisfied, to make consistent the database. Therefore, a preference relation among repairs is introduced on the base of the (partially ordered) actions specified in the head of PAICs. On the base of the preference relation a set of preferred repairs is identified and preferred answers are derived from the database instances which have been made consistent by means of preferred repairs. The paper shows that databases with universal prioritized constraints admit (preferred) repairs and consistent answers if the set of constraints is satisfiable. The paper also shows how PAICs can be rewritten into disjunctive Datalog programs so that repairs can be obtained from the computation of stable models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query Answers in inconsistent databases. In: PODS, pp. 68–79 (1999)
Arenas, M., Bertossi, L., Chomicki, J.: Specifying and Querying Database repairs using Logic Programs with Exceptions. In: FQAS, pp. 27–41 (2000)
Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. TPLP 3(4-5), 393–424 (2003)
Brewka, G., Niemela, I., Truszczynski, M.: Answer Set Optimization. In: IJCAI, pp. 867–872 (2003)
Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative Semantics of Production Rules for Integrity Maintenance. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 26–40. Springer, Heidelberg (2006)
Chomicki, J.: Preference Formulas in Relational Queries. ACM TODS 28(4), 1–40 (2003)
Chomicki, J., Lobo, J., Naqvi, S.A.: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1), 244–249 (2003)
Chomicki, J., Staworko, S., Marcinkowski, J.: Preference-Driven Querying of Inconsistent Relational Databases. In: Proc. International Workshop on Inconsistency and Incompleteness in Databases (2006)
Delgrande, J.P., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. TPLP 3(2), 129–187 (2003)
Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. TODS 22(3), 364–418 (1997)
Gelfond, M., Son, T.C.: Reasoning with Prioritized Defaults. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471, pp. 164–223. Springer, Heidelberg (1998)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP (1988)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. In: NGC, vol. 9, pp. 365–385 (1991)
Grant, J., Subrahmanian, V.S.: Reasoning in Inconsistent Knowledge Bases. TKDE 7(1), 177–189 (1995)
Greco, S., Zumpano, E.: Querying Inconsistent Databases. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol. 1955, pp. 308–325. Springer, Heidelberg (2000)
Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE TKDE 15(6), 1389–1408 (2003)
Lin, J., Mendelzon, A.O.: Merging Databases Under Constraints. Int. J. Cooperative Inf. Syst. 7(1), 55–76 (1998)
Marek, V.W., Truszczynski, M.: Revision Programming. Theoretical Computer Science 190(2), 241–277 (1998)
Sakama, C., Inoue, K.: Priorized logic programming and its application to commonsense reasoning. Artificial Intelligence 123, 185–222 (2000)
Ullman, J.K.: Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, Rockville (1988)
Wijsen, J.: Condensed Representation of Database Repairs for Consistent Query Answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 375–390. Springer, Heidelberg (2002)
Zhang, Y., Foo, N.: Answer sets for prioritized logic programs. In: ILPS, pp. 69–83 (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caroprese, L., Greco, S., Molinaro, C. (2007). Prioritized Active Integrity Constraints for Database Maintenance. In: Kotagiri, R., Krishna, P.R., Mohania, M., Nantajeewarawat, E. (eds) Advances in Databases: Concepts, Systems and Applications. DASFAA 2007. Lecture Notes in Computer Science, vol 4443. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71703-4_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-71703-4_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71702-7
Online ISBN: 978-3-540-71703-4
eBook Packages: Computer ScienceComputer Science (R0)