See this document in CiteSeerX!

Formal foundations for optimising aggregation functions in Database Programming Languages (1997)  (Make Corrections)  (2 citations)
Alexandra Poulovassilis, Carol Small
Workshop on Database Programming Languages



  Home/Search   Context   Related

Links:   ACM   DBLP

 
View or download:
dcs.bbk.ac.uk/~ap/pubs/dbpl97.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.bbk.ac.uk/~ap/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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