达梦数据库物化视图的设计与实现

《达梦数据库物化视图的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、华中科技大学硕士学位论文达梦数据库物化视图的设计与实现姓名：宁亮申请学位级别：硕士专业：计算机软件与理论指导教师：周英飚20070411摘要物化视图是一种将代价大、重复次数多的查询预先计算出来并用于回答用户查询的优化手段，在分析型应用环境中能够非常有效地提升数据库系统的响应速度。为了满足联机分析处理(OnlineAnalyticalProcessing,OLAP)、数据挖掘等分析性应用环境的要求，达梦(DaMeng,DM)数据库管理系统需要支持物化视图功能。要实现对物化视图的支持，必须解决好视图维护和利用物化视图对用户查询进行优化这两个关键问题，并提供一个适合达梦数据库管理

2、系统的实现方案。针对分析性应用环境下物化视图引用的关系的变化量小的特点，采用增量的方式对物化视图进行维护比重新执行一次视图内容的效率要高很多。为了在达梦数据库管理系统中实现物化视图的增量维护，并保证增量维护机制的正确性，为SPJ查询中的选择、投影、连接操作引出了8条的等价增量推导规则。为了实现对分组聚集操作的维护，引入了两个专用附加操作符来更新由插入和删除操作所带来的聚集结果的变化。利用关系代数理论对所给的增量维护机制的正确性进行了证明。为了利用物化视图优化用户查询，首先利用系统中定义的物化视图生成所有与原查询等价的重写查询，然后在所生成的等价查询中选择一条代价最小的查询作

3、为最终查询。查询重写的过程分为对关系乘积、选择条件、分组属性列表和输出部分的重写4个阶段构成，为每个阶段定义了一个等价重写子过程，并对等价重写的正确性进行了证明。在实现的过程中，对达梦数据库管理系统的框架进行了扩充和修改。引入了物化视图对象并添加了物化视图定义器用于执行与物化视图相关的DDL(DataDefinitionLanguage)语句，维护保存物化视图元数据的数据字典。添加了查询重写索引管理模块，将系统中的物化视图的定义用一棵称为查询重写索引(QueryRewriteIndex,QTI)的多路搜索树组织起来，引入了利用物化视图进行查询重写的模块，对查询重写索引进行遍

4、历生成所有可能的等价查询，利用代价估算器对等价查询的执行代价进行估算。修改了数据更新语句的查询计划，当对物化视图所依赖的关系中的元组进行修改时，首先获取增量数据保存到增量辅助表中，然后依次对物化视图和基表进行修改。关键词：物化视图，增量维护，增量推导规则，辅助表，查询重写，查询重写索引IAbstractMaterializedviewisanexcellentqueryoptimizationmethodusedinanalyticprocessingenvironment.Costlyandfrequentlyusedqueriescanbestoredasmateria

5、lizedviewstoanswerthefuturequeries.Tofulfilltherequirementsofanalyticapplicationcontext,suchasOLAPanddatamining,materializedviewmustbesupportedbyDM.Toachievethesupportofmaterializedview,themaintenanceofmaterializedviewandhowtousematerializedtoimprovequeryperformance,thesetwokeytechnologypr

6、oblemsmustbesolvedproperly.Moreover,howtoprovideanimplementationframeworkaccordingtoDMisalsoshouldbetakeninmind.Underanalyticapplicationenvironment,themodificationshappenedonbasetablesareminorcomparedtothemassofrecordsstoredinthewholedatabase.Maintainmaterializedviewsincrementallycanbemuch

7、cheaperthanrecomposingviewsfromscratchovertheupdatedsources.EightincrementalderivationrulesofSPJqueryandtwoadditionalgebraoperatorsareproposedtomaintainmaterializedviewsofDMincrementally.Correctnessoftheserulesandoperatorsareprovedbyrelationalalgebra.Toultimat