从空间完整性约束导出触发器ECA规则
本文采用一阶逻辑描述空间完整性约束,利用逻辑系统的推理可以检查约束的合法性,并能自动导出触发器ECA规则.在实现的思路基础上,下一步将定义完整的规则语言,构造空间完整性约束的触发器规则系统,包括规则执行条件的判断、规则执行的激发以及自动产生规则中的修复动作等等;构造事件集时,采用的是保守的策略,将所有可能违反约束的事件均与约束进行关联,如果对关联进一步考虑,可以进一步优化事件集合空间.
空间数据库 空间约束 触发器 空间数据模型
熊伟 张巨 景宁
国防科技大学电子科学与工程学院(长沙)
国内会议
长沙
中文
630-632
2003-10-10（万方平台首次上网日期，不代表论文的发表时间）