Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Equational logic as a programming language
Equational logic as a programming language
Rule-based transformation of relational queries into iterative programs
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The EXODUS optimizer generator
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A rule-based view of query optimization
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
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Extensible query processing in starburst
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Program Transformation Systems
ACM Computing Surveys (CSUR)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rewriting Techniques and Applications
Rewriting Techniques and Applications
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 2nd International Conference on Rewriting Techniques and Applications
RTA '87 Proceedings of the 2nd International Conference on Rewriting Techniques and Applications
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
Implementing an Interpreter for Functional Rules in a Query Optimizer
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
| Hi-index | 0.00 |
In this paper we propose the integration of query optimization and program transformation technologies in a second generation optimizer generator called OG. The input to OG is a high-level specification of the strategy transformations done by each module of a query optimizer. OG's design is intended to support the specification and automatic implementation of extensions to data-access languages.