Skip to main content
SpringerLink
Log in

A deductive and typed object-oriented language

  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1993)

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

Included in the following conference series:

Abstract

In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Datalog equipped with complex objects, object identities, and multiple inheritance based on Cardelli type theory. The language also incorporates a very general notion of sets as first-class objects. The paper offers a formal description of DTL, as well as a denotational semantics for DTL programs.

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 & P. C. Kanellakis, “Object identity as a query language primitive,” in Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 31–June 2, 1989, J. Clifford, B. Lindsay & D. Maier, eds., ACM Press, New York, NY, 1989, 159–173, (also appeared as SIGMOD RECORD, 18, 2, June, 1989).

    Google Scholar 

  2. S. Abiteboul, “Towards a deductive object-oriented database language,” Data & Knowledge Engineering 5 (1990), 263–287.

    Google Scholar 

  3. S. Abiteboul & S. Grumbach, “COL: A Logic-based Language for Complex Objects,” in Advances in Database Technology — EDBT'88, J. W. Schmidt, S. Ceri & M. Missikoff, eds., Springer-Verlag, New York-Heidelberg-Berlin, 1988, 271–293, Lecture Notes in Computer Science 303.

    Google Scholar 

  4. H. Aït-Kaci, “An overview of LIFE,” in Next Generation Information System Technology, J. W. Schmidt & A. A. Stogny, eds., Proceedings of the First International East/West Data Base Workshop, Kiev, USSR, October 1990, Springer-Verlag, New York-Heidelberg-Berlin, 1991, 42–58, Lecture Notes in Computer Science # 504.

    Google Scholar 

  5. R. Bal, “DataTypeLog a deductive object-oriented query language,” University of Twente, Technical Report INF92-79, Enschede, 1992.

    Google Scholar 

  6. R. Bal & H. Balsters, “DTL: A deductive and typed object-oriented language,” Universiteit Twente, INF93-41, Enschede, The Netherlands, 1993.

    Google Scholar 

  7. R. Bal, H. Balsters & R. A. de By, “The TM typing rules,” University of Twente, Technical Report INF92-80, Enschede, 1992.

    Google Scholar 

  8. H. Balsters, R. A. de By & R. Zicari, “Typed sets as a basis for object-oriented database scheraas,” in ECOOP 1993 Kaiserslautern, 1993.

    Google Scholar 

  9. H. Balsters, R. A. de By & C. C. de Vreeze, “The TM Manual,” University of Twente, technical report INF92-81, Enschede, 1992.

    Google Scholar 

  10. H. Balsters & M. M. Fokkinga, “Subtyping can have a simple semantics,” Theoretical Computer Science 87 (September, 1991), 81–96.

    Google Scholar 

  11. H. Balsters & C. C. de Vreeze, “A semantics of object-oriented sets,” in The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3), August 27–30, 1991, Nafplion, Greece, P. Kanellakis & J. W. Schmidt, eds., Morgan Kaufmann Publishers, San Mateo, CA, 1991, 201–217.

    Google Scholar 

  12. A. Brogi, E. Lamma & P. Mello, “Inheritance and hypothetical reasoning in logic programming,” in Ninth European Conference on Artificial Intelligence, L. C. Aiello, ed., Stockholm, Sweden, 1990, 105–110.

    Google Scholar 

  13. F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca & R. Zicari, “Integrating object-oriented data modeling with a rule-based programming paradigm,” in Proceedings of ACM-SIGMOD 1990 International Conference on Management of Data, Atlantic City, NJ, May 23–25, 1990, H. Garcia-Molina & H. V. Jagadish, eds., ACM Press, New York, NY, 1990, 225–236, (also appeared as SIGMOD RECORD, 19, 2, June, 1990).

    Google Scholar 

  14. L. Cardelli & P. Wegner, “On understanding types, data abstraction, and polymorphism,” Computing Surveys 17 (1985), 471–522.

    Google Scholar 

  15. L. Cardelli, “A semantics of multiple inheritance,” in Semantics of Data Types, G. Kahn, D. B. Macqueen & G. Plotkin, eds., Lecture Notes in Computer Science #173, Springer-Verlag, New York-Heidelberg-Berlin, 1984, 51–67.

    Google Scholar 

  16. L. Cardelli, “Types for data-oriented languages,” in Advances in Database Technology—EDBT '88, J. W. Schmidt, S. Ceri & M. Missikoff, eds., Springer-Verlag, New York-Heidelberg-Berlin, 1988, 1–15, Lecture Notes in Computer Science 303.

    Google Scholar 

  17. S. Ceri, G. Gottlob & L. Tanca, Logic Programming and Databases, Surveys in Computer Science, Springer-Verlag, New York-Heidelberg-Berlin, 1990.

    Google Scholar 

  18. S. Greco, N. Leone & P. Rullo, “COMPLEX: An Object-Oriented Logical Programming System,” IEEE Transactions on Knowledge and Data Engineering 4 (august 1992), 344–359.

    Google Scholar 

  19. R. Hull & M. Yoshikawa, “ILOG: Declaritive Creation and Manipulation of Object Identifiers,” in Proceedings Sixth International Conference on Data Engineering, Los Angeles, CA, February 5–9, 1990, IEEE Computer Society Press, Washington, DC, 1990, 455–468.

    Google Scholar 

  20. M. H. Ibrahim & F. A. Cummins, “Objects with logic,” in AMC 18th Annual Computer Science Conference, Washington DC, 1990, 128–133.

    Google Scholar 

  21. M. Kifer, G. Lausen & J. Wu, “Logical Foundations of Object-Oriented and Frame-Based Languages,” Dept. Comp. Sc. State University of New York at Stony Brook, 90/14, Stony Brook, 1990.

    Google Scholar 

  22. C. Lécluse & P. Richard, “Modeling Complex Structures in Object-Oriented Databases,” in ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1989, 360–368.

    Google Scholar 

  23. J. W. Lloyd, Foundations of Logic Programming, Symbolic Computation, Springer-Verlag, New York-Heidelberg-Berlin, 1987.

    Google Scholar 

  24. Y. Lou & M. Ozsoyoglu, “LLO: A Deductive Language with Methods and Method Inheritance,” in Proceedings of ACM-SIGMOD 1991 International Conference on Management of Data, Denver, CO, May 29–31, 1991, J. Clifford & R. King, eds., ACM Press, New York, NY, 1991, 198–207, (also appeared as SIGMOD RECORD, 20, 2, June, 1991).

    Google Scholar 

  25. P. Lyngbaek & V. Vianu, “Mapping a semantic database model to the relational model,” in Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data, San Francisco, CA, May 27–29, 1987, U. Dayal & I. Traiger, eds., ACM Press, New York, NY, 1987, 132–142, (also appeared as SIGMOD RECORD 16, 3, December, 1987).

    Google Scholar 

  26. F. G. McCabe, Logic and Objects, International Series in Computer Science, Prentice-Hall International, London, England, 1992.

    Google Scholar 

  27. L. Monteiro & A. Porto, “A transformational view of inheritance in logic programming,” in Seventh International Conference on Logic Programming, D. H. D. Warren & P. Szeredi, eds., MIT Press, Cambridge, MA, 1990, 481–494.

    Google Scholar 

  28. S. Naqvi & S. Tsur, A Logical Language for Data and Knowledge Bases, Principles of Computer Science, Computer Science Press, Rockville, MD, 1989, 288 pp.

    Google Scholar 

  29. A. Ohori, P. Buneman & V. Breazu-Tannen, “Database programming in Machiavellia polymorphic language with static type inference,” in Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 31–June 2, 1989, J. Clifford, B. Lindsay & D. Maier, eds., ACM Press, New York, NY, 1989, 46–57, (also appeared as SIGMOD RECORD, 18, 2, June, 1989).

    Google Scholar 

  30. J. C. Reynolds, “Three Approaches to Type Structure,” in Mathematical Foundations of Software Development, H. Ehrig et al., ed., Lecture Notes in Computer Science #185, Springer-Verlag, New York-Heidelberg-Berlin, 1985, 97–138.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Twente, P.O. Box 217, 7500, AE Enschede, The Netherlands

    René Bal & Herman Balsters

Authors
  1. René Bal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Herman Balsters
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stefano Ceri Katsumi Tanaka Shalom Tsur

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bal, R., Balsters, H. (1993). A deductive and typed object-oriented language. In: Ceri, S., Tanaka, K., Tsur, S. (eds) Deductive and Object-Oriented Databases. DOOD 1993. Lecture Notes in Computer Science, vol 760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57530-8_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-57530-8_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48212-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation