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

by Jean-Marie Nicolas
Venue:Acta Informatica