Alexandra Poulovassilis, Carol Small  Home/Search
Context Related
| dcs.kcl.ac.uk/staff/alex...vldb94.ps.gz dcs.bbk.ac.uk/~ap/pubs/vldb94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.kcl.ac.uk/staff/alex/pfl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...further syntactic conversions in order to facilitate the syntactical comparison. A number of equivalences have been proposed to in [Pou94] which can utilized to further convert derived functions. For example, in order to compare two following functions, f = f(x 1 ; x 2 )j(x...
...optimization technique has been proposed. TW89] and [Tri91] analyzed list comprehensions as a tool for querying databases. JG91] and [PS94] use comprehensions for traditional optimization like selection push down and predicate reordering, but they only consider the standard...
Cited by: More
Object-Oriented Query Language Design and Processing - Chan (1994) (Correct)
Formal foundations for optimising aggregation functions in .. - Poulovassilis, Small (1997) (Correct)
A Formal Semantics for an Active Functional DBPL - Poulovassilis, Reddi, Small (1996) (Correct)
Similar documents (at the sentence level):
41.1%: Algebraic Query Optimisation for Database Programming Languages - Poulovassilis, Small (1996) (Correct)
Active bibliography (related documents): More All
0.2: Tutorial: Languages for Collection Types - Tannen (1994) (Correct)
0.2: Comprehensions, a Query Notation for DBPLs - Trinder (1990) (Correct)
0.2: A Toolkit for Parallel Functional Programming - Hartel, Hofman, Langendoen.. (1995) (Correct)
Similar documents based on text: More All
0.2: Nogood Learning for Constraint Satisfaction - Richards, Richards (1996) (Correct)
0.1: Extending a functional DBPL with ECA-rules - Reddi, Poulovassilis, Small (1995) (Correct)
0.1: WaveLab Reference Manual - Buckheit, Chen, Donoho, Johnstone.. (1995) (Correct)
Related documents from co-citation: More All
5: An overview of PFL (context) - Small, Poulovassilis - 1991
3: The Implementation of Functional Programming Languages (context) - Jones - 1987
3: A Functional Programming Approach to Deductive Databases (context) - Poulovassilis, Small - 1991
BibTeX entry: (Update)
A. Poulovassilis and C. Small. Investigation of algebraic query optimisation for database programming languages. In Proc. 20th International Conference on Very Large Data Bases (VLDB 94) Santiago, Chile, pages 415--426, 1994. http://citeseer.ist.psu.edu/poulovassilis94investigation.html More
@inproceedings{ poulovassilis94investigation,
author = "Alexandra Poulovassilis and Carol Small",
title = "{Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages}",
booktitle = "Proceedings of the Twentieth International Conference on Very Large Databases",
address = "Santiago, Chile",
pages = "415--426",
year = "1994",
url = "citeseer.ist.psu.edu/poulovassilis94investigation.html" }
Citations (may not include all citations):981 Principles of database and knowledge-base systems (context) - Ullman - 1989 ACM
359 The Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
333 Introduction to functional programming (context) - Bird, Wadler - 1988 ACM
137 Introduction to combinators and -calculus (context) - Hindley, Seldin - 1986
128 Logic and computation: interactive proof with Cambridge LCF (context) - Paulson - 1986 ACM
90 Structural recursion as a query language - Breazu-Tannen, Buneman et al. - 1991 ACM DBLP
78 A General Framework for the Optimization of Object-Oriented .. - Cluet, Delobel - 1992 ACM DBLP
70 Algebraic optimization of object-oriented query languages (context) - Beeri, Kornatzky - 1990
63 Database programming in Machiavelli - a polymorphic language.. - Ohori, Buneman et al. - 1989
51 Allyn and Bacon (context) - Schmidt - 1986
45 a powerful and simple database language (context) - Bancilhon - 1991
41 Strictness analysis - a practical approach (context) - Clack, Peyton-Jones - 1985
37 Algebraic properties of bag data types (context) - Albert - 1991 ACM DBLP
33 An object oriented query algebra (context) - Shaw, Zdonik - 1989
23 Managing persistent objects in a multi-level store (context) - Stonebraker - 1991 ACM DBLP
13 Optimising and executing DAPLEX queries using Prolog (context) - Paton, Gray - 1990 DBLP
13 A functional database - Trinder - 1989
11 A transformation - based approach to optimizing loops in dat.. (context) - Lieuwin, Dewitt - 1992
11 A functional DBPL revealing high level optimizations - Erwig, Lipeck - 1991 ACM DBLP
9 a parallel persistent object system (context) - Heytens, Nikhil - 1991
5 The mechanical transformation of data types (context) - Harrison, Khoshafian - 1992 ACM DBLP
3 Algebraic query optimisation in the CoOMS structurally objec.. (context) - Demuth, Geppert et al. - 1994
3 Algebraic support for complex objects with arrays (context) - Vandenburg, DeWitt - 1991
3 Functional and predicative programming in OODBs (context) - Beeri, Milo - 1992
3 Query optimisation in database systems (context) - Jarke, Koch - 1984
3 A domaintheoretic approach to integrating logic and function.. (context) - Poulovassilis, Small - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/alex/pfl.html):
Combining Inheritance and Parametric Polymorphism in a.. - Courtenage.. (1995) (Correct)
Extending a functional DBPL with ECA-rules - Reddi, Poulovassilis, Small (1995) (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