Skip to main content
SpringerLink
Log in

Toward a uniform logical representation of different kinds of integrity constraints

  • Position Papers and System Descriptions
  • Conference paper
  • First Online:
Qualitative and Quantitative Practical Reasoning (FAPR 1997, ECSQARU 1997)

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

  • 135 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Carmo and A.J.I. Jones. Deontic Database Constraints and the Characterisation of Recovery. In A.J.I.Jones and M.Sergot, editors, 2nd Int. Workshop on Deontic Logic in Computer Science, pages 56–85. Tano A.S., 1994.

    Google Scholar 

  2. B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988.

    Google Scholar 

  3. R. Demolombe and A.J.I. Jones. Integrity Constraints Revisited. Journal of the Interest Group in Pure and Applied Logics, 4(3), 1996.

    Google Scholar 

  4. A.J.I. Jones and M. Sergot. On the role of Deontic Logic in the characterization of normative sytems. In J-J. Meyer and R.J. Wieringa, editors, Proc. First Int. Workshop on Deontic Logic in Computer Science, 1991.

    Google Scholar 

  5. J-M. Nicolas and K. Yazdanian. Integrity checking in Deductive Databases. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum, 1982.

    Google Scholar 

  6. A. Olivé. Integrity checking in Deductive Databases. In 17th Int. Conf. on Very Large Data Bases, 1991.

    Google Scholar 

  7. R. Reiter. What Should a Database Know? Journal of Logic Programming, 14(2,3), 1992.

    Google Scholar 

  8. E. Teniente and A. Olivé. The Events Method for View Updating in Deductive Databases. In Int. Conf. on Extending Data Base Technology, 1992.

    Google Scholar 

  9. R.J. Wieringa and J-J. Meyer. Applications of Deontic Logic in Computer Science: a concise overview. In J-J. Meyer and R.J. Wieringa, editors, Proc. First Int. Workshop on Deontic Logic in Computer Science, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ONERA/CERT, Toulouse, France

    Robert Demolombe

  2. Department of Philosophy and Norwegian Research Centre for Computers and Law, University of Oslo, Oslo, Norway

    Andrew J. I. Jones

  3. Department of Mathematics, Instituto Superior Tecnico, Lisboa, Portugal

    Jose Carmo

Authors
  1. Robert Demolombe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrew J. I. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jose Carmo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Rudolf Kruse Andreas Nonnengart Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Demolombe, R., Jones, A.J.I., Carmo, J. (1997). Toward a uniform logical representation of different kinds of integrity constraints. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035653

Download citation

  • DOI: https://doi.org/10.1007/BFb0035653

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63095-1

  • Online ISBN: 978-3-540-69129-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation