The Power of Languages for the Manipulation of Complex Values.
Serge Abiteboul, Catriel Beeri:
The Power of Languages for the Manipulation of Complex Values.
VLDB J. 4(4): 727-794(1995)@article{DBLP:journals/vldb/AbiteboulB95,
author = {Serge Abiteboul and
Catriel Beeri},
title = {The Power of Languages for the Manipulation of Complex Values},
journal = {VLDB J.},
volume = {4},
number = {4},
year = {1995},
pages = {727-794},
ee = {db/journals/vldb/AbiteboulB95.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Various models and languages for describing and manipulating hierarchically
structured data have been proposed.
Algebraic,
calculus-based,
and logic-programming oriented languages have been considered.
This article presents a general model for complex values
(i.e., values with hierarchical structures), and languages for it
based on the three paradigms.
The algebraic language generalizes those presented in the literature;
it is shown to be related to the functional style of programming
advocated by Backus (1978).
The notion of domain independence (from relational databases) is defined,
and syntactic restrictions (referred to as safety conditions)
on calculus queries are formulated to guarantee domain independence.
The main results are:
The domain-indenpendent calculus,
the safe calculus,
the algebra,
and the logic-programming oriented language have equivalent expressive power.
In particular,
recursive queries,
such as transitive closure,
can be expressed in each of the languages.
For this result,
the algebra needs the powerset operation.
A more restricted version of safety is presented,
such that the restricted safe calculus is equivalent to the algebra
without powerset.
The results are extended to the case where arbitrary functions and predicates are
used in the languages.
Copyright © 1995 by the VLDB Endowment.
Permission to copy without fee all or part of this material is granted provided that the copies are not made or
distributed for direct commercial advantage, the VLDB
copyright notice and the title of the publication and
its date appear, and notice is given that copying
is by the permission of the Very Large Data Base
Endowment. To copy otherwise, or to republish, requires
a fee and/or special permission from the Endowment.
Key Words
Database,
query language,
complex value,
complex object,
database model.
Online Paper
CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
References
- [Abiteboul & Bidoit 1986]
- Serge Abiteboul, Nicole Bidoit:
Non First Normal Form Relations: An Algebra Allowing Data Restructuring.
J. Comput. Syst. Sci. 33(3): 361-393(1986) BibTeX
- [Abiteboul & Beeri 1988]
- ...
- [Abiteboul & Grumbach 1988]
- Serge Abiteboul, Stéphane Grumbach:
COL: A Logic-Based Language for Complex Objects.
EDBT 1988: 271-293 BibTeX
- [Abiteboul & Hillebrand 1994]
- Serge Abiteboul, Gerd G. Hillebrand:
Space Usage in Functional Query Languages.
ICDT 1995: 439-454 BibTeX
- [Abiteboul & Hull 1986]
- Serge Abiteboul, Richard Hull:
Restructuring of Complex Objects and Office Forms.
ICDT 1986: 54-72 BibTeX
- [Abiteboul & Hull 1988]
- Serge Abiteboul, Richard Hull:
IFO: A Formal Semantic Database Model.
ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX
- [Abiteboul et al. 1994]
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX
- [Abiteboul & Kanellakis 1989]
- Serge Abiteboul, Paris C. Kanellakis:
Object Identity as a Query Language Primitive.
SIGMOD Conference 1989: 159-173 BibTeX
- [Aho & Ullman 1979]
- Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages.
POPL 1979: 110-120 BibTeX
- [Apt et al. 1988]
- Krzysztof R. Apt, Howard A. Blair, Adrian Walker:
Towards a Theory of Declarative Knowledge.
Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX
- [Backus 1978]
- John W. Backus:
Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs.
Commun. ACM 21(8): 613-641(1978) BibTeX
- [Bancilhon et al. 1989]
- François Bancilhon, Sophie Cluet, Claude Delobel:
A Query Language for the O2 Object-Oriented Database System.
DBPL 1989: 122-138 BibTeX
- [Beeri 1993]
- ...
- [Beeri & Milo 1992]
- Catriel Beeri, Tova Milo:
Functional and Predicative Programming in OODB's.
PODS 1992: 176-190 BibTeX
- [Beeri et al. 1987]
- Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur:
Sets and Negation in a Logic Database Language (LDL1).
PODS 1987: 21-37 BibTeX
- [Beeri et al. 1991]
- Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur:
Set Constructors in a Logic Database Language.
J. Log. Program. 10(1/2/3&4): 181-232(1991) BibTeX
- [Breazu-Tannen et al. 1992]
- Val Tannen, Peter Buneman, Limsoon Wong:
Naturally Embedded Query Languages.
ICDT 1992: 140-154 BibTeX
- [Buneman et al. 1994]
- Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong:
Comprehension Syntax.
SIGMOD Record 23(1): 87-96(1994) BibTeX
- [Chen 1988]
- ...
- [Chandra & Harel 1980]
- Ashok K. Chandra, David Harel:
Computable Queries for Relational Data Bases.
J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX
- [Cluet et al. 1990]
- Sophie Cluet, Claude Delobel, Christophe Lécluse, Philippe Richard:
RELOOP, an Algebra Based Query Language for an Object-Oriented Database System.
Data Knowl. Eng. 5: 333-352(1990) BibTeX
- [Codd 1970]
- E. F. Codd:
A Relational Model of Data for Large Shared Data Banks.
Commun. ACM 13(6): 377-387(1970) BibTeX
- [Dalhaus & Makowski 1985]
- ...
- [DiPaola 1969]
- Robert A. Di Paola:
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.
J. ACM 16(2): 324-327(1969) BibTeX
- [Fagin 1982]
- Ronald Fagin:
Horn clauses and database dependencies.
J. ACM 29(4): 952-985(1982) BibTeX
- [Fischer & Thomas 1983]
- ...
- [Grey 1984]
- ...
- [Grumbach & Vianu 1991]
- Stéphane Grumbach, Victor Vianu:
Tractable Query Languages for Complex Object Databases.
PODS 1991: 315-327 BibTeX
- [Gyssens & van Gucht 1988]
- Marc Gyssens, Dirk Van Gucht:
The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.
SIGMOD Conference 1988: 225-232 BibTeX
- [Hammer & McLeod 1981]
- Michael Hammer, Dennis McLeod:
Database Description with SDM: A Semantic Database Model.
ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX
- [Hillebrand et al. 1993]
- Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson:
Database Query Languages Embedded in the Typed Lambda Calculus.
LICS 1993: 332-343 BibTeX
- [Hillebrand et al. 1993]
- Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson:
Database Query Languages Embedded in the Typed Lambda Calculus.
LICS 1993: 332-343 BibTeX
- [Hull 1986]
- ...
- [Hull & Su 1991]
- Richard Hull, Jianwen Su:
On the Expressive Power of Database Queries with Intermediate Types.
J. Comput. Syst. Sci. 43(1): 219-267(1991) BibTeX
- [Hull & Yap 1984]
- Richard Hull, Chee-Keng Yap:
The Format Model: A Theory of database Organization.
J. ACM 31(3): 518-544(1984) BibTeX
- [Jacobs 1982]
- Barry E. Jacobs:
On Database Logic.
J. ACM 29(2): 310-332(1982) BibTeX
- [Jaeschke & Schek 1982]
- Gerhard Jaeschke, Hans-Jörg Schek:
Remarks on the Algebra of Non First Normal Form Relations.
PODS 1982: 124-138 BibTeX
- [Klug 1982]
- Anthony C. Klug:
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions.
J. ACM 29(3): 699-717(1982) BibTeX
- [Kobayashi 1980]
- ...
- [Korth et al. 1988]
- Mark A. Roth, Henry F. Korth, Abraham Silberschatz:
Extended Algebra and Calculus for Nested Relational Databases.
ACM Trans. Database Syst. 13(4): 389-417(1988) BibTeX
- [Kuper 1987]
- Gabriel M. Kuper:
Logic Programming With Sets.
PODS 1987: 11-20 BibTeX
- [Kuper 1988]
- Gabriel M. Kuper:
On the Expressive Power of Logic Programming Languages with Sets.
PODS 1988: 10-14 BibTeX
- [Kuper & Vardi 1984]
- Gabriel M. Kuper, Moshe Y. Vardi:
A New Approach to Database Logic.
PODS 1984: 86-96 BibTeX
- [Kuper & Vardi 1993]
- Gabriel M. Kuper, Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model.
Theor. Comput. Sci. 116(1&2): 33-57(1993) BibTeX
- [Libkin & Wong 1993a]
- Leonid Libkin, Limsoon Wong:
Some Properties of Query Languages for Bags.
DBPL 1993: 97-114 BibTeX
- [Libkin & Wong 1993b]
- Leonid Libkin, Limsoon Wong:
Aggregate Functions, Conservative Extensions, and Linear Orders.
DBPL 1993: 282-294 BibTeX
- [Libkin & Wong 1994]
- Leonid Libkin, Limsoon Wong:
New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions.
PODS 1994: 155-166 BibTeX
- [McLeod 1981]
- Ian A. Macleod:
A data base management system for document retrieval applications.
Inf. Syst. 6(2): 131-137(1981) BibTeX
- [Makinouchi 1977]
- Akifumi Makinouchi:
A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model.
VLDB 1977: 447-453 BibTeX
- [Naqvi 1986]
- ...
- [Ozsoyoglu & Ozsoyoglu 1983]
- ...
- [Ozsoyoglu et al. 1987]
- Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Victor Matos:
Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions.
ACM Trans. Database Syst. 12(4): 566-592(1987) BibTeX
- [Paredaens & van Gucht 1988]
- Jan Paredaens, Dirk Van Gucht:
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions.
PODS 1988: 29-38 BibTeX
- [Peyton-Jones 1987]
- Simon L. Peyton Jones:
The Implementation of Functional Programming Languages.
Prentice-Hall 1987
BibTeX
- [Schek & Scholl 1986]
- Hans-Jörg Schek, Marc H. Scholl:
The relational model with relation-valued attributes.
Inf. Syst. 11(2): 137-147(1986) BibTeX
- [Suciu & Paredaens 1994]
- Dan Suciu, Jan Paredaens:
Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.
PODS 1994: 201-209 BibTeX
- [Trinder 1991]
- Philip W. Trinder:
Comprehensions, a Query Notation for DBPLs.
DBPL 1991: 55-68 BibTeX
- [Ullman 1982]
- Jeffrey D. Ullman:
Principles of Database Systems, 2nd Edition.
Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
- [van Gelder 1988]
- Allen Van Gelder:
Negation as Failure Using Tight Derivations for General Logic Programs.
Foundations of Deductive Databases and Logic Programming. 1988: 149-176 BibTeX
- [van Gelder & Topor 1987]
- Allen Van Gelder, Rodney W. Topor:
Safety and Correct Translation of Relational Calculus Formulas.
PODS 1987: 313-327 BibTeX
- [Vardi 1981]
- Moshe Y. Vardi:
The Decision Problem for Database Dependencies.
Inf. Process. Lett. 12(5): 251-254(1981) BibTeX
- [Wadler 1990]
- ...
- [Wong 1993]
- Limsoon Wong:
Normal Forms and Conservative Properties for Query Languages over Collection Types.
PODS 1993: 26-36 BibTeX
Referenced by
- Stéphane Grumbach, Giansalvatore Mecca:
In Search of the Lost Schema.
ICDT 1999: 314-331
- Luca Cabibbo, Riccardo Torlone:
A Framework for the Investigation of Aggregate Functions in Database Queries.
ICDT 1999: 383-397
- Reda Alhajj:
A Model that Simplifies the Coding of a Group of Object-Oriented Complex Queries.
ADBIS (Short Papers) 1999: 178-184
- Serge Abiteboul, Sophie Cluet, Tova Milo:
A Logical View of Structured Files.
VLDB J. 7(2): 96-114(1998)
- Sergei G. Vorobyov, Andrei Voronkov:
Complexity of Nonrecursive Logic Programs with Complex Values.
PODS 1998: 244-253
- Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen:
Typed Query Languages for Databases Containing Queries.
PODS 1998: 189-196
- Alon Y. Levy, Dan Suciu:
Deciding Containment for Queries with Complex Objects.
PODS 1997: 20-31
- Serge Abiteboul, Sophie Cluet, Tova Milo:
Correspondence and Translation for Heterogeneous Data.
ICDT 1997: 351-363
- Luca Cabibbo, Riccardo Torlone:
Querying Multidimensional Databases.
DBPL 1997: 319-335
- Talel Abdessalem, Geneviève Jomier:
VQL: A Query Language for Multiversion Databases.
DBPL 1997: 160-179
- Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi:
In Memoriam Paris C. Kanellakis.
ACM Comput. Surv. 28(1): 3-15(1996)
- Dan Suciu:
Implementation and Analysis of a Parallel Collection Query Language.
VLDB 1996: 366-377
- Catriel Beeri, Tova Milo, Paula Ta-Shma:
On Genericity and Parametricity.
PODS 1996: 104-116
- Leonidas Fegaras, David Maier:
Towards an Effective Calculus for Object Query Languages.
SIGMOD Conference 1995: 47-58
- Leonid Libkin:
Normalizing Incomplete Databases.
PODS 1995: 219-230
- Paris C. Kanellakis:
Constraint Programming and Database Languages: A Tutorial.
PODS 1995: 46-53
- H. V. Jagadish, Alberto O. Mendelzon, Tova Milo:
Similarity-Based Queries.
PODS 1995: 36-45
- Stéphane Grumbach, Jianwen Su:
Dense-Order Constraint Databases.
PODS 1995: 66-77
- Vladimir Yu. Sazonov, Alexei Lisitsa:
Delta-Languages for Sets and sub-PTIME Graphs Transformers.
ICDT 1995: 125-138
- Dan Suciu:
Domain-Independent Queries on Databases with External Functions.
ICDT 1995: 177-190
- Stéphane Grumbach, Tova Milo:
An Algebra for Pomsets.
ICDT 1995: 191-207
- Serge Abiteboul, Gerd G. Hillebrand:
Space Usage in Functional Query Languages.
ICDT 1995: 439-454
- Anthony Kosky:
Observational Distinguishability of Databases with Object Identity.
DBPL 1995: 11
- Marc Gyssens, Dan Suciu, Dirk Van Gucht:
The Restricted and Bounded Fixpoint Closures of the Nested Relational Algebra are Equivalent.
DBPL 1995: 5
- Carlos A. Tau, Clara Smith, Claudia Pons, Ana María Monteiro:
Formally Speaking About Schemata, Bases, Classes and Objects.
DASFAA 1995: 308-317
- Tarik Beldjilali, Haider Hamza:
Specialization and Generalization in an Object Oriented Database.
ADBIS 1995: 220-234
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents - Ralf Hartmut Güting:
An Introduction to Spatial Database Systems.
VLDB J. 3(4): 357-399(1994)
- Vassilis Christophides, Serge Abiteboul, Sophie Cluet, Michel Scholl:
From Structured Documents to Novel Query Facilities.
SIGMOD Conference 1994: 313-324
- Val Tannen:
Tutorial: Languages for Collection Types.
PODS 1994: 150-154
- Dan Suciu, Val Tannen:
A Query Language for NC.
PODS 1994: 167-178
- Dan Suciu, Jan Paredaens:
Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.
PODS 1994: 201-209
- Gerd G. Hillebrand, Paris C. Kanellakis:
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.
PODS 1994: 222-231
- Latha S. Colby, Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht:
A Query Language for List-Based Complex Objects.
PODS 1994: 179-189
- Gabriel M. Kuper, Moshe Y. Vardi:
The Logical Data Model.
ACM Trans. Database Syst. 18(3): 379-413(1993)
- Ralf Hartmut Güting:
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization.
SIGMOD Conference 1993: 277-286
- Catriel Beeri, Tova Milo:
On the Power of Algebras with Recursion.
SIGMOD Conference 1993: 377-386
- Limsoon Wong:
Normal Forms and Conservative Properties for Query Languages over Collection Types.
PODS 1993: 26-36
- Leonid Libkin, Limsoon Wong:
Semantic Representations and Query Languages for Or-sets.
PODS 1993: 37-48
- Stéphane Grumbach, Tova Milo:
Towards Tractable Algebras for Bags.
PODS 1993: 49-58
- Martha Escobar-Molano, Richard Hull, Dean Jacobs:
Safety and Translation of Calculus Queries with Scalar Functions.
PODS 1993: 253-264
- Christian Laasch, Marc H. Scholl:
Deterministic Semantics of Set-Oriented Update Sequences.
ICDE 1993: 4-13
- Reda Alhajj, M. Erol Arkun:
A Query Model for Object-Oriented Databases.
ICDE 1993: 163-172
- Dan Suciu:
Bounded Fixpoints for Complex Objects.
DBPL 1993: 263-281
- Leonid Libkin, Limsoon Wong:
Some Properties of Query Languages for Bags.
DBPL 1993: 97-114
- Christian Laasch, Marc H. Scholl:
A Functional Object Language.
DBPL 1993: 136-156
- Stéphane Grumbach, Tova Milo, Yoram Kornatzky:
Calculi for Bags and their Complexity.
DBPL 1993: 65-79
- Elisa Bertino, Mauro Negri, Giuseppe Pelagatti, Licia Sbattella:
Object-Oriented Query Languages: The Notion and the Issues.
IEEE Trans. Knowl. Data Eng. 4(3): 223-237(1992)
- Sophie Cluet, Claude Delobel:
A General Framework for the Optimization of Object-Oriented Queries.
SIGMOD Conference 1992: 383-392
- Edward P. F. Chan:
Containment and Minimization of Positive Conjunctive Queries in OODB's.
PODS 1992: 202-211
- Catriel Beeri, Tova Milo:
Functional and Predicative Programming in OODB's.
PODS 1992: 176-190
- Catriel Beeri:
New Data Models and Languages - the Challenge.
PODS 1992: 1-15
- M. Sh. Tsalenko:
Database Theory in Russia (1979-1991) (an overview).
ICDT 1992: 51-70
- Val Tannen, Peter Buneman, Limsoon Wong:
Naturally Embedded Query Languages.
ICDT 1992: 140-154
- Gene T. J. Wuu, Umeshwar Dayal:
A Uniform Model for Temporal Object-Oriented Databases.
ICDE 1992: 584-593
- Serge Abiteboul, Stéphane Grumbach:
A Rule-Based Language with Functions and Sets.
ACM Trans. Database Syst. 16(1): 1-30(1991)
- Serge Abiteboul, Paris C. Kanellakis:
The Two Facets of Object-Oriented Data Models.
IEEE Data Eng. Bull. 14(2): 3-7(1991)
- Scott L. Vandenberg, David J. DeWitt:
Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance.
SIGMOD Conference 1991: 158-167
- Neil Immerman, Sushant Patnaik, David W. Stemple:
The Expressiveness of a Family of Finite Set Languages.
PODS 1991: 37-52
- Stéphane Grumbach, Victor Vianu:
Tractable Query Languages for Complex Object Databases.
PODS 1991: 315-327
- Jan Van den Bussche, Jan Paredaens:
The Expressive Power of Structured Values in Pure OODB's.
PODS 1991: 291-299
- Ye. P. Yemelchenkov, M. Sh. Tsalenko:
Functional Dependencies in Hierarchical Structures of Data.
MFDBS 1991: 258-275
- Peter Sander:
Specifying Operations for Nested Relations by Rules and Partial Orders.
MFDBS 1991: 44-58
- Jan Van den Bussche:
Complex Object Multi-Level Fixpoint Queries.
MFDBS 1991: 1-13
- M. E. Iofinova:
Updating Hierarchical Databases by Complex Forms.
MFDBS 1991: 134-145
- Li Yu, Sylvia L. Osborn:
An Evaluation Framework for Algebraic Object-Oriented Query Models.
ICDE 1991: 670-677
- Jean-Luc Hainaut:
Entity-Generating Schema Transformations for Entity-Relationship Models.
ER 1991: 643-670
- Val Tannen, Peter Buneman, Shamim A. Naqvi:
Structural Recursion as a Query Language.
DBPL 1991: 9-19
- Stéphane Grumbach, Victor Vianu:
Expressiveness and Complexity of Restricted Languages for Complex Objects.
DBPL 1991: 111-122
- Norbert Südkamp, Volker Linnemann:
Elimination of View and Redundant Variables in a SQL-like Database Language for Extended NF2 Structures.
VLDB 1990: 302-313
- Yeh-Heng Sheng:
IDLOG: Extending the Expressive Power of Deductive Database Languages.
SIGMOD Conference 1990: 54-63
- Marc Gyssens, Jan Paredaens, Dirk Van Gucht:
A Graph-Oriented Object Model for Database End-User Interfaces.
SIGMOD Conference 1990: 24-33
- Marc Gyssens, Jan Paredaens, Dirk Van Gucht:
A Graph-Oriented Object Database Model.
PODS 1990: 417-424
- Stéphane Grumbach, Victor Vianu:
Playing Games with Objects.
ICDT 1990: 25-38
- Mariano P. Consens, Alberto O. Mendelzon:
Low Complexity Aggregation in GraphLog and Datalog.
ICDT 1990: 379-394
- Gail M. Shaw, Stanley B. Zdonik:
A Query Algebra for Object-Oriented Databases.
ICDE 1990: 154-162
- Andreas Heuer, Jürgen Fuchs, U. Wiebking:
OSCAR: An Object-Oriented Database System with a Nested Relational Kernel.
ER 1990: 95-110
- Jean-Luc Hainaut:
Entity-Relationship Models: Formal Specification and Comparision.
ER 1990: 53-64
- Catriel Beeri, Yoram Kornatzky:
The Many Faces of Query Monotonicity.
EDBT 1990: 120-135
- Christophe Lécluse, Philippe Richard:
The O2 Database Programming Language.
VLDB 1989: 411-422
- Michael Kifer, Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146
- Christophe Lécluse, Philippe Richard:
Modeling Complex Structures in Object-Oriented Databases.
PODS 1989: 360-368
- Michael Kifer, James Wu:
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
PODS 1989: 379-393
- Richard Hull, Jianwen Su:
Untyped Sets, Invention, and Computable Queries.
PODS 1989: 347-359
- Weidong Chen, David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378
- Christine Parent, Hélène Rolin, Kokou Yétongnon, Stefano Spaccapietra:
An ER Calculus for the Entity-Relationship Complex Model.
ER 1989: 361-384
- Gail M. Shaw, Stanley B. Zdonik:
An Object-Oriented Query Algebra.
DBPL 1989: 103-112
- Christophe Lécluse, Philippe Richard:
Manipulation of Structured Values in Object-Oriented Databases.
DBPL 1989: 113-121
- Richard Hull, Jianwen Su:
On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity.
DBPL 1989: 396-410
- Umeshwar Dayal:
Queries and Views in an Object-Oriented Data Model.
DBPL 1989: 80-102
- François Bancilhon, Sophie Cluet, Claude Delobel:
A Query Language for the O2 Object-Oriented Database System.
DBPL 1989: 122-138
- Marc Gyssens, Dirk Van Gucht:
The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.
SIGMOD Conference 1988: 225-232
- Oded Shmueli, Shalom Tsur, Carlo Zaniolo:
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL).
PODS 1988: 15-28
- Richard Hull, Jianwen Su:
On the Expressive Power of Database Queries with Intermediate Types.
PODS 1988: 39-51
- Christophe Lécluse, Philippe Richard:
Modeling Inheritance and Genericity in Object Oriented-Databases.
ICDT 1988: 223-238
- Catriel Beeri:
Data Models and Languages for Databases.
ICDT 1988: 19-40
- Christophe Lécluse, Philippe Richard, Fernando Vélez:
O2, an Object-Oriented Data Model.
EDBT 1988: 556-562
- Serge Abiteboul, Stéphane Grumbach:
COL: A Logic-Based Language for Complex Objects.
EDBT 1988: 271-293
- Richard Hull, Roger King:
Semantic Database Modeling: Survey, Applications, and Research Issues.
ACM Comput. Surv. 19(3): 201-260(1987)
- Serge Abiteboul, Michel Scholl, Georges Gardarin, Eric Simon:
Towards DBMSs for Supporting New Applications.
VLDB 1986: 423-435
- Serge Abiteboul, Richard Hull:
Restructuring of Complex Objects and Office Forms.
ICDT 1986: 54-72
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Journal: 1992-1995 Copyright © by VLDB Endowment / 1996-... Copyright © by Springer Verlag,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:31:26 2009