Investigation of Algebraic Query Optimisation for Database Programming Languages

Summary: Investigates algebraic query optimisation for a computationally complete, purely declarative functional DBPL with first-class sets. Combines relational rewrites with formal reasoning about equivalence and termination, including non-termination and infinite data structures. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 8402
Venue: VLDB
Year: 1994
Pagerank: 5.093636e-05
Overall Rank: 13,040 | 10.54%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Alexandra Poulovassilis (King's College London)
2. Carol Small (Birkbeck College)

BibTeX Citation

@article{poulovassilis_vldb94,
        title = {{Investigation of Algebraic Query Optimisation for Database Programming Languages}},
        author = {Poulovassilis, Alexandra and Small, Carol},
        journal = {PVLDB},
        series = {{VLDB} '94},
        pages = {415},
        year = {1994}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1,003	Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance	1991	SIGMOD	0.00012705891
1,073	A General Framework for the Optimization of Object-Oriented Queries	1992	SIGMOD	0.00012300294
2,248	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference	1989	SIGMOD	8.8703718e-05
2,423	Algebraic Properties of Bag Data Types	1991	VLDB	8.6016807e-05
2,505	A Transformation-Based Approach to Optimizing Loops in Database Programming Languages	1992	SIGMOD	8.4960641e-05
2,737	Managing Persistent Objects in a Multi-Level Store	1991	SIGMOD	8.1890257e-05
4,422	Functional and Predicative programming in OODB's	1992	PODS	6.7128479e-05
13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	5.093636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,050	Database Method Schemas and Object Creation	1993	PODS
2	4,369	Semantic Query Optimization in the Presence of Types	2010	PODS
3	6,563	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
4	143	Optimization of Nonrecursive Queries	1986	VLDB
5	2,258	On the Algebraic Specification of Databases	1982	VLDB
6	2,296	Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract)	1992	PODS
7	3,128	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD
8	13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
9	7,137	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD
10	8,120	Formal Semantics and Analysis of Object Queries	2003	SIGMOD