CLP\((\mathcal{A}\mathcal{D})\) as a deductive database language with updates

  • Elisa Bertino
  • Maurizio Martelli
  • Danilo Montesi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 660)


In this paper we propose a logic-based language, CLP\((\mathcal{A}\mathcal{D})\) which is an instance of the Constraint Logic Programming schema and is a convenient semantic framework to be used for deductive database language with updates. CLP\((\mathcal{A}\mathcal{D})\) can be seen as an extension of Datalog with base relations updates and the notion of transaction. The semantics of this language is given in two steps and is based on a notion of observable corresponding to the computed answer constraint. Moreover, some useful notions of equivalence between databases with respect to a transaction and between transactions with respect to a database are given.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Abiteboul. Updates, a New Frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proc. Second Int 1 Conf. on Database Theory, volume 326 of Lecture Notes in Computer Science, pages 1–18. Springer-Verlag, Berlin, 1988.Google Scholar
  2. 2.
    K.R. Apt. Introduction to Logic Programming. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990. Volume B: Formal Models and Semantics.Google Scholar
  3. 3.
    E. Bertino, M. Martelli, and D. Montesi. A Incremental Semantics for CLP(AD). To appear in Fourth Italian Conference on Theoretical Computer Science, 1992.Google Scholar
  4. 4.
    S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990.Google Scholar
  5. 5.
    S. Ceri, G. Gottlob, and L. Tanca. What You Always Wanted to Know About Datalog — And Never Dared to Ask. IEEE Tran. on Knowledge and Data Eng., 1(1):146–164, March 1989.Google Scholar
  6. 6.
    A. Colmerauer. Opening the Prolog-III universe. BYTE magazine, vol. 12, n. 9, 1987.Google Scholar
  7. 7.
    M. A. Derr, G. Phipps, and K. A. Ross. Glue-Nail: A Deductive Database System. In Proc. Int'l Conf. ACM on Management of Data, pages 308–317, 1991.Google Scholar
  8. 8.
    M. Dincbas et al. The Constraint Logic Programming Language CHIP. In Proc. Int'l Conf. on Fifth Generation Computer Systems. Institute for New Generation Computer Technology, 1988.Google Scholar
  9. 9.
    M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A model-theoretic reconstruction of the operational semantics of logic programs. Technical Report TR 32/89, Dipartimento di Informatica, Università di Pisa, 1989. To appear in Information and Computation.Google Scholar
  10. 10.
    M. Gabbrielli and G. Levi. Modeling answer constraints in Contraint Logic Programs. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming, pages 238–252. The MIT Press, Cambridge, Mass., 1991.Google Scholar
  11. 11.
    J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages, pages 111–119. ACM, New York, USA, 1987.Google Scholar
  12. 12.
    J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986.Google Scholar
  13. 13.
    J. Lassez and S. Michaylor. Methdology and implementation of a CLP system. In J.-L. Lassez, editor, Proc. Fourth Int'l Conf. on Logic Programming. The MIT Press, Cambridge, Mass., 1987.Google Scholar
  14. 14.
    J.W. Lloyd. Foundations of logic programming. Springer-Verlag, Berlin, 1987. Second edition.Google Scholar
  15. 15.
    S. Manchanda and D. S. Warren. A Logic-based Language for Database Updates. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 363–394. Morgan-Kaufmann, 1988.Google Scholar
  16. 16.
    S. Naqvi and R. Krishnamurthy. Database Updates in Logic Programming. In Proc. of the ACM Symposium on Principles of Database Systems, pages 251–262. ACM, New York, USA, 1988.Google Scholar
  17. 17.
    S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989.Google Scholar
  18. 18.
    V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages. ACM, New York, USA, 1991.Google Scholar
  19. 19.
    M. Winslett. A Framework for Comparison of Updates Semantics. In Proc. of the ACM Symposium on Principles of Database Systems, pages 315–324. ACM, New York, USA, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Elisa Bertino
    • 1
  • Maurizio Martelli
    • 1
  • Danilo Montesi
    • 2
  1. 1.Dipartimento di Informatica e Scienze dell'InformazioneUniversità di GenovaGenovaItalia
  2. 2.Dipartimento di InformaticaUniversità di PisaPisaItalia

Personalised recommendations