基于数据库事务的不变式推导

• 作者: 彭鑫 曾虹驰 赵文耘
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 数据库事务 不变式推导 代数等式
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 2016年全国软件与应用学术会议
• 页码范围: 91-97
• 页数: 7页
• 分类号: TP311
• 字数: 10109字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.11.014

摘要

作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中.通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关系,是软件维护过程中对系统的内部状态进行监控的重要方法之一.目前,在不变式推导领域,主要的方法和工具都是基于代码进行分析的,缺少与基于数据分析相关的研究和成果.为了解决这一问题,首先提出了基于数据的推导代数等式形式的不变式的算法,然后设计并实现了基于数据库事务的不变式推导的原型工具,最后通过相关实验分析和验证了原型工具的有效性.实验结果表明,原型工具有良好的推导准确率和运行性能,能够弥补现有工具和方法在基于数据的分析领域的不足.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭鑫	复旦大学软件学院	96	641	15.0	19.0
5	赵文耘	复旦大学软件学院	154	1327	20.0	28.0
9	曾虹驰	复旦大学软件学院	1	2	1.0	1.0