Analytical and Empirical Tools for Advanced Query Optimizer Engineering

用于高级查询优化器工程的分析和经验工具

• 批准号: 9632629
• 负责人: Stanley Zdonik
• 金额: $ 38.19万
• 依托单位: Brown University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-09-01 至 2001-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9632629&HistoricalAwards=false
• 关键词: Analytical; Empirical; Tools; Advanced; Query

Database query optimizers are complex systems prone to bugs. The intention is to counter this phenomenon by developing a design process that separates the areas that can be formalized and reasoned about from those that require crafting and experimentation. Formal techniques are applied to the specification of optimizer modules (or rule blocks), which can be constructed by expressing provable rules and rule firing strategies. Rules are expressed declaratively (i.e., without code) to permit theorem prover verification. Rule blocks group related rules and propose an order for firing them and a strategy for deciding when firing is appropriate. Associated tools automate rule verification, and permit the effects of rules and rule blocks on queries to be visualized. Assembly of proven modules into a workable whole requires experimentation and evaluation. Tools to assist in this process permit visualization of the assembled optimizer's flow of control on given query sets, and measurement of the performance improvements as a result of transformations of queries. The aim of the project is to develop a methodology and associated suite of tools for the development of effective, correct and extensible query optimizers. This work contributes to the specification, design, verification and empirical evaluation of query optimizers.

数据库查询优化器是复杂的系统，容易出现错误。 其目的是通过开发一种设计过程来对抗这种现象，该过程将可以正式化和推理的区域与需要手工制作和实验的区域分开。 形式化技术应用于优化器模块（或规则块）的规范，其可以通过表达可证明规则和规则触发策略来构造。 规则是以声明方式表达的（即，没有代码）以允许定理证明器验证。 规则块对相关规则进行分组，并提出启动它们的顺序和决定何时启动的策略。 相关的工具自动化规则验证，并允许可视化规则和规则块对查询的影响。 将经过验证的模块组装成一个可行的整体需要实验和评估。在此过程中提供帮助的工具允许可视化所组装的优化器对给定查询集的控制流，以及作为查询转换结果的性能改进的度量。 该项目的目的是开发一种方法和相关的工具套件，用于开发有效，正确和可扩展的查询优化器。 这项工作有助于查询优化器的规范，设计，验证和经验评估。