Advances in Object-Oriented Database Systems

Object-oriented database management systems (OODBMS) are expected to serve advanced application domains such as engineering design, office information systems, imaging systems, and multimedia. This book, based on a NATO Advanced Research Workshop, covers all aspects of object-oriented database systems from design principles to implementation of prototypes. Topics covered include model concepts, query optimization, query languages, functional programming formalism, storage systems, transaction models, interoperability, distributed computing, rule languages, open architectures, hypermedia systems, and many others. Designers and developers will benefit from the comprehensive presentation of the various modules of such systems, while practitioners will find examples of implemented prototypes.

[1]  Stanley B. Zdonik,et al.  A Knowledge-Based Approach to Query Optimization , 1986, Expert Database Conf..

[2]  Randy H. Katz,et al.  Database Support for Versions and Alternatives of Large Design Files , 1984, IEEE Transactions on Software Engineering.

[3]  Michael Schrefl,et al.  Metaclasses in VODAK and their Application in Database Integration , 1990 .

[4]  Jay Banerjee,et al.  Queries in object-oriented databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[5]  Stefano Ceri,et al.  On Intelligent and Cooperative Information Systems: A Workshop Summary , 1992, Int. J. Cooperative Inf. Syst..

[6]  Narain H. Gehani,et al.  OdeView: the graphical interface to Ode , 1990, SIGMOD '90.

[7]  Alexandros Biliris.  The performance of three database storage structures for managing large objects , 1992, SIGMOD '92.

[8]  Janet H. Walker,et al.  Document Examiner: delivery interface for hypertext documents , 1987, Hypertext.

[9]  P. Karp.  The design space of frame knowledge representation systems , 1992 .

[10]  William E. Weihl.  Commutativity-based concurrency control for abstract data types , 1988 .

[11]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS.

[12]  J. A. Wise,et al.  Verification and Validation of Complex Systems: Human Factors Issues , 1993, NATO ASI Series.

[13]  David J. DeWitt,et al.  The EXODUS optimizer generator , 1987, SIGMOD '87.

[14]  Gerhard Weikum,et al.  Multi-level recovery , 1990, PODS.

[15]  Won Kim,et al.  A Model of CAD Transactions , 1985, VLDB.

[16]  Stanley B. Zdonik,et al.  Object-Oriented Queries: Equivalence and Optimization , 1989, DOOD.

[17]  William Kent.  The many forms of a single fact , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[18]  Jörg M. Haake,et al.  Supporting collaborative writing of hyperdocuments in SEPIA , 1992, CSCW '92.

[19]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[20]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[21]  Arnon Rosenthal,et al.  How to extend a conventional optimizer to handle one- and two-sided outerjoin , 1992, [1992] Eighth International Conference on Data Engineering.

[22]  Liuba Shrira,et al.  A Highly Available Object Repository for Use in a Heterogeneous Distributed System , 1990, POS.

[23]  Weimin Du,et al.  An overview of Pegasus , 1993, Proceedings RIDE-IMS `93: Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems.

[24]  Barbara Liskov,et al.  Distributed programming in Argus , 1988, CACM.

[25]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[26]  Stanley B. Zdonik,et al.  Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications , 1990, VLDB.

[27]  José A. Blakeley.  Open OODB: Architecture and Query Processing Overview , 1993, NATO ASI OODBS.

[28]  Alejandro P. Buchmann,et al.  Molecular Objects, Abstract Data Types, and Data Models: A Framework , 1984, VLDB.

[29]  John B. Smith,et al.  A hypertext writing environment and its cognitive basis (panel session) , 1987, Hypertext.

[30]  Ian A. Macleod,et al.  Storage and retrieval of structured documents , 1990, Inf. Process. Manag..

[31]  Emmanuel Waller,et al.  Schema Updates and Consistency , 1991, DOOD.

[32]  Alejandro P. Buchmann,et al.  Towards a Transaction Management System for DOM , 1991, GTE Laboratories Incorporated.

[33]  Gunter Schlageter,et al.  A General Model for Version Management in Databases , 1986, VLDB.

[34]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[35]  Elisa Bertino,et al.  Towards a Logical-Object Oriented Programming Language for Databases , 1992, EDBT.

[36]  Philip A. Bernstein,et al.  Concurrency control in a system for distributed databases (SDD-1) , 1980, TODS.

[37]  Timothy W. Finin,et al.  Interactive Classification as a Knowledge Aquisition Tool , 1984, Expert Database Workshop.

[38]  Shamkant B. Navathe,et al.  Conceptual Clustering in Database Systems , 1991 .

[39]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[40]  Amit P. Sheth,et al.  On Automatic Reasoning for Schema Integration , 1993, Int. J. Cooperative Inf. Syst..

[41]  Alejandro P. Buchmann,et al.  A Transaction Model for Active Distributed Object Systems , 1992, Database Transaction Models for Advanced Applications.

[42]  P. E. Cannata.  The irresistible move towards interoperable database systems , 1991, [1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems.

[43]  Elisa Bertino,et al.  Indexing Techniques for Queries on Nested Objects , 1989, IEEE Trans. Knowl. Data Eng..

[44]  Goetz Graefe,et al.  Rule-Based Query Optimization in Extensible Database Systems , 1987 .

[45]  M. Tamer Özsu.  Transaction Models and Transaction Management in Object-Oriented Database Management Systems , 1993, NATO ASI OODBS.

[46]  William Kent,et al.  The breakdown of the information model in multi-database systems , 1991, SGMD.

[47]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[48]  Matthias Jarke,et al.  Introduction to Query Processing , 1985, Query Processing in Database Systems.

[49]  David Maier,et al.  Making smalltalk a database system , 1984, SIGMOD '84.

[50]  Daniel Leivant,et al.  Lambda Calculus Characterizations of Poly-Time , 1993, Fundam. Informaticae.

[51]  Patrick Valduriez,et al.  Optimization of object-oriented recursive queries using cost-controlled strategies , 1992, SIGMOD '92.

[52]  Limsoon Wong,et al.  Naturally Embedded Query Languages , 1992, ICDT.

[53]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[54]  Nancy A. Lynch,et al.  Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.

[55]  Thomas C. Rakow,et al.  The V3 video server--managing analog and digital video clips , 1993, SIGMOD Conference.

[56]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[57]  Won Kim,et al.  Transaction management in an object-oriented database system , 1988, SIGMOD '88.

[58]  Klaus R. Dittrich,et al.  Events in an Active Object-Oriented Database System , 1993, Rules in Database Systems.

[59]  Georges Gardarin,et al.  Query Optimization in a Deductive Object-Oriented DBMS , 1992, DAISD.

[60]  Vivek Singhal,et al.  Texas: An Efficient, Portable Persistent Store , 1992, POS.

[61]  Norman W. Paton,et al.  DEAR: a DEbugger for Active Rules in an object-oriented context , 1993, Rules in Database Systems.

[62]  Guido Moerkotte,et al.  Function materialization in object bases , 1991, SIGMOD '91.

[63]  R. MacGregor,et al.  Mermaid—A front-end to distributed heterogeneous databases , 1987, Proceedings of the IEEE.

[64]  Jonathan J. King.  QUIST: A System for Semantic Query Optimization in Relational Databases , 1981, VLDB.

[65]  Stefano Ceri,et al.  Distributed Databases: Principles and Systems , 1984 .

[66]  Oscar Nierstrasz,et al.  Active objects in hybrid , 1987, OOPSLA '87.

[67]  Hans-Jörg Schek,et al.  Multi-Level Transaction Management, Theoretical Art or Practical Need ? , 1988, EDBT.

[68]  Narain H. Gehani,et al.  A Flexible Transaction Facility for an Object-Oriented Database , 1992 .

[69]  Terry A. Landers,et al.  An Overview of MULTIBASE , 1986, DDB.

[70]  José A. Blakeley.  OQL[C++]: Extending C++ with an Object Query Capability , 1995, Modern Database Systems.

[71]  Serge Abiteboul,et al.  Objects and views , 1991, SIGMOD '91.

[72]  Peter Dadam,et al.  A DBMS prototype to support extended NF2 relations: an integrated view on flat tables and hierarchies , 1986, SIGMOD '86.

[73]  Patrick Valduriez,et al.  An Introduction to Distributed Object Management , 1992, IWDOM.

[74]  Ronald Fagin.  Generalized first-order spectra, and polynomial. time recognizable sets , 1974 .

[75]  Donald D. Chamberlin,et al.  SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control , 1976, IBM J. Res. Dev..

[76]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

[77]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

[78]  Jianhua Zhu,et al.  Abstract Objects In An Object-Oriented Data Model , 1988, Expert Database Conf..

[79]  Sunit K. Gala,et al.  Classification as a query processing technique in the CANDIDE semantic data model , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[80]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[81]  Arnon Rosenthal,et al.  Extending the Algebraic Framework of Query Processing to Handle Outerjoins , 1984, VLDB.

[82]  Ming-Chien Shan,et al.  Automatic importation of relational schemas in Pegasus , 1993, Proceedings RIDE-IMS `93: Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems.

