A data and operation model for advanced database systems

  • Scott Danforth
  • Eric Simon
  • INRIA-Rocquencourt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 611)


This paper introduces a model that combines and extends capabilities of relational and object oriented systems. Within a simple, statically-typed framework, the model supports abstract data types (ADTs), a multiple inheritance ordering on ADTs based on behavioral similarity, multi-targeted generic operations, polymorphic methods, type-independent persistence, and set-oriented rules over shared objects, values, classes, and relations. The model maintains a clear separation between interface and implementation, and resolves currently open problems for typed OODBs.


Data Models Database Programming Languages Object-Oriented Programming Type Checking Abstract Data Types Inheritance Complex Objects Relations 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ANSI90]
    ANSII X3J13 Standards Committee, “Common Lisp Object System Reference,” 1990.Google Scholar
  2. [Agra91]
    R. Agrawal, L. DeMichiel, B. Lindsay, “Static Type Checking of Multi-Methods,” ACM OOPSLA Conference, 1991.Google Scholar
  3. [Abit89]
    S. Abiteboul, and P. Kanellakis, “Object Identity as a Query Language Primitive,” ACM SIGMOD Conference, 1989.Google Scholar
  4. [Alba85]
    A. Albano, L. Cardelli, and R. Orini, “Galileo: A Strongly-typed, Interactive Conceptual Language,” ACM Transactions on Database Systems, Vol. 10, No. 2, June 1985.Google Scholar
  5. [Born82]
    A. Borning, and D. Ingalls, “A Type Declaration and Inference System for Smalltalk,” Proceedings of the 9th ACM Symposium on Principles of Programming Languages, 1982.Google Scholar
  6. [Brea89]
    V. Breazu-Tannen, P. Buneman, and A. Ohori, “Can Object-Oriented Databases be Statically Typed?”, 2nd International Workshop on Database Programming Languages, Portland, OR, 1989.Google Scholar
  7. [Cac90]
    F. Cacace, S. Ceri, S. Crespi-Reghizzi, L.Tanca, R. Zicari, “The Logres Project: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm,” ACM SIGMOD Conference 1990.Google Scholar
  8. [Cope84]
    G. Copeland, and D. Maier, “Making Smalltalk a Database System,” ACM SIGMOD Conference, 1984.Google Scholar
  9. [Card84]
    L. Cardelli, “A Semantics of Multiple Inheritance,” in Semantics of Data Types, Springer Verlag Lecture Notes in Computer Science #173, 1984.Google Scholar
  10. [Dan88]
    S. Danforth, and C. Tomlinson, “Type Theories and Object-Oriented Programming,” ACM Computing Surveys, Vol. 20, No. 1, March, 1988.Google Scholar
  11. [Dan90]
    S. Danforth, “Multi-targeted Virtual Functions for OODB,” Invited Presentation, Proceedings of the 6th Conference on Advances in Databases (Bases de Donnes Avancees), Montpellier, France, 1990.Google Scholar
  12. [Dan92]
    S. Danforth, and P. Valduriez, “A FAD for Data Intensive Applications,” IEEE Transactions on Knowledge and Data Engineering, to appear, Feb. 1992.Google Scholar
  13. [Ellis90]
    M. Ellis, and B. Stroustrup, The Annotated C++ Reference Manual, Addison-Wesley, 1990.Google Scholar
  14. [Gard89]
    G. Gardarin, et al., “Managing Complex Objects in an Extensible Relational DBMS,” Proceedings of the Int. Conference on VLDB, 1989.Google Scholar
  15. [Ghe90]
    G. Ghelli, “A Class Abstraction for a Hierarchical Type System,” Proceedings of the Third Int. Conference on Database Theory, Springer Verlag LNCS No. 470, 1990.Google Scholar
  16. [Gog87]
    J. Goguen, and J. Meseguer, “Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics,” In Research Directions in Object-Oriented Programming, B. Shriver and P.Wegner, Eds., MIT Press, 1987.Google Scholar
  17. [Gold83]
    A. Goldberg, and D. Robson, Smalltalk-80: The Language and Its Implementation, Addison-Wesley, 1983.Google Scholar
  18. [Grav89]
    J. Graver, “Type-Checking and Type-Inference for Object-Oriented Programming Languages,” Ph.D. Dissertation, Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1989.Google Scholar
  19. [Har91]
    W. Harris, “Contravariance for the Rest of Us,” Journal of Object Oriented Programming, Vol. 4, No. 7, November, 1991.Google Scholar
  20. [Kier90]
    G. Kieman, C. de Maindreville, and E. Simon, “Making Deductive Databases a Practical Technology: a Step Forward,” Proceedings ACM SIGMOD, Atlantic city, 1990.Google Scholar
  21. [Kif89]
    M. Kifer, and J. Wu, “A Logic for Object Oriented Programming (Maier's O-Logic Revisited)”, Proc. of Int. Conf. on PODS, March 1989.Google Scholar
  22. [Kim90]
    W. Kim, N. Ballou, J. Garza, and D. Woelk, “Architecture of the Orion Next-Generation Database System”, IEEE Trans. on Knowledge and Data Engineering, Vol 2, N. 1, March 1990.Google Scholar
  23. [Lecl88]
    C. Lecluse, P. Richard, and F. Velez, “O2, An Object-Oriented Data Model,” ACM SIGMOD Proceedings, 1988.Google Scholar
  24. [Lecl89]
    C. Lecluse, et al., “The O2 Database Programming Language,” Proceedings of the Int. Conference on VLDB, 1989.Google Scholar
  25. [Lind90]
    B. Lindsay, and Laura Hass, “Extensibility in the Starburst Experimental Database System,” IBM Almaden Research Report RJ 7570 (70747) 7/5/90, 1990.Google Scholar
  26. [Lou91]
    Y. Lou, and M. Ozsoyoglu, “LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance”, Proceedings of ACM SIGMOD Int. Conf., Denver, May 1991.Google Scholar
  27. [McKen92]
    B. McKenzie, “An Algebraic Model of Class, Inheritance, and Message Passing,” Ph.D. dissertation, Computer Science Dept., University of Texas at Austin, to appear, 1992.Google Scholar
  28. [Mit85]
    J. Mitchell, and G. Plotkin, “Abstract Types have Existential Type,” Proceedings 12th ACM Symposium on Principles of Programming Languages, 1985.Google Scholar
  29. [Ohor89]
    A. Ohori, P. Buneman, and V. Breazu-Tannen, “Database Programming in Machiavelli,” Proceedings of the ACM International SIGMOD Conference, Portland, 1989.Google Scholar
  30. [Osb86]
    S. Osborn, and T. Heaven, “The Design of a Relational Database System with Abstract Data Types for Domains,” ACM Transactions on Database Systems, Vol. 11, No. 3, September, 1986.Google Scholar
  31. [Ston88]
    M. Stonebraker et al., “Inclusion of New Types in Relational Database Systems,” Proc. Int. Conf. on Data Engineering, 1988.Google Scholar
  32. [Ston90]
    M. Stonebraker, et al., “Third-Generation Data Base System Manifesto,” Memorandum No. UCB/ERL M90/28, College of Engineering, University of California, Berkeley, 1990.Google Scholar
  33. [Zdon90]
    S. Zdonik, and D. Maier, “Fundamentals of Object-Oriented Databases,” in Readings in Object-Oriented Database Systems, Morgan-Kaufman, San Mateo, CA., 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Scott Danforth
    • 1
  • Eric Simon
    • 2
  • INRIA-Rocquencourt
  1. 1.IBMAustinUSA
  2. 2.INRIA RocquencourtLe Chesnay CedexFrance

Personalised recommendations