关系代数→关系演算转换系统的研制_毕业论文范文网-论文范文

搜索高级搜索

原创毕业论文

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

作者: 浏览:8次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：关系代数→关系演算转换系统的研制，论文范文关键词：关系代数→关系演算转换系统的研制
关系代数→关系演算转换系统的研制毕业论文范文介绍开始：
【论文摘要】：在程序验证领域,Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的,这两个方法系统的基点是各自定义的语言系统,然后根据各自的方法寻求语言系统的语义。在研究软件形式化时,我们发现这样的问题:怎么探寻数据库程序中关系代数语句的语义,（此处忽略..）这里数据库程序即是用具备关系操作的程序设计语言编写的包含关系操作的程序。无论是Hoare公理方法或是Dijkstra最弱前置谓词方法,各自定义的语言系统都没有触及数据库领域。PAR方法中的Apla语言的特色之一是把关系代数操作纳入程序设计语言（此处忽略..）中,这使得Apla可以直接用于数据库程序的开发。当今现实是,程序不可避免地要与数据库打交道,所以,对这部分程序的验证急需理论上的扩展、突破。经过长久深入的研究,本文发现验证数据库程序的核心就是找到数据库中关系代数的语义,进一步,也就是把关系代（本文此处忽略..）数转换成等价的关系演算。本文主要研究了关系代数到关系演算的转换规则,并对传统转换规则进行了简化、扩展。针对关系代数到关系演算的转换规则,本文主要解决两重运算的转换,我们发现更多重的运算转换规则定义起来十分复杂,况且多重的运算完全可以由单重的或（本文此处忽略..）两重的运算多步来实现。本文开发出转换系统后台算法模块,并制作成DLL构件形式。然后把DLL构件与开发出的系统GUI组装成完整的转换系统。转换系统能够自动生成与给定关系代数等价的关系演算结果,这样就使得程序验证拓展到数据库领域,提供一种可能。

以上为本篇毕业论文范文关系代数→关系演算转换系统的研制的介绍部分。

本论文在计算机论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：面向对象并发程序切片技术及其在..

下一篇：并行程序动态行为可视化监测及并..