[83]  Klaus R. Dittrich.  Object-Oriented Data Model Concepts , 1993, NATO ASI OODBS.

[84]  Reda Alhajj,et al.  An object algebra for object-oriented database systems , 1993, DATB.

[85]  Erich J. Neuhold,et al.  Designing Intelligent Hypertext Systems using an Open Object-Oriented Database Model , 1993 .

[86]  Laura M. Haas,et al.  Extensible database management systems , 1990, SGMD.

[87]  Donald D. Chamberlin,et al.  Access Path Selection in a Relational Database Management System , 1989 .

[88]  Neil Immerman,et al.  Relational Queries Computable in Polynomial Time , 1986, Inf. Control..

[89]  Henry F. Korth,et al.  Formal model of correctness without serializabilty , 1988, SIGMOD '88.

[90]  Randy H. Katz,et al.  Toward a unified framework for version modeling in engineering databases , 1990, CSUR.

[91]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[92]  Stanley B. Zdonik,et al.  A shared, segmented memory system for an object-oriented database , 1987, TOIS.

[93]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[94]  Peter F. Patel-Schneider,et al.  A Four-Valued Semantics for Frame-Based Description Languages , 1986, AAAI.

[95]  José A. Blakeley,et al.  Architecture of an open object-oriented database management system , 1992, Computer.

[96]  Michael Schrefl,et al.  Using an object-oriented approach to model multimedia data , 1990, Comput. Commun..

[97]  Roger C. Schank,et al.  Inference and the Computer Understanding of Natural Language , 1973, Artif. Intell..

[98]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[99]  Yannis E. Ioannidis,et al.  Randomized algorithms for optimizing large join queries , 1990, SIGMOD '90.

[100]  Stanley B. Zdonik,et al.  Type Evolution in an Object-Oriented Database , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[101]  Hendrik Pieter Barendregt,et al.  Functional Programming and Lambda Calculus , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[102]  Hamid Pirahesh,et al.  Extensible/rule based query rewrite optimization in Starburst , 1992, SIGMOD '92.

[103]  Daniel Bryce,et al.  SNAP: A graphics-based schema manager , 1986, 1986 IEEE Second International Conference on Data Engineering.

[104]  Ashok M. Joshi,et al.  Adaptive Locking Strategies in a Multi-node Data Sharing Environment , 1991, VLDB.

[105]  Michael Stonebraker,et al.  A commentary on the POSTGRES rules system , 1989, SGMD.

[106]  C. J. Date.  A critique of the SQL database language , 1984, SGMD.

[107]  João Pedro da Ponte,et al.  Mathematical Problem Solving and New Information Technologies , 1992, NATO ASI Series.

[108]  Catriel Beeri,et al.  A model for concurrency in nested transactions systems , 1989, JACM.

[109]  Narain H. Gehani,et al.  Ode as an Active Database: Constraints and Triggers , 1991, VLDB.

[110]  Amihai Motro,et al.  VAGUE: a user interface to relational databases that permits vague queries , 1988, TOIS.

[111]  Umeshwar Dayal,et al.  Rules Are Objects Too: A Knowledge Model For An Active, Object-Oriented Database System , 1988, OODBS.

[112]  Shamkant B. Navathe,et al.  Knowledge mining by imprecise querying: a classification-based approach , 1992, [1992] Eighth International Conference on Data Engineering.

[113]  Daniel P. Miranker.  TREAT: a better match algorithm for AI production systems , 1987, AAAI 1987.

[114]  Ahmed K. Elmagarmid,et al.  A Multidatabase Transaction Model for InterBase , 1990, VLDB.

[115]  Jay David Bolter,et al.  WE: A Writing Environment for Professionals, , 1986 .

[116]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[117]  Sylvia L. Osborn.  Identity, Equality and Query Optimization , 1988, OODBS.

[118]  Gerhard Weikum,et al.  Semantic concurrency control in object-oriented database systems , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[119]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPSLA 1986.

[120]  Eugene Wong,et al.  Query optimization by simulated annealing , 1987, SIGMOD '87.

[121]  Calton Pu,et al.  Split-Transactions for Open-Ended Activities , 1988, VLDB.

[122]  Catriel Beeri,et al.  Some thoughts on the future evolution of object-oriented database concepts , 1993, BTW.

[123]  Gail E. Kaiser,et al.  Transactions for concurrent object-oriented programming systems , 1988, OOPSLA/ECOOP '88.

[124]  Akinori Yonezawa,et al.  Object-oriented concurrent programming in ABCL/1 , 1986, OOPSLA 1986.

[125]  Stanley B. Zdonik,et al.  Implementing persistent object bases : principles and practice , 1991 .

[126]  Sophie Cluet,et al.  A general framework for the optimization of object-oriented queries , 1992, SIGMOD '92.

[127]  Clement T. Yu,et al.  Query Optimization in Object-Oriented Database Systems , 1990, DEXA.

[128]  Omar Boucelma,et al.  An Extensible Functional Query Language for an Object Oriented Database System , 1991, DOOD.

[129]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[130]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[131]  David Maier,et al.  Efficient Assembly of Complex Objects ; CU-CS-502-90 , 1990 .

[132]  Norman K. Meyrowitz.  Intermedia: The Architecture and Construction of an Object-Oriented Hypermedia System and Applications Framework , 1986, OOPSLA.

[133]  William Kent.  A RIGOROUS MODEL OF OBJECT REFERENCE, IDENTITY, AND EXISTENCE , 1994 .

[134]  David Maier,et al.  Making Database Systems Fast Enough for CAD Applications , 1989, Object-Oriented Concepts, Databases, and Applications.

[135]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[136]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[137]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[138]  Jonathan Rees,et al.  Object-oriented programming in scheme , 1988, LFP '88.

[139]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[140]  Michael Stonebraker,et al.  The POSTGRES Rule Manager , 1988, IEEE Trans. Software Eng..

[141]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[142]  Reda Alhajj,et al.  Object - oriented query language , 1993 .

[143]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[144]  Laurent Vieille,et al.  Recursive Axioms in Deductive Databases: The Query/Subquery Approach , 1986, Expert Database Conf..

[145]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[146]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[147]  Patrick Valduriez,et al.  FAD, a Powerful and Simple Database Language , 1987, VLDB.

[148]  Roberto Zicari,et al.  A framework for schema updates in an object-oriented database system , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[149]  Elisa Bertino,et al.  Optimization of object-oriented queries using path indices , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[150]  Klaus R. Dittrich,et al.  Advances in Object-Oriented Database Systems , 1988, Lecture Notes in Computer Science.

[151]  Won Kim,et al.  Architecture of the ORION Next-Generation Database System , 1990, IEEE Trans. Knowl. Data Eng..

[152]  Goetz Graefe,et al.  Extensible Query Optimization and Parallel Execution in Volcano , 1991, Query Processing for Advanced Database Systems.

[153]  Narain H. Gehani,et al.  OdeFS: A File System Interface to an Object-Oriented Database , 1994, VLDB.

[154]  Catriel Beeri,et al.  Algebraic Optimization of Object-Oriented Query Languages , 1990, Theor. Comput. Sci..

[155]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .

[156]  Won Kim,et al.  A Model of Queries for Object-Oriented Databases , 1989, VLDB.

[157]  Goetz Graefe,et al.  Experiences building the open OODB query optimizer , 1993, SIGMOD Conference.

[158]  Weimin Du,et al.  The Pegasus heterogeneous multidatabase system , 1991, Computer.

[159]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[160]  Peter Buneman,et al.  Structural Recursion as a Query Language , 1992, DBPL.

[161]  Ahmed K. Elmagarmid,et al.  Transaction Models for Advanced Database Applications , 1991 .

[162]  Christos H. Papadimitriou,et al.  Why not negation by fixpoint? , 1988, PODS '88.

[163]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[164]  Peter Dadam,et al.  A Lock Technique for Disjoint and Non-Disjoint Complex Objects , 1990, EDBT.

[165]  Henry F. Korth.  Optimization of Object-Retrieval Queries , 1988, OODBS.

[166]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[167]  Amihai Motro,et al.  The Design of KIVIEW: An Object-Oriented Browser , 1988, Expert Database Conf..

[168]  Patrick Valduriez,et al.  Implementation Techniques of Complex Objects , 1986, VLDB.

[169]  Georg Gottlob,et al.  Translation and Optimization of Logic Queries: The Algebraic Approach , 1986, VLDB.

[170]  Robert M. MacGregor,et al.  Recognition Algorithms for the Loom Classifier , 1992, AAAI.

[171]  Masatoshi Yoshikawa,et al.  Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability (Extended Abstract) , 1989, FODO.

[172]  Amihai Motro,et al.  Accommodating imprecision in database systems: issues and solutions , 1990, SGMD.

[173]  Reda Alhajj,et al.  Queries in Object-Oriented Database Systems , 1992, CIKM.

[174]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..

[175]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[176]  Carlo Zaniolo,et al.  Design and Implementation of a Logic Based Language for Data Intensive Applications , 1988, ICLP/SLP.

[177]  Roger King,et al.  A Database Management System Based on an Object-Oriented Model , 1984, Expert Database Workshop.

[178]  Kevin Wilkinson,et al.  Maintaining Consistency of Client-Cached Data , 1990, VLDB.

[179]  Narain H. Gehani,et al.  Making C++ objects persistent: The hidden pointers , 1993, Softw. Pract. Exp..

[180]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[181]  S. Dijkstra,et al.  Instructional Models in Computer-Based Learning Environments , 1992 .

[182]  Narain H. Gehani,et al.  ODE (Object Database and Environment): the language and the data model , 1989, SIGMOD '89.

[183]  Georges Gardarin,et al.  Optimizing Object-Oriented Datbase Queries using Cost-Controlled Rewriting , 1992, EDBT.

[184]  Ian A. Macleod.  Text retrieval and the relational model , 1991, J. Am. Soc. Inf. Sci..

[185]  Georges Gardarin.  Object-Oriented Rule Languages and Optimization Techniques , 1993, NATO ASI OODBS.

[186]  H. K. Huang,et al.  Picture Archiving and Communication Systems (PACS) in Medicine , 1991, NATO ASI Series.

[187]  Andrea H. Skarra.  Localized correctness specifications for cooperating transactions in an object-oriented database , 1991 .

[188]  Sandra Heiler,et al.  An Approach to Interoperable Object Models , 1992, IWDOM.

[189]  Mario Tokoro,et al.  A concurrent object-oriented knowledge representation language Orient84/K: its features and implementation , 1986, OOPSLA 1986.

[190]  Robert M. MacGregor.  Using a description classifier to enhance deductive inference , 1991, [1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application.

[191]  Umeshwar Dayal,et al.  PROBE: A Knowledge-Oriented Database Management System , 1986, On Knowledge Base Management Systems.

[192]  Alejandro P. Buchmann,et al.  Rules in an Open System: The REACH Rule System , 1993, Rules in Database Systems.

[193]  Klaus R. Dittrich,et al.  Eine Ereignissprache für das aktive, objektorientierte Datenbanksystem SAMOS , 1993, BTW.

[194]  Darrell Woelk,et al.  Query Processing in Distributed ORION , 1990, EDBT.

[195]  Ronald Morrison,et al.  An Approach to Persistent Programming , 1989, Comput. J..

[196]  Harry G. Mairson,et al.  Database Query Languages Embedded in the Typed Lambda Calculus , 1996, Inf. Comput..

[197]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[198]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

[199]  David J. DeWitt,et al.  A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems , 1990, VLDB.

[200]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[201]  Don S. Batory,et al.  GENESIS: An Extensible Database Management System , 1988, IEEE Trans. Software Eng..

[202]  James Baker,et al.  Naming and Registration for IBM Distributed Systems , 1992, IBM Syst. J..

[203]  Gerhard Weikum Dr.-Ing.,et al.  Multi-level transaction management for complex objects: Implementation, performance, parallelism , 2005, The VLDB Journal.

[204]  David J. DeWitt,et al.  Algebraic support for complex objects with arrays, identity, and inheritance , 1991, SIGMOD '91.

[205]  Catriel Beeri,et al.  A Formal Approach to Object-Oriented Databases , 1990, Data Knowl. Eng..

[206]  Catriel Beeri,et al.  On the power of languages for manipulation of complex objects , 1987, VLDB 1987.

[207]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[208]  Richard Mark Soley,et al.  The OMG Object Model , 1995, Modern Database Systems.

[209]  Jay Banerjee,et al.  Composite object support in an object-oriented database system , 1987, OOPSLA '87.

[210]  Philip W. Trinder,et al.  Comprehensions, a Query Notation for DBPLs , 1992, DBPL.

[211]  Joseph M. Goodman,et al.  HAM: a general purpose hypertext abstract machine , 1988, CACM.

[212]  Daniel G. Theriault.  Issues in the Design and Implementation of Act2 , 1983 .

[213]  Randy H. Katz,et al.  Managing Change in a Computer-Aided Design Database , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[214]  Amit P. Sheth,et al.  On serializability of multidatabase transactions through forced local conflicts , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[215]  Giuliana Dettori,et al.  Cognitive Models and Intelligent Environments for Learning Programming , 1993, NATO ASI Series.

[216]  Richard Statman,et al.  The Typed lambda-Calculus is not Elementary Recursive , 1979, Theor. Comput. Sci..

[217]  Bruce G. Lindsay,et al.  The Starburst Long Field Manager , 1989, VLDB.

[218]  Miron Livny,et al.  Data caching tradeoffs in client-server DBMS architectures , 1991, SIGMOD '91.

[219]  B. R. Badrinath,et al.  Synchronizing Transactions on Objects , 1988, IEEE Trans. Computers.

[220]  Gunter Saake,et al.  Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype , 1989, VLDB.

[221]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.

[222]  Harry G. Mairson.  A Simple Proof of a Theorem of Statman , 1992, Theor. Comput. Sci..

[223]  DianeC . P. Smith,et al.  Database Abstractions: Aggregation and Generalization , 1989 .

[224]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[225]  Narain H. Gehani,et al.  Object versioning in Ode , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[226]  Mireille Régnier,et al.  Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics , 1992, ICDT.

[227]  Giulio Sandini,et al.  Robots and Biological Systems: Towards a New Bionics? , 2012, NATO ASI Series.

[228]  Maurice Herlihy,et al.  Apologizing versus asking permission: optimistic concurrency control for abstract data types , 1990, TODS.

[229]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[230]  Elisa Bertino,et al.  An Analytical Model of Object-Oriented Query Costs , 1992, POS.

[231]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

[232]  David J. DeWitt,et al.  Design and implementation of the wisconsin storage system , 1985, Softw. Pract. Exp..

[233]  J. Eliot B. Moss,et al.  Design of the Mneme persistent object store , 1990, TOIS.

[234]  Angelika Kotz Dittrich.  Adding Active Functionality to an Object-Oriented Database System - a Layered Approach , 1993, BTW.

[235]  R. G. G. Cattell,et al.  Object Data Management: Object-Oriented and Extended Relational Database Systems (Revised Edition) , 1991 .

[236]  Hamid Pirahesh,et al.  Extensible query processing in starburst , 1989, SIGMOD '89.

[237]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[238]  Narain H. Gehani,et al.  CQL++: A SQL for the Ode Object-Oriented DBMS , 1992, EDBT.

[239]  Alexandros Biliris.  An efficient database storage structure for large dynamic objects , 1992, [1992] Eighth International Conference on Data Engineering.

[240]  Stanley B. Zdonik,et al.  ISIS: interface for a semantic information system , 1985, SIGMOD Conference.

[241]  Jose A. Blakeley,et al.  Strawman reference model for Object Query Languages , 1991 .

[242]  John C. Mitchell.  Toward a typed foundation for method specialization and inheritance , 1989, POPL '90.

[243]  Lawrence A. Rowe,et al.  Cache consistency and concurrency control in a client/server DBMS architecture , 1991, SIGMOD '91.

[244]  Thomas C. Rakow,et al.  Atomic commitment for integrated database systems , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[245]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[246]  S. B. Yao,et al.  Approximating block accesses in database organizations , 1977, CACM.

[247]  Akinori Yonezawa,et al.  Modelling and programming in an object-oriented concurrent language ABCL/1 , 1987 .

[248]  M. Tamer Özsu,et al.  Reflection in a Uniform Behavioral Object Model , 1993, ER.

[249]  Nancy A. Lynch,et al.  Commutativity-Based Locking for Nested Transactions , 1990, J. Comput. Syst. Sci..

[250]  Michael Stonebraker,et al.  The POSTGRES Data Model , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[251]  Ming-Chien Shan,et al.  Issues in Operation Flow Management for Long-Running Acivities , 1993, IEEE Data Eng. Bull..

[252]  Norbert A. Streitz,et al.  From ideas and arguments to hyperdocuments: travelling through activity spaces , 1989, Hypertext.

[253]  Fernando Vélez,et al.  O2, an Object-Oriented Data Model , 1992, Building an Object-Oriented Database System, The Story of O2.

[254]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[255]  Goetz Graefe,et al.  The Volcano Optimizer Generator , 1991, ICDE 1991.

[256]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[257]  Wei-Min Shen,et al.  Using Carnot for enterprise information integration , 1993, [1993] Proceedings of the Second International Conference on Parallel and Distributed Information Systems.

[258]  P. Krishnan,et al.  Optimal prefetching via data compression , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[259]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[260]  Hans-Jörg Schek,et al.  Architectural Issues of Transaction Management in Multi-Layered Systems , 1984, VLDB.

[261]  Ken Barker,et al.  Concurrent transaction execution in multidatabase systems , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[262]  Umeshwar Dayal,et al.  Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers , 1987, VLDB.

[263]  Paris C. Kanellakis,et al.  Elements of Relational Database Theory , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[264]  Erich J. Neuhold,et al.  How to handle global transactions in heterogeneous database systems , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[265]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[266]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[267]  Divyakant Agrawal,et al.  Locks with constrained sharing (extended abstract) , 1990, PODS '90.

[268]  Henry Lieberman,et al.  Concurrent object-oriented programming in Act 1 , 1987 .

[269]  Gerhard Weikum,et al.  A theoretical foundation of multi-level concurrency control , 1985, PODS.

[270]  Ismailcem Budak Arpinar,et al.  MoodView: an advanced graphical user interface for OODBMSs , 1993, SGMD.

[271]  Alfonso F. Cardenas.  Analysis and performance of inverted data base structures , 1975, CACM.

[272]  M. Tamer Özsu,et al.  Type consistency of queries in an object-oriented database system , 1990, OOPSLA/ECOOP '90.

[273]  Elisa Bertino,et al.  A Survey of Indexing Techniques for Object-Oriented Database Management Systems , 1991, Query Processing for Advanced Database Systems.

[274]  Norbert A. Streitz,et al.  SEPIA: a cooperative hypermedia authoring environment , 1992, ECHT '92.

[275]  Sheila A. Greibach,et al.  Theory of Program Structures: Schemes, Semantics, Verification , 1976, Lecture Notes in Computer Science.

[276]  Mayer D. Schwartz,et al.  Neptune: a hypertext system for CAD applications , 1986, SIGMOD '86.

[277]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[278]  Michael Stonebraker,et al.  On rules, procedure, caching and views in data base systems , 1990, SIGMOD '90.

[279]  Matthias Jarke,et al.  Query Optimization in Database Systems , 1984, CSUR.

[280]  Jacob Stein,et al.  The GemStone object database management system , 1991, CACM.

[281]  William Kent.  User object models , 1992, OOPS.

[282]  Umeshwar Dayal,et al.  PDM: An Object-Oriented Data Model , 1986, OODBS.

[283]  Johannes Klein,et al.  Coordinating multi-transaction activities , 1990 .

[284]  David Maier,et al.  Specifying a Database System to Itself , 1992, Specifications of Database Systems.

[285]  Isabel F. Cruz,et al.  DOODLE: a visual language for object-oriented databases , 1992, SIGMOD '92.

[286]  A. Church.  The calculi of lambda-conversion , 1941 .

[287]  Edward A. Ashcroft.  DECIDABLE PROPERTIES OF MONADIC FUNCTIONAL SCHEMAS , 1971 .

[288]  C. F. Goldfarb.  Standards-HyTime: a standard for structured hypermedia interchange , 1991 .

[289]  Bjarne Stroustrup,et al.  The C++ programming language (2nd ed.) , 1991 .

[290]  Klaus R. Dittrich,et al.  Object-oriented database systems: the next miles of the marathon , 1990, Inf. Syst..

[291]  Tobin J. Lehman,et al.  Locking and Latching in a Memory-Resident Database System , 1992, VLDB.

[292]  Stanley B. Zdonik.  What Makes Object-Oriented Database Management Systems Different? , 1993, NATO ASI OODBS.

[293]  Harry K. T. Wong,et al.  Optimization of nested SQL queries revisited , 1987, SIGMOD '87.

[294]  Stanley B. Zdonik,et al.  Control of an Extensible Query Optimizer: A Planning-Based Approach , 1993, VLDB.

[295]  Mario Tokoro,et al.  Orient84/K: an object-oriented concurrent programming language for knowledge representation , 1987 .

[296]  Val Tannen,et al.  Logical and Computational Aspects of Programming with Sets/Bags/Lists , 1991, ICALP.

[297]  François Bancilhon.  Object-oriented database systems , 1988, PODS '88.

[298]  Herman Lam,et al.  OQL: A Query Language for Manipulating Object-oriented Databases , 1989, VLDB.

[299]  Karl Aberer,et al.  The Impact of Multimedia Data on Database Management Systems , 1993 .

[300]  Qiming Chen,et al.  An implementation model for reasoning with complex objects , 1988, SIGMOD '88.

[301]  Philip D. L. Koch.  Disk file allocation based on the buddy system , 1987, TOCS.

[302]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, PODS '87.

[303]  Elisa Bertino,et al.  Method precomputation in object-oriented databases , 1991, COCS '91.

[304]  Timos K. Sellis,et al.  Implementing large production systems in a DBMS environment: concepts and algorithms , 1988, SIGMOD '88.

[305]  Patrick Valduriez,et al.  Extending the Search Strategy in a Query Optimizer , 1991, VLDB.

[306]  Erich J. Neuhold,et al.  A Transaction Model for an Open Publication Environment , 1991 .

[307]  Michael Stonebraker,et al.  DARWIN: On the Incremental Migration , 1993 .

[308]  Norman W. Paton,et al.  Rule Management in Object Oriented Databases: A Uniform Approach , 1991, VLDB.

[309]  José A. Blakeley,et al.  Distribution and Persistence in the Open Object-Oriented Database System , 1992, IWDOM.

[310]  J. Eliot B. Moss,et al.  Working with Persistent Objects: To Swizzle or Not to Swizzle , 1992, IEEE Trans. Software Eng..

[311]  Klaus R. Dittrich,et al.  Supporting Semantic Rules by a Generalized Event/Trigger Mechanism , 1988, EDBT.

[312]  P. Rolin,et al.  SIRIUS System for Distributed Data Management , 1982, DDB.

[313]  Serge Abiteboul,et al.  Methods and rules , 1993, SIGMOD Conference.

[314]  Dimitrios Georgakopoulos.  Transaction management in multidatabase systems , 1991 .

[315]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.