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

• Application of Logic Programming in Relation Database Data Integrity Constraint