Application of Logic Programming in Relation Database Data Integrity Constraint

• 逻辑程序在关系数据库完整性约束中的应用