New data models and languages—the challenge

ABSTRACT

New data models and languages have been the focus of attention in database research in the last decade. The object-oriented paradigm is a convenient vehicle for describing this research, its accomplishments, and for considering which directions are now interesting. This paper presents some concepts of object-oriented databases, and then considers recent interesting developments concerning query languages, object identities, views and meta-data.

REFERENCES

• 1: S. Abiteboul, C. Beeri. On the Power of Languages for the Manipulation of Complex Objects. Proc. Int. Workshop on Theory aT#d Apphcai'tons of Nesled Relations and Complex Objects. Darmstadt, 1987. TR 846, INRIA, May 1988.
• 2: Serge Abiteboul , Anthony Bonner, Objects and views, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.238-247, May 29-31, 1991, Denver, Colorado, United States
• 3: Serge Abiteboul , Stéphane Grumbach, A rule-based language with functions and sets, ACM Transactions on Database Systems (TODS), v.16 n.1, p.1-30, March 1991 [doi>10.1145/103140.103141]
• 4: Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.159-173, June 1989, Portland, Oregon, United States
• 5: Serge Abiteboul , Paris C. Kanellakis , Emmanuel Waller, Method schemas, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.16-27, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298538]
• 6: M. Atkinson et al. The object-oriented database system manifesto. 1st Int'l Conf. on Ded#tctzve and Object Orzenled Databases. W. Kim, J-M. Nicolas, S. Nishio (eds), 1989, 40-57
• 7: M. Atkinson, P. Richard, and P. Trinder. Bulk types for large scale programming. Proc. Next Generation Inforn#ation System Technology, Kiev, USSR, 1991, LNCS 504, 228-250.
• 8: François Banciihon, Object-oriented database systems, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.152-162, March 1988, Austin, Texas, United States [doi>10.1145/308386.308429]
• 9: C. Beeri, A formal approach to object-oriented databases, Data & Knowledge Engineering, v.5 n.4, p.353-382, Oct. 1990 [doi>10.1016/0169-023X(90)90020-E]
• 10: Catriel Beeri, Theoretical foundations for OODB's—a personal perspective, Data Engineering, v.14 n.2, p.8-12, June 1991
• 11: Catriel Beeri , Shamim Naqvi , Oded Shmueli , Shalom Tsur, Set constructors in a logic database language, Journal of Logic Programming, v.10 n.3-4, p.181-232, April/May 1991 [doi>10.1016/0743-1066(91)90036-O]
• 12: C. Beeri and T. Milo. Subtyping in OODB's. Proc. lOth PODS, 1991.
• 13: Catriel Beeri , Tova Milo, Functional and predictive programming in OODB's, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.176-190, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137863]
• 14: Catriel Beeri , Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan, The valid model semantics for logic programs, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.91-104, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137115]
• 15: Val Breazu-Tannen , Ramesh Subrahmanyam, Logical and computational aspects of programming with sets/bags/lists, Proceedings of the 18th international colloquium on Automata, languages and programming, p.60-75, June 1991, Madrid, Spain
• 16: Val Breazu-Tannen , Peter Buneman , Atsushi Ohori, Can object-oriented databases be statically typed?, Proceedings of the second international workshop on Database programming languages, p.226-237, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
• 17: Val Breazu-Tannen , Peter Buneman , Shamim Naqvi, Structural recursion as a query language, Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data, p.9-19, April 1992, Nafplion, Greece
• 18: W. Chen. declarative specification and evaluation of database updates. 2nd lnt'l Conf. on Deduclzve and Object Orzented Databases, Munchen, December 1991.
• 19: Weidong Chen , Michael Kifer , David S. Warren, HiLog as a platform for database languages, Proceedings of the second international workshop on Database programming languages, p.315-329, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
• 20: Proc. 3rd Int'l. Workshop on Database Programmzng Languages, Nafplion, Greece, 1991.
• 21: Hans-Dieter Ehrich , Gunter Saake , Amílcar Sernadas, Concepts of Object-Orientation, Proceedings of the 2. Workshop on Informationssysteme und Künstliche Intelligenz: Modellierung, p.1-19, February 24-26, 1992
• 22: Richard Hull , Jianwen Su, On the expressive power of database queries with intermediate types, Journal of Computer and System Sciences, v.43 n.1, p.219-267, Aug. 1991 [doi>10.1016/0022-0000(91)90036-5]
• 23: Richard Hull , Masatoshi Yoshikawa, On the equivalence of database restructurings involving object identifiers (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.328-340, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113443]
• 24: Neil Immerman , Sushant Patnaik , David Stemple, The expressiveness of a family of finite set languages, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.37-52, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113417]
• 25: Samuel Kamin, Final Data Types and Their Specification, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.97-121, Jan. 1983 [doi>10.1145/357195.357202]
• 26: Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages (preliminary report), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.299-313, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298582]
• 27: Won Kim, Research directions in object-oriented database systems, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-15, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298537]
• 28: M. Kifer , J. Wu, A logic for object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-393, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73758]
• 29: Michael Kifer , Georg Lausen, F-logic: a higher-order language for reasoning about objects, inheritance, and scheme, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.134-146, June 1989, Portland, Oregon, United States
• 30: Gabriel M. Kuper , Moshe Y. Vardi, A new approach to database logic, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada [doi>10.1145/588011.588026]
• 31: G. M. Kuper, Logic programming with sets, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.11-20, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28661]
• 32: Gabriel M. Kuper, On the expressive power of logic programming languages with sets, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.10-14, March 1988, Austin, Texas, United States [doi>10.1145/308386.308397]
• 33: Atsushi Ohori , Peter Buneman , Val Breazu-Tannen, Database programming in Machiavelli—a polymorphic language with static type inference, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.46-57, June 1989, Portland, Oregon, United States
• 34: Joel Richardson , Peter Schwarz, Aspects: extending objects to support multiple, independent roles, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.298-307, May 29-31, 1991, Denver, Colorado, United States
• 35: M.H. Scholl, C. Laasch and M. Tresch. Updatable views in object-oriented databases. TR 150, Dept. Informatik, Inst. fur informationssysteme, ETH Zurich, Dec. 1990.
• 36: H J Schek , M H Scholl, The relational model with relation-valued attributes, Information Systems, v.11 n.2, p.137-147, 1986 [doi>10.1016/0306-4379(86)90003-7]
• 37: M.H. Scholl and H.-J. Schek. A synthesis of complex objects and object-orientation. Proc. IFIP TC2 Conf. on Object Orzented Databases, (DS-4), Windermere, UK, 1990.
• 38: D. Stelnple and T. Sheard. A recursive base for database programming primitives. Proc. Next Generation Informatzon System Technology, Kiev, USSR, 1991, LNCS 504, 311-332.
• 39: Scott L. Vandenberg , David J. DeWitt, Algebraic support for complex objects with arrays, identity, and inheritance, Proceedings of the 1991 ACM SIGMOD international conference on Management of data, p.158-167, May 29-31, 1991, Denver, Colorado, United States
• 40: Allen Van Gelder , Kenneth A. Ross , John S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM (JACM), v.38 n.3, p.619-649, July 1991 [doi>10.1145/116825.116838]
• 41: Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France [doi>10.1145/91556.91592]
• 42: P. Wadler. List comprehensions. Ch. 7 in P. Jones, The zmplementatzon of functional programmzng languages, Prentice Hall, 1987.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs
          Subjects: Type structure
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
          Subjects: Query languages

General Terms:
Languages, Theory