Rule Auto-Generation for Integrity Constraints
完整性约束规则的自动生成

1．前言 传统数据库一直被动地对用户(应用程序)的要求作出反应,八十年代末期提出的主动数据库突破了这一局限,能够在没有用户干预的情况下,自动地对系统内部或外部产生的事件做出响应5],其主动性行为的基础是规则系统的有力支持。 后期推出的关系数据库产品(如SYBASE)已经提供了规则机制,有许多基于规则的主动数据库已经或正在形成。但这些系统中提供的规则定义语言都是过程式的,要求用户对规则的条件和动作进行具体描述,规则定义成为一项很繁琐的工作,给用户充分利用规则造成困碓。特别是对于大量的完整性约束保持规则来说,其触发条件和动作都有稳定一致的规律性,应该提供一种说明性的语言使用户能够简明安全地表达约束语义,而规则的细节能由系统自动生成。