从空间完整性约束导出触发器ECA规则

摘要

本文采用一阶逻辑描述空间完整性约束,利用逻辑系统的推理可以检查约束的合法性,并能自动导出触发器ECA规则.在实现的思路基础上,下一步将定义完整的规则语言,构造空间完整性约束的触发器规则系统,包括规则执行条件的判断、规则执行的激发以及自动产生规则中的修复动作等等;构造事件集时,采用的是保守的策略,将所有可能违反约束的事件均与约束进行关联,如果对关联进一步考虑,可以进一步优化事件集合空间.