Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Extensions of Logic Programming (ELP 1992)

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

Included in the following conference series:

  • 140 Accesses

Abstract

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.

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. 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. 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. 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. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990.

    Google Scholar 

  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. A. Colmerauer. Opening the Prolog-III universe. BYTE magazine, vol. 12, n. 9, 1987.

    Google Scholar 

  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. 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. 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. 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. 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. J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986.

    Google Scholar 

  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. J.W. Lloyd. Foundations of logic programming. Springer-Verlag, Berlin, 1987. Second edition.

    Google Scholar 

  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. 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. S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Viale Benedetto XV 3, 16132, Genova, Italia

    Elisa Bertino & Maurizio Martelli

  2. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italia

    Danilo Montesi

Authors
  1. Elisa Bertino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maurizio Martelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Danilo Montesi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. Lamma P. Mello

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertino, E., Martelli, M., Montesi, D. (1993). CLP\((\mathcal{A}\mathcal{D})\) as a deductive database language with updates. In: Lamma, E., Mello, P. (eds) Extensions of Logic Programming. ELP 1992. Lecture Notes in Computer Science, vol 660. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56454-3_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-56454-3_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56454-6

  • Online ISBN: 978-3-540-47562-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation