Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 2014: Logics in Artificial Intelligence pp 486–499Cite as

A Dynamic View of Active Integrity Constraints

  • Conference paper

  • 1118 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8761))

Abstract

Active integrity constraints have been introduced in the database community as a way to restore integrity. We view active integrity constraints as programs of Dynamic Logic of Propositional Assignments DL−PA and show how several semantics of database repair that were proposed in the literature can be characterised by DL−PA formulas. We moreover propose a new definition of repair. For all these definitions we provide DL−PA counterparts of decision problems such as the existence of a repair or the existence of a unique repair.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: Kupferman, O. (ed.) Logic in Computer Science (LICS). IEEE (2013)

    Google Scholar 

  2. Cruz-Filipe, L.: Optimizing computation of repairs from active integrity constraints. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 361–380. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  3. Caroprese, L., Greco, S., Zumpano, E.: Active integrity constraints for database consistency maintenance. IEEE Trans. Knowl. Data Eng. 21(7), 1042–1058 (2009)

    Article  Google Scholar 

  4. Caroprese, L., Truszczyński, M.: Declarative semantics for active integrity constraints. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 269–283. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Caroprese, L., Truszczynski, M.: Active integrity constraints and revision programming. TPLP 11(6), 905–952 (2011)

    MathSciNet  MATH  Google Scholar 

  6. Caroprese, L., Trubitsyna, I., Zumpano, E.: View updating through active integrity constraints. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 430–431. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Doutre, S., Herzig, A., Perrussel, L.: A dynamic logic framework for abstract argumentation. In: International Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria, pp. 143–152. AAAI Press (2014)

    Google Scholar 

  8. Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Warren, D.S. (eds.) PPDP, pp. 98–107. ACM (2004)

    Google Scholar 

  9. Harel, D.: Dynamic logic. In: Gabbay, D.M., Günthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 497–604. D. Reidel, Dordrecht (1984)

    Chapter  Google Scholar 

  10. Herzig, A.: Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments. In: Baral, C., De Giacomo, G. (eds.) Proc. KR 2014. AAAI Press (2014)

    Google Scholar 

  11. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)

    Google Scholar 

  12. Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, pp. 228–233. IJCAI/AAAI (2011)

    Google Scholar 

  13. Herzig, A., Menezes, V., De Barros, L.N., Wassermann, R.: On the revision of planning tasks. In: Schaub, T. (ed.) European Conference on Artificial Intelligence (ECAI) (August 2014)

    Google Scholar 

  14. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Gärdenfors, P. (ed.) Belief Revision, pp. 183–203. Cambridge University Press (1992); preliminary version in Allen, J.A., Fikes, R., Sandewall, E. (eds.): Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf., pp. 387–394. Morgan Kaufmann Publishers (1991)

    Google Scholar 

  15. Peppas, P., Nayak, A.C., Pagnucco, M., Foo, N.Y., Kwok, R.B.H., Prokopenko, M.: Revision vs. update: Taking a closer look. In: Wahlster, W. (ed.) ECAI, pp. 95–99. John Wiley and Sons, Chichester (1996)

    Google Scholar 

  16. Tiomkin, M.L., Makowsky, J.A.: Propositional dynamic logic with local assignments. Theor. Comput. Sci. 36, 71–87 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  17. van Eijck, J.: Making things happen. Studia Logica 66(1), 41–58 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  18. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Gärdenfors, P. (ed.) Belief Revision, pp. 183–203. Cambridge University Press (1992); Reasoning about action using a possible models approach. In: Proc. 7th Conf. on Artificial Intelligence (AAAI 1988), St. Paul, pp. 89–93 (1988)

    Google Scholar 

  19. Winslett, M.-A.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Toulouse, IRIT-LILaC and CNRS, France

    Guillaume Feuillade & Andreas Herzig

Authors
  1. Guillaume Feuillade
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Madeira, Funchal, Madeira, Portugal

    Eduardo Fermé

  2. CENTRIA, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Feuillade, G., Herzig, A. (2014). A Dynamic View of Active Integrity Constraints. In: Fermé, E., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2014. Lecture Notes in Computer Science(), vol 8761. Springer, Cham. https://doi.org/10.1007/978-3-319-11558-0_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11558-0_34

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11557-3

  • Online ISBN: 978-3-319-11558-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation