Abstract Data Type Semantics for Many-Sorted Object Query Algebras

Traditional database query algebras usually have only one special sort to describe database and result structures, for example the sort ‘relation’ in relational algebra. For the new developments concerning object-oriented and extensible database systems, it seems to be more appropriate to define a many-sorted algebra based on several primitive domain algebras and type constructors like sets or lists. In this paper, we present the denotational semantics of QUAL expressions using an abstract data type framework. QUAL is a many-sorted query algebra defined as a query formalism for the structural part of the OBLOG object model. The abstract data type semantics of QUAL allows easy extension of the structural part of OBLOG models by new domain data types and new type constructors.

[1]  Marc Gyssens,et al.  The powerset algebra as a result of adding programming constructs to the nested relational algebra , 1988, SIGMOD '88.

[2]  Peter Dadam,et al.  Advanced Information Management (AIM): Advanced Database Technology for Integrated Applications , 1989, IBM Syst. J..

[3]  Martin Gogolla,et al.  A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions , 1988, International Conference on Conceptual Modeling.

[4]  Gultekin Özsoyoglu,et al.  Extending relational algebra and relational calculus with set-valued attributes and aggregate functions , 1987, TODS.

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

[6]  Amílcar Sernadas,et al.  What is an Object, After All? , 1990, DS-4.

[7]  P Pistor,et al.  A database language for sets, lists and tables , 1986, Inf. Syst..

[8]  Ralf Hartmut Güting,et al.  An algebra for structured office documents , 1989, TOIS.

[9]  José Luiz Fiadeiro,et al.  The Basic Building Blocks of Information Systems , 1989, ISCO.

[10]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

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

[12]  Akifumi Makinouchi,et al.  A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model , 1977, VLDB.

[13]  Andreas Heuer,et al.  Principles of Object-Oriented Query Languages , 1991, BTW.

[14]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.

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

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

[17]  Gunter Saake,et al.  Using Active Objects for Query Processing , 1990, DS-4.

[18]  Letizia Tanca,et al.  The Algres Project , 1988, EDBT.

[19]  Sophie Cluet,et al.  RELOOP, an Algebra Based Query Language for an Object-Oriented Database System , 1990, Data Knowl. Eng..

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

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

[22]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[23]  Stanley B. Zdonik,et al.  An object-oriented query algebras , 1989 .

[24]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[25]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

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

[27]  Serge Abiteboul,et al.  Non First Normal Form Relations: An Algebra Allowing Data Restructuring , 1986, J. Comput. Syst. Sci..

[28]  Ralf Hartmut Güting,et al.  Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems , 1988, EDBT.

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

[30]  Hartmut Ehrig,et al.  Equations and initial semantics , 1985 .

[31]  Abraham Silberschatz,et al.  Extended algebra and calculus for nested relational databases , 1988, TODS.

[32]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[33]  Peter Buneman,et al.  Workshop on Database Programming Languages , 1988 .

[34]  Cristina Sernadas,et al.  From Data Types to Object Types , 1990, J. Inf. Process. Cybern..

[35]  Gunter Saake,et al.  Formal Specification of Object Systems , 1991, TAPSOFT, Vol.2.

[36]  Setrag Khoshafian,et al.  Object identity , 1986, OOPSLA 1986.

[37]  Peter Pistor,et al.  Designing A Generalized NF2 Model with an SQL-Type Language Interface , 1986, VLDB.

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