Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages.
Alexandra Poulovassilis, Carol Small:
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages.
VLDB 1994: 415-426@inproceedings{DBLP:conf/vldb/PoulovassilisS94,
author = {Alexandra Poulovassilis and
Carol Small},
editor = {Jorge B. Bocca and
Matthias Jarke and
Carlo Zaniolo},
title = {Investigation of Algebraic Query Optimisation Techniques for
Database Programming Languages},
booktitle = {VLDB'94, Proceedings of 20th International Conference on Very
Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile},
publisher = {Morgan Kaufmann},
year = {1994},
isbn = {1-55860-153-8},
pages = {415-426},
ee = {db/conf/vldb/vldb94-415.html},
crossref = {DBLP:conf/vldb/94},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
A major challenge still facing the designers and implementors of
database programming languages (DBPLs) is that of query optimisation.
We investigate algebraic query optimisation techniques for DBPLs in the
context of a purely declarative functional language that supports sets
as first-class objects. Since the language is computationally complete
issues such as non-termination of expressions and construction of
infinite data structures can be investigated, whilst its declarative
nature allows the issue of side effects to be avoided and a richer set
of equivalences to be developed. The support of a set bulk data type
enables much prior work on the optimisation of relational languages to
be utilised. Finally, the language has a well-defined semantics which
permits us to reason formally about the properties of expressions, such
as their equivalence with other expressions and their termination.
Copyright © 1994 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.
Online Paper
CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Jorge B. Bocca, Matthias Jarke, Carlo Zaniolo (Eds.):
VLDB'94, Proceedings of 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile.
Morgan Kaufmann 1994, ISBN 1-55860-153-8
Contents BibTeX
References
- [Alb91]
- Joseph Albert:
Algebraic Properties of Bag Data Types.
VLDB 1991: 211-219 BibTeX
- [Ban87]
- François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez:
FAD, a Powerful and Simple Database Language.
VLDB 1987: 97-105 BibTeX
- [Bee90]
- Catriel Beeri, Yoram Kornatzky:
Algebraic Optimization of Object-Oriented Query Languages.
ICDT 1990: 72-88 BibTeX
- [Bee92]
- Catriel Beeri, Tova Milo:
Functional and Predicative Programming in OODB's.
PODS 1992: 176-190 BibTeX
- [Bir88]
- ...
- [Bre91]
- Val Tannen, Peter Buneman, Shamim A. Naqvi:
Structural Recursion as a Query Language.
DBPL 1991: 9-19 BibTeX
- [Cla85]
- ...
- [Clu92]
- Sophie Cluet, Claude Delobel:
A General Framework for the Optimization of Object-Oriented Queries.
SIGMOD Conference 1992: 383-392 BibTeX
- [Dem94]
- Birgit Demuth, Andreas Geppert, Thorsten Gorchs:
Algebraic Query Optimization in the CoOMS Structurally Object-Oriented Database System.
Query Processing for Advanced Database Systems, Dagstuhl 1991: 121-142 BibTeX
- [Erw91]
- Martin Erwig, Udo W. Lipeck:
A Functional DBPL Revealing High Level Optimizations.
DBPL 1991: 306-321 BibTeX
- [Har92]
- Peter G. Harrison, Hessam Khoshnevisan:
The Mechanical Transformation of Data Types.
Comput. J. 35(2): 138-147(1992) BibTeX
- [Hey91]
- ...
- [Hin86]
- J. Roger Hindley, Jonathan P. Seldin:
Introduction to Combinators and Lambda-Calculus.
Cambridge University Press 1986
BibTeX
- [Jar84]
- Matthias Jarke, Jürgen Koch:
Query Optimization in Database Systems.
ACM Comput. Surv. 16(2): 111-152(1984) BibTeX
- [Lie92]
- Daniel F. Lieuwen, David J. DeWitt:
A Transformation-Based Approach to Optimizing Loops in Database Programming Languages.
SIGMOD Conference 1992: 91-100 BibTeX
- [Oho89]
- Atsushi Ohori, Peter Buneman, Val Tannen:
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference.
SIGMOD Conference 1989: 46-57 BibTeX
- [Pat90]
- Norman W. Paton, Peter M. D. Gray:
Optimising and Executing DAPLEX Queries Using Prolog.
Comput. J. 33(6): 547-555(1990) BibTeX
- [Pau87]
- ...
- [Pey87]
- Simon L. Peyton Jones:
The Implementation of Functional Programming Languages.
Prentice-Hall 1987
BibTeX
- [Pou93]
- Alexandra Poulovassilis, Carol Small:
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages.
VLDB 1993: 416-428 BibTeX
- [Sch86]
- ...
- [Sha89]
- Gail M. Shaw, Stanley B. Zdonik:
An Object-Oriented Query Algebra.
DBPL 1989: 103-112 BibTeX
- [Sto91]
- Michael Stonebraker:
Managing Persistent Objects in a Multi-Level Store.
SIGMOD Conference 1991: 2-11 BibTeX
- [Tri89]
- ...
- [Ull89]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume II.
Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
- [Van91]
- Scott L. Vandenberg, David J. DeWitt:
Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance.
SIGMOD Conference 1991: 158-167 BibTeX
Referenced by
- Alexandra Poulovassilis, Carol Small:
Formal Foundations for Optimising Aggregation Functions in Database Programming Languages.
DBPL 1997: 299-318
- Andreas Gawecki, Florian Matthes:
Exploiting Persistent Intermediate Code Representations in Open Database Environments.
EDBT 1996: 403-423
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:46:02 2009