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

摘要

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