【摘 要】
：
本文采用一阶逻辑描述空间完整性约束,利用逻辑系统的推理可以检查约束的合法性,并能自动导出触发器ECA规则.在实现的思路基础上,下一步将定义完整的规则语言,构造空间完整性
【机 构】
：
国防科技大学电子科学与工程学院(长沙)
论文部分内容阅读
本文采用一阶逻辑描述空间完整性约束,利用逻辑系统的推理可以检查约束的合法性,并能自动导出触发器ECA规则.在实现的思路基础上,下一步将定义完整的规则语言,构造空间完整性约束的触发器规则系统,包括规则执行条件的判断、规则执行的激发以及自动产生规则中的修复动作等等;构造事件集时,采用的是保守的策略,将所有可能违反约束的事件均与约束进行关联,如果对关联进一步考虑,可以进一步优化事件集合空间.
其他文献
在高职高专教学的过程中,《数字电子技术》这门课程十分重要.在从该内容的教学重要性出发,对其教学难点进行重点突破.这其中,文章分析了《数字电子技术》教学过程中所存在的
化学,作为一门九年义务教育课程中的一门独立学科,具有着独特的魅力.化学知识在我们的日常生活中处处可见,如何引导学生发现生活中的化学知识,运用已有的化学知识去解释生活
“把球传给我”是江苏边防总队镇江边防检查站监护一中队指导员凡广杰的网名,而他的头像正是荷兰当家球星范佩西摊开双手在召唤队友传球的照片.“指导员要做官兵的思想工作,
8月15日清晨,温暖的阳光透过窗户洒进厦门市思明区明珠养老院322房间,白血病人黄丽惠面色红润,神情自若.rn护工李小红像往常一样给黄丽惠量体温,洗头.黄丽惠顺手拿起镜子,看
启发式教学是一种先进的教学方法,是各种教学方法的灵魂,它渗透在教学活动的各个方面,并贯穿于教学过程的始终.本文从具体的教学案例出发,对启发式教学进行探讨和论述,旨在推
小学数学应用题教学是提升学生解决实际问题能力的基础,通过规范审题提升学生对题意的解读能力,小学应用题教学不仅可以锻炼学生的审题意识,还可以培养学生的计算能力、锻炼
数学是一门高度抽象的学科,思维方式以抽象思维为主.惟其如此,就更加要求数学教师在设计课堂提问时,想方设法调动学生的情绪,让学生乐于思考.要想达到高效课堂,提问一定得有
本文针对集合数据提出一种集合数据索引结构:Set_tree,它利用集合数据中的结构信息和集合数据的次序信息建立一棵树型结构,同时还包括一条反向链表.接着本文基于Set_tree提出
时下,越来越多的人开始意识到健康的重要性,特别是现在的“三个提前”(提前衰老、提前疾病、提前死亡)现象,与不断发展的医学技术相背离,更提示人们:
Nowadays, more and mo