 |
|
|
Typed Query Languages for Databases Containing Queries |
Full Paper (PDF)
|
This paper introduces and studies the relational meta algebra, a statically typed extension of the relational algebra to allow for meta programming in databases. In this meta algebra one can manipulate database relations involving not only stored data values (as in classical relational databases) but also stored relational algebra expressions. Topics discussed include modeling of advanced database applications involving "procedural data"; desirability as well as limitations of a strict typing discipline in this context; equivalence with a first-order calculus; and global expressive power and non-redundancy of the proposed formalism. |
References, where available, link to the DBLP on the World Wide Web.
[1]Serge Abiteboul, Catriel Beeri:
The Power of Languages for the Manipulation of Complex Values.
VLDB Journal 4(4): 727-794(1995)[2]Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents[3]...
[4]Catriel Beeri, Tova Milo:
On the Power of Algebras with Recursion.
SIGMOD Conference 1993: 377-386[5]Ashok K. Chandra, David Harel:
Computable Queries for Relational Data Bases.
JCSS 21(2): 156-178(1980)[6]Ashok K. Chandra, David Harel:
Structure and Complexity of Relational Queries.
JCSS 25(1): 99-128(1982)[7]Weidong Chen, Michael Kifer, David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming.
JLP 15(3): 187-230(1993)[8]...
[9]...
[10]Marc Gyssens, Jan Paredaens, Dirk Van Gucht:
A Grammar-Based Approach Towards Unifying Hierarchical Data Models.
SIAM J. Comput. 23(6): 1093-1137(1994)[11]...
[12]Anthony C. Klug:
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions.
JACM 29(3): 699-717(1982)[13]Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian:
On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database Systems.
DOOD 1993: 81-100[14]Gultekin Özsoyoglu, Z. Meral Özsoyoglu, Victor Matos:
Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions.
TODS 12(4): 566-592(1987)[15]Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht:
Towards a Theory of Spatial Database Queries.
PODS 1994: 279-288[16]Jan Paredaens, Dirk Van Gucht:
Converting Nested Algebra Expressions into Flat Algebra Expressions.
TODS 17(1): 65-93(1992)[17]Kenneth A. Ross:
Relations with Relation Names as Arguments: Algebra and Calculus.
PODS 1992: 346-353[18]...
[19]...
[20]Michael Stonebraker, Erika Anderson, Eric N. Hanson, W. Bradley Rubenstein:
Quel as a Data Type.
SIGMOD Conference 1984: 208-214[21]Michael Stonebraker, Jeff Anton, Eric N. Hanson:
Extending a Database System with Procedures.
TODS 12(3): 350-376(1987)[22]Dan Suciu:
Bounded Fixpoints for Complex Objects.
TCS 176(1-2): 283-328(1997)[23]Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
[24]Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen:
Reflective Programming in the Relational Algebra.
JCSS 52(3): 537-549(1996)[25]Limsoon Wong:
Normal Forms and Conservative Extension Properties for Query Languages over Collection Types.
JCSS 52(3): 495-505(1996)
|
@inproceedings{DBLP:conf/pods/NevenBGV98,
author = {Frank Neven and
Jan Van den Bussche and
Dirk Van Gucht and
Gottfried Vossen},
title = {Typed Query Languages for Databases Containing Queries},
booktitle = {Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington},
publisher = {ACM Press},
year = {1998},
isbn = {0-89791-966-3},
pages = {189-196},
crossref = {DBLP:conf/pods/98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
|
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
