Advertisement

Toward a uniform logical representation of different kinds of integrity constraints

  • Robert Demolombe
  • Andrew J. I. Jones
  • Jose Carmo
Position Papers and System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1244)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988.Google Scholar
  3. 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. 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. 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. 6.
    A. Olivé. Integrity checking in Deductive Databases. In 17th Int. Conf. on Very Large Data Bases, 1991.Google Scholar
  7. 7.
    R. Reiter. What Should a Database Know? Journal of Logic Programming, 14(2,3), 1992.Google Scholar
  8. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Robert Demolombe
    • 1
  • Andrew J. I. Jones
    • 2
  • Jose Carmo
    • 3
  1. 1.ONERA/CERTToulouseFrance
  2. 2.Department of Philosophy and Norwegian Research Centre for Computers and LawUniversity of OsloOsloNorway
  3. 3.Department of MathematicsInstituto Superior TecnicoLisboaPortugal

Personalised recommendations