 |
|
|
Inferring Function Semantics to Optimize Queries |
Full Paper (PDF)
|
The goal of the COKO-KOLA project [10,9] is to express rules of rule-basedoptimizers in a manner permitting verification with a theorem prover.
In [10], we considered query transformations that were too general to be expressed with rewrite rules.
In this paper, we consider the complementary issue of expressing query transformations that are too specific for rewrite rules.
Such transformations require rewrite rules to be supplemented with semantic conditions to guard rule firing.
This work considers the expression of such transformations using conditional rewrite rules, and the expression of inference rules to guide the optimizer in deciding if semantic conditions hold.
This work differs from existing work in semantic query optimization in that semantic transformations in our framework are verifiable with a theorem prover.
Further, our use of inference rules to guide semantic reasoning makes our optimizer extensible in a manner that is complementary to the extensibility benefits of existing rule-based technology.
|
References, where available, link to the DBLP on the World Wide Web.
[1]Karl Aberer, Gisela Fischer:
Semantic Query Optimization for Methods in Object-Oriented Database Systems.
ICDE 1995: 70-79[2]Catriel Beeri, Yoram Kornatzky:
Algebraic Optimization of Object-Oriented Query Languages.
ICDT 1990: 72-88[3]...
[4]R. G. G. Cattell:
The Object Database Standard: ODMG-93.
Morgan Kaufmann 1993, ISBN 1-55860-302-6
[5]Upen S. Chakravarthy, Jack Minker, John Grant:
Semantic Query Optimization: Additional Constraints and Control Stretegies.
Expert Database Conf. 1986: 345-379[6]Surajit Chaudhuri, Kyuseok Shim:
Query Optimization in the Presence of Foreign Functions.
VLDB 1993: 529-542[7]...
[8]...
[9]Mitch Cherniack, Stanley B. Zdonik:
Changing the Rules: Transformations for Rule-Based Optimizers.
SIGMOD Conference 1998: 61-72[10]Mitch Cherniack, Stanley B. Zdonik:
Rule Languages and Internal Algebras for Rule-Based Optimizers.
SIGMOD Conf. 1996: 401-412[11]Johann Christoph Freytag:
A Rule-Based View of Query Optimization.
SIGMOD Conference 1987: 173-180[12]Goetz Graefe:
The Cascades Framework for Query Optimization.
Data Engineering Bulletin 18(3): 19-29(1995)[13]Goetz Graefe, William J. McKenna:
The Volcano Optimizer Generator: Extensibility and Efficient Search.
ICDE 1993: 209-218[14]John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid:
Semantic Query Optimization for Object Databases.
ICDE 1997: 444-453[15]...
[16]Michael Hammer, Stanley B. Zdonik:
Knowledge-Based Query Processing.
VLDB 1980: 137-147[17]Won Kim:
On Optimizing an SQL-like Nested Query.
TODS 7(3): 443-469(1982)[18]Jonathan J. King:
QUIST: A System for Semantic Query Optimization in Relational Databases.
VLDB 1981: 510-517[19]Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv:
Query Optimization by Predicate Move-Around.
VLDB 1994: 96-107[20]Hamid Pirahesh, Joseph M. Hellerstein, Waqar Hasan:
Extensible/Rule Based Query Rewrite Optimization in Starburst.
SIGMOD Conference 1992: 39-48[21]...
|
@inproceedings{DBLP:conf/vldb/CherniackZ98,
author = {Mitch Cherniack and
Stanley B. Zdonik},
editor = {Ashish Gupta and
Oded Shmueli and
Jennifer Widom},
title = {Inferring Function Semantics to Optimize Queries},
booktitle = {VLDB'98, Proceedings of 24rd International Conference on Very
Large Data Bases, August 24-27, 1998, New York City, New York,
USA},
publisher = {Morgan Kaufmann},
year = {1998},
isbn = {1-55860-566-5},
pages = {239-250},
crossref = {DBLP:conf/vldb/98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
|
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
