Advertisement

A deductive and typed object-oriented language

  • René Bal
  • Herman Balsters
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 760)

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.

Keywords

Query languages object-oriented databases inheritance type theory resolution denotational semantics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AbKa89]
    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. [Abit90]
    S. Abiteboul, “Towards a deductive object-oriented database language,” Data & Knowledge Engineering 5 (1990), 263–287.Google Scholar
  3. [AbGr88]
    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. [Aït-K91]
    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. [Bal92]
    R. Bal, “DataTypeLog a deductive object-oriented query language,” University of Twente, Technical Report INF92-79, Enschede, 1992.Google Scholar
  6. [BaBa93]
    R. Bal & H. Balsters, “DTL: A deductive and typed object-oriented language,” Universiteit Twente, INF93-41, Enschede, The Netherlands, 1993.Google Scholar
  7. [BaBB92]
    R. Bal, H. Balsters & R. A. de By, “The TM typing rules,” University of Twente, Technical Report INF92-80, Enschede, 1992.Google Scholar
  8. [BaBZ93]
    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. [BaBV92]
    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. [BaFo91]
    H. Balsters & M. M. Fokkinga, “Subtyping can have a simple semantics,” Theoretical Computer Science 87 (September, 1991), 81–96.Google Scholar
  11. [BaVr91]
    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. [BrLM90]
    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. [CCCT90]
    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. [CaWe85]
    L. Cardelli & P. Wegner, “On understanding types, data abstraction, and polymorphism,” Computing Surveys 17 (1985), 471–522.Google Scholar
  15. [Card84]
    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. [Card88]
    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. [CeGT90]
    S. Ceri, G. Gottlob & L. Tanca, Logic Programming and Databases, Surveys in Computer Science, Springer-Verlag, New York-Heidelberg-Berlin, 1990.Google Scholar
  18. [GrLR92]
    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. [HuYo90]
    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. [IbCu90]
    M. H. Ibrahim & F. A. Cummins, “Objects with logic,” in AMC 18th Annual Computer Science Conference, Washington DC, 1990, 128–133.Google Scholar
  21. [KiLW90]
    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. [LéRi89]
    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. [Lloy87]
    J. W. Lloyd, Foundations of Logic Programming, Symbolic Computation, Springer-Verlag, New York-Heidelberg-Berlin, 1987.Google Scholar
  24. [LoOz91]
    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. [LyVi87]
    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. [McCa92]
    F. G. McCabe, Logic and Objects, International Series in Computer Science, Prentice-Hall International, London, England, 1992.Google Scholar
  27. [MoPo90]
    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. [NaTs89]
    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. [OhBB89]
    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. [Reyn85]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • René Bal
    • 1
  • Herman Balsters
    • 1
  1. 1.Computer Science DepartmentUniversity of TwenteAE EnschedeThe Netherlands

Personalised recommendations