(Enter summary)
Abstract: . This paper investigates the optimisation of aggregation functions
in the context of computationally complete database programming
languages and aims to generalise and provide a unifying formal foundation
for previous work. We define a `fold' operator OE over collection
types in terms of which operations such as selection, projection, join
and group-by can be defined, as well as aggregation functions such as
sum, max and min. We introduce two equivalences for OE which respectively
govern the... (Update)
Context of citations to this paper: More
...which Wadler collectively refers to as trees. Hence the name deforestation. transformations like those developed in [7] 5] and [17]. We will discuss connections to these related eoeorts when the particular details are in context. Section 4 sheds light on correctness and...
.... has been gained applying these optimizations in the relational or object oriented context [CS96, Cha98, GLR97, Hel98, Ioa96, KPH98, PS96, PS97, RS93, SdBB96, SO95a, SO95b, WM99] This thesis focuses on semantic query optimization, i.e. query transformations based on...
Cited by: More
Semantic optimization of OQL queries - Trigoni (2002)
(Correct)
Query Deforestation - Grust, Scholl (1998)
(Correct)
Active bibliography (related documents): More All
0.5: Algebraic Query Optimisation for Database Programming Languages - Poulovassilis, Small (1996)
(Correct)
0.5: Specifying a Database System to Itself - Maier (1991)
(Correct)
0.5: Definitional Trees - Antoy (1992)
(Correct)
Similar documents based on text: More All
0.1: Investigation of Algebraic Query Optimisation for Database .. - Poulovassilis, Small (1994)
(Correct)
0.1: Optimisation of Active Rule Agents using a Genetic.. - Nonas, Poulovassilis
(Correct)
0.1: Optimising Self Adaptive Networks by Evolving RuleBased Agents - Evaggelos Nonas And
(Correct)
BibTeX entry: (Update)
A. Poulovassilis and C. Small. Formal Foundations for Optimising Aggregation Functions in Database Programming Languages. In Proc. of the 6th Int'l Workshop on Database Programming Languages (DBPL), Estes Park, Colorado, USA, 1997. http://citeseer.ist.psu.edu/poulovassilis97formal.html More
@inproceedings{ poulovassilis97formal,
author = "Alexandra Poulovassilis and Carol Small",
title = "Formal Foundations for Optimising Aggregation Functions in Database Programming Languages",
booktitle = "Workshop on Database Programming Languages",
pages = "299-318",
year = "1997",
url = "citeseer.ist.psu.edu/poulovassilis97formal.html" }
Citations (may not include all citations):
333
Introduction to functional programming (context) - Bird, Wadler - 1988 ACM
131
A fold for all seasons
- Sheard, Fegaras - 1993 ACM DBLP
93
Aggregate query-processing in Data Warehousing Environments
- Gupta, Harinarayan et al. - 1995
93
Principles of programming with complex objects and collectio..
- Buneman, Naqvi et al. - 1995 ACM DBLP
70
Algebraic optimization of object-oriented query languages (context) - Beeri, Kornatzky - 1990 ACM DBLP
51
Allyn and Bacon (context) - Schmidt, Semantics - 1986
49
Towards an effective calculus for Object Query Languages
- Fegaras, Maier - 1995 ACM DBLP
45
a powerful and simple database language (context) - Bancilhon, Briggs et al. - 1987
25
From nested-loop to join queries in OODB
- Steenhagen, Apers et al. - 1994 ACM DBLP
20
Query evaluation in CROQUE - Calculus and Algebra coincide
- Grust, Kroger et al. - 1997 ACM DBLP
14
ACM SIGMOD Record (context) - Buneman, Libkin et al. - 1994
13
Optimising and executing DAPLEX queries using Prolog (context) - Paton, Gray - 1990 DBLP
13
A functional database
- Trinder - 1989
7
Investigation of algebraic query optimisation for database p..
- Poulovassilis, Small - 1994
7
ACM Conference on Lisp and Functional Programming (context) - Wadler, Monads - 1990
5
Algebraic query optimisation for database programming langua..
- Poulovassilis, Small - 1996 ACM DBLP
3
Including group-by in query optimisation (context) - Chaudhuri, Shim - 1994
2
Workshop on Database Programming Languages (context) - Trinder, notation et al. - 1991
2
This article was processed using the L a T E X macro package.. (context) - Yan, Larson et al. - 1995
Documents on the same site (http://www.dcs.bbk.ac.uk/~ap/): More
Investigation of Algebraic Query Optimisation for Database .. - Poulovassilis, Small (1994)
(Correct)
A Formal Semantics for an Active Functional DBPL - Poulovassilis, Reddi, Small (1996)
(Correct)
Algebraic Query Optimisation for Database Programming Languages - Poulovassilis, Small (1996)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC