Skip to main content
SpringerLink
Log in

Datalog++: A basis for active object-oriented databases

  • Semantics of Active Databases
  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1341))

Included in the following conference series:

Abstract

We consider in this paper an extension of Datalog with mechanisms for temporal, non monotonic and non deterministic reasoning, which we refer to as Datalog++. First, we study its semantics, and show how iterated fixpoint and stable model semantics can be combined to the purpose of clarifying the interpretation of Datalog++ programs, and supporting their efficient execution. Second, we exhibit a compilation into Datalog++ of an active/deductive object-oriented model, ADOOD, including the schema definition language, the query language with multiple roles, the basic update operations, and a form of active rules. The proposed compilation is intended both to illustrate the expressiveness of Datalog++, and to provide a more flexible programming front-end to it. Finally, we illustrate the use of ADOOD by means of examples from semistructured data management.

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. Serge Abiteboul. Querying Semi-Structured Data. In Proc. of the Int. Conf. on Database Theory (ICDT97), pages 1–17, 1997.

    Google Scholar 

  2. Serge Abiteboul and Victor Vianu. Queries and Computation on the Web. In Proc. of the Int. Conf. on Database Theory (ICDT97), pages 262–275, 1997.

    Google Scholar 

  3. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An Object Data Model with Roles. In Proc. of the 19th Int. Conf. on Very Large Data Bases, 1993.

    Google Scholar 

  4. N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993.

    Google Scholar 

  5. E. Bertino, G. Guerrini, and D. Montesi. Deductive Object Databases. In Proocedings of ECOOP'95, 1995.

    Google Scholar 

  6. A. J. Bonner and M. Kifer. Transaction Logic Programming. Technical Report CSRI-270, Computer System Research Institute, University of Toronto, December 1993.

    Google Scholar 

  7. P. Buneman, S. Davidson, M. Fernandez, and D. Suciu. Adding Structure to Unstructured Data. In Proc. of the Int. Conf. on Database Theory (ICDT97), pages 336–350, 1997.

    Google Scholar 

  8. J. Chomicki. Depth-Bounded bottom-up Evaluation of Logic Programs. Journal of Logic Programming, 25(1):1–31, October 1995.

    Article  MathSciNet  Google Scholar 

  9. P. Fraternali and L. Tanca. A Structured Approach for the Definition of the Semantics of Active Rules. ACM Transactions on Database Systems, 20(4):414–471, 1995.

    Article  Google Scholar 

  10. M Gelfond and V. Lifchitz. The Stable Model Semantics for logic programming. In Proc. of the 5th Int. Conf on Logic Programming, pages 1070–1080, 1988.

    Google Scholar 

  11. F. Giannotti, S. Greco, D. Saccà, and C. Zaniolo. Programming with non Determinism in Deductive Databases. Annals of Mathematics in Artificial Intelligence, 19:97–125, 1997.

    Article  Google Scholar 

  12. F. Giannotti, G. Manco, M. Nanni, and D. Pedreschi. Datalog++: A basis for Active Object-Oriented Databases. Technical Report C97-011, The CNUCE Institute, 1997.

    Google Scholar 

  13. F. Giannotti, G. Manco, and D. Pedreschi. A Deductive Data Model for Representing and Querying Semistructured Data. In Proc. of the 2nd Int. Workshop on Logic Programming Tools for Internet Applications, July 1997.

    Google Scholar 

  14. F. Giannotti, D. Pedreschi, D. Saccà, and C. Zaniolo. Non-Determinism in Deductive Databases. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD91), volume 566 of Lecture Notes in Computer Science, pages 129–146, 1991.

    Google Scholar 

  15. F. Giannotti, D. Pedreschi, and C. Zaniolo. Semantics and Expressive Power of Non Deterministic Constructs for Deductive Databases. Technical Report C96-04, The CNUCE Institute, 1996.

    Google Scholar 

  16. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Programming. Journal of ACM, 42(4):741–843, July 1995.

    Article  Google Scholar 

  17. L.V.S. Lakshman, F. Sadri, and I.N. Symramanian. A Declarative Language for Querying and Restructuring the Web. In Proc. of the Post-ICDE IEEE Workshop on research Issues in Data Engineering (RIDE-NDS'96), February 1996.

    Google Scholar 

  18. S. W. Loke, A. Davison, and L. Sterling. Lightweight deductive databases on the world-wide web. In Proc. of the 1st Workshop on “Logic Programming Tools for Internet Applications”, September 1996.

    Google Scholar 

  19. S. Manchanda. Declarative Expression of Deductive Database Updates. In Proceedings of the ACM Symposium on Principles of Database Systems, 1989.

    Google Scholar 

  20. A.O. Mendelzon, G.A. Mihaila, and T. Milo. Querying the World Wide Web. In Proc. of the Conf. on Parallel and Distributed Information Systems, 1996.

    Google Scholar 

  21. M. Nanni. Nondeterminism and XY-Stratification in Deductive Databases (in italian). Master's thesis, Department of Computer Science University of Pisa, 1997.

    Google Scholar 

  22. Y. Papakonstantinou, H. Garcia-Molina, and J. Widom. Object Exchange across Heterogeneous Information Sources. In Proc. of the Int. Conf. on Data Engineering, pages 251–260, 1995.

    Google Scholar 

  23. D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, and J. Widom. Querying Semistructured Heterogeneous Information. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 319–344, 1995.

    Google Scholar 

  24. R. Wieringa, W. de Jonge, and P. Spruit. Using Dynamic Classes and Role Classes to Model Object Migration. Theory and Practice of Object Systems, 1(1):173–196, 1995.

    Google Scholar 

  25. C. Zaniolo. A Unified Semantics for Active and Deductive Databases. In Proc. of the 1st Int. Workshop on Rules in Database Systems (RIDS93), pages 271–287, 1993.

    Google Scholar 

  26. C. Zaniolo. Active Database Rules with Transaction Conscious Stable Model Semantics. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 55–72, 1995.

    Google Scholar 

  27. C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: The LDL++ Approach. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD93), volume 760 of Lecture Notes in Computer Science, 1993.

    Google Scholar 

  28. C. Zaniolo, S. Ceri, C. Faloutsos, R.T Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufman, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNUCE Institute of CNR, Via S. Maria 36, 56125, Pisa, Italy

    Fosca Giannotti & Giuseppe Manco

  2. Dipartimento di Informatica, Università di Pisa, C.so Italia 40, 56125, Pisa, Italy

    Mirco Nanni & Dino Pedreschi

Authors
  1. Fosca Giannotti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giuseppe Manco
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mirco Nanni
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dino Pedreschi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bry Raghu Ramakrishnan Kotagiri Ramamohanarao

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giannotti, F., Manco, G., Nanni, M., Pedreschi, D. (1997). Datalog++: A basis for active object-oriented databases. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-63792-3_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63792-9

  • Online ISBN: 978-3-540-69647-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation