Abstract
This paper presents a declarative semantics for the maintenance of integrity constraints expressed by means of production rules. A production rule is a special form of active rule, called active integrity constraint, whose body contains an integrity constraint (conjunction of literals which must be false) and whose head contains a disjunction of update atoms, i.e. actions to be performed if the corresponding constraint is not satisfied (i.e. is true). The paper introduces i) a formal declarative semantics allowing the computation of founded repairs, that is repairs whose actions are specified and supported by active integrity constraint, ii) an equivalent semantics obtained by rewriting production rules into disjunctive logic rules, so that repairs can be derived from the answer sets of the logic program and finally iii) a characterization of production rules allowing a methodology for integrity maintenance.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. JLP 45(1-3), 43–70 (2000)
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS, pp. 68–79 (1999)
Arenas, M., Bertossi, L., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions. In: Proc. FQAS, pp. 27–41 (2000)
Baral, C.: Embedding revision programs in logic programming situation calculus. Journal of Logic Programming 30(1), 83–97 (1997)
Ceri, S., Widom, J.: Deriving Production Rules for Constraint Maintenance. In: VLDB, pp. 566–577 (1990)
Chomicki, J., Lobo, J., Naqvi, S.A.: Conflict resolution using logic programming. IEEE TKDE 15(1), 244–249 (2003)
Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Information & Computation 197(1-2), 90–121 (2005)
Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM TODS 22(3), 364–418 (1997)
Flesca, S., Greco, S.: Declarative semantics for active rules. TPLP 1(1), 43–69 (2001)
Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: PPDP, pp. 98–107 (2004)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. ICLPS, pp. 1070–1080 (1988)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New generation Computing 9(3/4), 365–385 (1991)
Grant, J., Subrahmanian, V.S.: Reasoning in inconsistent knowledge bases. IEEE TKDE 7(1), 177–189 (1995)
Greco, S., Zumpano, E.: Querying inconsistent databases. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS, 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)
Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Proc. ICDT, pp. 102–117 (1988)
Lin, J.: A semantics for reasoning consistently in the presence of inconsistency. Artificial Intelligence 86(1), 75–95 (1996)
Marek, V.W., Pivkina, I., Truszczynski, M.: Revision programming = logic programming + integrity constraints. Computer Science Logic, 73–98 (1998)
Marek, V.W., Truszczynski, M.: Revision programming. TCS 190(2), 241–277 (1998)
May, W., Ludascher, B.: Understanding the Global Semantics of Referential Actions using Logic Rules. ACM TODS 27(4), 343–397 (2002)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)
Paton, N.W., Diaz, O.: Active Database Systems. ACM Computing Surveys 31(1), 63–103 (1999)
Subrahmanian, V.S.: Amalgamating knowledge bases. ACM TKDE 19(2), 291–331 (1994)
Ullman, J.K.: Principles of Database and Knowledge-Base Systems. Computer Science Press (1998)
Wijsen, J.: Condensed representation of database repairs for consistent query answering. In: ICDT, pp. 378–393 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E. (2006). Declarative Semantics of Production Rules for Integrity Maintenance. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_5
Download citation
DOI: https://doi.org/10.1007/11799573_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)