Using FP as a query language for relational data-bases
Computer Languages
Lambda lifting: transforming programs to recursive equations
Proc. of a conference on Functional programming languages and computer architecture
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The relational model with relation-valued attributes
Information Systems
Optimization of nested SQL queries revisited
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Grammar-like functional rules for representing query optimization alternatives
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Extensible query processing in starburst
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Optimization and dataflow algorithms for nested tree queries
VLDB '89 Proceedings of the 15th international conference on Very large data bases
The EXODUS extensible DBMS project: an overview
Readings in object-oriented database systems
Queries and query processing in object-oriented database systems
ACM Transactions on Information Systems (TOIS)
Algebraic optimization of object-oriented query languages
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Algebraic support for complex objects with arrays, identity, and inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
A functional DBPL revealing high level optimizations
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Extensible query processing in an object-oriented database
Extensible query processing in an object-oriented database
OFL: a functional execution model for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
On optimizing an SQL-like nested query
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Communications of the ACM
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
A Modular Query Optimizer Generator
Proceedings of the Sixth International Conference on Data Engineering
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Blackboard Architecture for Query Optimization in Object Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
The AQUA Data Model and Algebra
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Nested Queries in Object Bases
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Improved Unnesting Algorithms for Join Aggregate SQL Queries
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Changing the rules: transformations for rule-based optimizers
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Rule-based query optimization, revisited
Proceedings of the eighth international conference on Information and knowledge management
Journal of Intelligent Information Systems
Visual COKO: a debugger for query optimizer development
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
The Case for Enhanced Abstract Data Types
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Inferring Function Semantics to Optimize Queries
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
MIL primitives for querying a fragmented world
The VLDB Journal — The International Journal on Very Large Data Bases
Enhanced abstract data types in object-relational databases
The VLDB Journal — The International Journal on Very Large Data Bases
Unit-testing query transformation rules
Proceedings of the 1st international workshop on Testing database systems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Rule-based optimizers and optimizer generators use rules to specify query transformations. Rules act directly on query representations, which typically are based on query algebras. But most algebras complicate rule formulation, and rules over these algebras must often resort to calling to externally defined bodies of code. Code makes rules difficult to formulate, prove correct and reason about, and therefore compromises the effectiveness of rule-based systems.In this paper we present KOLA: a combinator-based algebra designed to simplify rule formulation. KOLA is not a user language, and KOLA's variable-free queries are difficult for humans to read. But KOLA is an effective internal algebra because its combinator-style makes queries manipulable and structurally revealing. As a result, rules over KOLA queries are easily expressed without the need for supplemental code. We illustrate this point, first by showing some transformations that despite their simplicity, require head and body routines when expressed over algebras that include variables. We show that these transformations are expressible without supplemental routines in KOLA. We then show complex transformations of a class of nested queries expressed over KOLA. Nested query optimization, while having been studied before, have seriously challenged the rule-based paradigm.