Design and implement of a rule integrity constraintor in deductive database system

• 演绎数据库中规则维护器的设计与实现