基于事务的规则终止性分析

来源 :哈尔滨理工大学学报 | 被引量 : 0次 | 上传用户:binaryaa
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法主要分析事务信息和结构如何影响主动规则的终止性.给出了算法来检验规则终止性,并证明了算法的正确性.
其他文献
在我国现行的教学体制下,课堂讲授仍是学校教学的基本形式。课堂讲授是否成功,一方面取决于教师的知识水平及授课艺术,另一方面取决于学生的听课效果。学生能否中接受教师讲授的
在逆全球化思潮兴起和中国经济发展进入新常态的背景下,提出长三角区域更高质量的一体化,既是一体化沿发展阶段的升级需求,也是应对现实严峻挑战和形势变化的、致力于培育内
为解决基于感应耦合电能传输(ICPT)技术的电动汽车无线充电过程中,能量获取线圈经过发射线圈连接处时互感显著下降的问题,提出了一种多阶梯形与相嵌式相结合的无线电能发射线
三月的蓟州,春光明媚,万物萌动。在翠湖公司的办公小楼里,一进门两棵四季桂长得格外茁壮,阵阵桂花香飘过,让人顿感暖意融融,温馨惬意。党员活动室里,“小忘初心、牢记使命”
2007年9月20日至11月28日.笔者有幸参加了天津市职业院校第二批专业骨干教师赴加拿大学习研修团.赴加拿大安大略省多伦多地区的Mississaugu市国际培训中心和Barrie市的乔治亚职
主要阐述了造成农网损耗的原因,结合农网实际情况提出农网降损的技术及管理措施。
目的:报告13例糖尿病急性并发症病人的护理。方法:通过补液治疗、持续胰岛素治疗、及时纠正水电解质和酸碱平衡紊乱,加强基础护理和专科护理。结果:13例糖尿病急性并发症病人预后
为充分利用鸡蛋壳丰富的钙资源,通过单因素与三元正交多项式回归设计相结合的研究方法,构建出超声波法高效制备蛋壳柠檬酸钙的三元正交多项式回归模型,并优化出最佳工艺条件
7月16日,市人大常委会召开第九次主任会议。市人大常委会主任段春华主持。会议决定,市十七届人大常委会第四次会议7月25日举行。主任会议建议,市十七届人大常委会第四次会议的议