收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

一个新的时态逻辑系统和DB形式化描述方法

张建军  罗景仁  
【摘要】:本文提出了一种新的多分类,时态一阶理论系统及基于它的DB形式化分析设计方法。这种方法由于引入了一类新的谓词形式和关于这些谓词的语义特性的描述而突破了原有的基于一阶系统的OB设计方法实际应用范围狭小的状况,它可将逻辑、依赖理论、E-R方法有机地结合起来,综合各种方法的优点长处,从而显示出以一阶理论作为DB设计形式化技术的强有力工具的光明前景。用此方法设计DB时,设计者以本文定义的LT来描述其应用要求,这种描述包括数据信息之间逻辑上的联系,这种联系语义上的特性及DB一致性限制的指定,这三者合起来反映了用户的应用模式。由于描述采用逻辑形式,从而可与知识库系统、信息系统结合起来。并且,由于描述非常形式化,使得随后对该模式可以按一定算法转换成依赖集,并用依赖理论来进行规范化处理,而产生一种性能优良的实现模式,这样的设计方法比起E-R方法或依赖关系设计法有许多独到的优点。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左志宏,龚天富;Mini CSP语言的时态语义[J];计算机应用;1995年01期
2 张骏林;李江宏;;用于协议描述及验证的时态逻辑[J];计算机应用与软件;1992年02期
3 唐达,徐超,杨晓丽;工作流建模中时态逻辑的研究与应用[J];计算机集成制造系统-CIMS;2004年04期
4 张毅,张师超;间断区间时态逻辑的语义[J];高技术通讯;1996年06期
5 韩俊刚,王岩冰,沈武威;用XYZ/E语言描述和验证硬件的行为[J];软件学报;1996年11期
6 贲可荣,陈火旺;命题时态逻辑定理证明新方法[J];软件学报;1994年07期
7 王蓓,吴智铭;实时离散事件系统规范与证明方法[J];上海交通大学学报;1998年01期
8 张广泉,戎玫;并发系统性质描述的一种形式化方法[J];重庆师范学院学报(自然科学版);1998年01期
9 苏开乐,骆翔宇,吕关锋;符号化模型检测CTL[J];计算机学报;2005年11期
10 王富彬;;描述逻辑SHIOQ的时态扩展[J];现代计算机(专业版);2010年11期
11 张广泉;反应式系统的并发模型(Ⅳ)——时态逻辑模型[J];重庆师范学院学报(自然科学版);1998年04期
12 肖美华,薛锦云;时态逻辑形式化描述并发系统性质[J];海军工程大学学报;2004年05期
13 宋悦,郝克刚,葛玮;基于时态逻辑的抽象对象规约方法[J];西北大学学报(自然科学版);1999年06期
14 钱俊彦,赵岭忠,古天龙;一种基于时间自动机的时钟等价性优化方法[J];计算机工程;2005年18期
15 陈卓;杨炳儒;周法国;李琳娜;;基于时态逻辑的多时间序列挖掘模型[J];辽宁工程技术大学学报(自然科学版);2009年04期
16 周从华;陶志红;陈钟;王立福;;基于时态逻辑的工作流分析[J];计算机科学;2007年11期
17 陈良,陈莘萌;通信的顺序进程的证明规则[J];计算机学报;1988年02期
18 贲可荣,陈火旺,王兵山;命题时态逻辑矢列式演算系统[J];中国科学A辑;1994年10期
19 杨惠珍,康凤举,马裕民,蔡斌;基于时态逻辑的形式化联邦校核方法[J];西北工业大学学报;2005年04期
20 黎升洪;缪淮扣;;时态逻辑描述能力比较研究[J];计算机工程与应用;2006年22期
中国重要会议论文全文数据库 前10条
1 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
2 张建军;周继鹏;葛玮;;基于逻辑模型的DB模式向关系模式的形式化转换方法[A];第十一届全国数据库学术会议论文集[C];1993年
3 刘兵;杨晋辉;赵永朋;王祥;;装备指挥仿真构件形式化描述方法研究[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
4 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
5 李晓鸥;郭令忠;徐心和;;Petri网监控的时态逻辑框架[A];1994中国控制与决策学术年会论文集[C];1994年
6 费定舟;;基于分枝时间框架的通信系统的BDI模型[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 路海燕;冯玉才;朱虹;;时态DB系统模型研究[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
8 曾红卫;缪淮扣;;优化基于模型检验的测试生成[A];第六届中国测试学术会议论文集[C];2010年
9 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
10 张春海;;一种适应于历史数据库模型的查询语言[A];第十届全国数据库学术会议论文集[C];1992年
中国博士学位论文全文数据库 前6条
1 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
2 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年
3 孙晓星;面向方面的软件容错模型设计与分析技术[D];华东理工大学;2012年
4 樊林波;软件可靠性与安全性的相互关系及其转换规律研究[D];贵州大学;2009年
5 任传俊;复杂适应系统量化仿真与分析关键技术研究[D];国防科学技术大学;2011年
6 梁晓兵;面向二进制程序漏洞挖掘的相关技术研究[D];北京邮电大学;2012年
中国硕士学位论文全文数据库 前10条
1 刘冬宁;时态逻辑及其对知识库的构架与研究[D];广东工业大学;2004年
2 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年
3 王澄澄;基于时序ECA的分布式工作流管理系统研究与应用[D];山东大学;2005年
4 赵赟;基于时态逻辑的UML交互模型检测研究[D];青岛大学;2008年
5 孔庆爱;基于符号模型检测若干问题的研究及应用[D];吉林大学;2008年
6 李学军;基于时态逻辑的迁移实例运行时安全研究[D];山东大学;2009年
7 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年
8 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
9 韦巍;面向对象的时态知识表达模型研究与应用[D];广东工业大学;2003年
10 张义飞;基于改进的PI演算的本体演化形式化描述方法[D];吉林大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978