关系代数→关系演算转换系统的研制

《关系代数→关系演算转换系统的研制》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、‘’；}；27j·逸／声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：苏月擘签字日期：弘产年彭月／，乙日学位论文版权使用授权书本学位论文作者完全了解江西师范大学研究生院有关保留、使用学位论文的规定，有权保留并向国家有关部门或机构送交论文的复印件和电子稿，允许论文被查阅和借阅。本人授权江西师范大学研究生院可以将学位论文

2、的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文o(保密的学位论文在解密后适用本授权书)学位论文作者签名：芳戽盈签字日期：矽／o年6月／，1眉蠢名：1锑主签字日期：。知如年6月f拥．囊鼙瀑，；；菱气吐鼍≯羁0要，藩．．1∥0；●。?；卜；。。．．。喜毒oq毒0虿喾罐薯鼍q飞墨遵_a京毒；。———1■o_●■■一◆●摘要㈣蝴．

3、1i

4、lnull幽．IIIII㈣IIIIIIIIIIII舢IIY18380。1”1。在程序验证领域，Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的，这两个方法系统的基点是各自定义的语言系统，然后根据各自

5、的方法寻求语言系统的语义。在研究软件形式化时，我们发现这样的问题：怎么探寻数据库程序中关系代数语句的语义，这里数据库程序即是用具备关系操作的程序设计语言编写的包含关系操作的程序。无论是Hoare公理方法或是Dijkstra最弱前置谓词方法，各自定义的语言系统都没有触及数据库领域。PAR方法中的Apla语言的特色之一是把关系代数操作纳入程序设计语言中，这使得Apla可以直接用于数据库程序的开发。当今现实是，程序不可避免地要与数据库打交道，所以，对这部分程序的验证急需理论上的扩展、突破。经过长久深入的研究，本文发现验证数据库程序的核心就是找到数据库中关系代数的语义，进一步，也就是把关系代数

6、转换成等价的关系演算。本文主要研究了关系代数到关系演算的转换规则，并对传统转换规则进行了简化、扩展。针对关系代数到关系演算的转换规则，本文主要解决两重运算的转换，我们发现更多重的运算转换规则定义起来十分复杂，况且多重的运算完全可以由单重的或两重的运算多步来实现。本文开发出转换系统后台算法模块，并制作成DLL构件形式。然后把DLL构件与开发出的系统GUI组装成完整的转换系统。转换系统能够自动生成与给定关系代数等价的关系演算结果，这样就使得程序验证拓展到数据库领域，提供一种可能。关键字：关系演算，关系代数，转换规则，程序语义，PAR方法，核心算法，DLL构件，构件组装■o，￡¨‰若爨rf。

7、群●；i，．i}拈#?{，p，“，r#．、4，誊，●■AbstractInthefieldofprogramverification，HoareaxiomaticmethodandtheDijkstraweakestpre—verbisthemostoutstandingofthesetwomethodsistheirpointsystem，thedefinitionofthelanguagesystem，andthenfindtheirwaytothesemanticsofthelanguagesystem．Formalresearchsoftware，wefoundthisprob

8、lem：howtoexplorethedatabaseprogram,thesemanticsofrelationalalgebrastatements，wherethedatabaseprogramthatisoperatedwitllrelationswriaeninprogramminglanguagesincludingrelationaloperationsprocedures．BothHoareaxiomaticmethodorDijkstraweakestpre—predicatemethod，eachdefinedlanguagesystemdidnottouchthe

9、databaseinthefield．PARmethodofAplaoneofthecharacteristicsoflanguageistorelationalalgebraoperationsintoprogramminglanguages，whichmakesApladatabaseprogramCanbedirectlyusedforthedevelopment．Todaytherealityis，theprogramwillinevi