Logic for Improving Integrity Checking in Relational Data Bases (1982)

by J M Nicolas
Venue:Acta Informatica