Title: On integrity constraints
Subjects: Database management, KFOPCE (Computer program language), Logic programming