Logic for improving integrity checking in relational data bases (1982)

by J-M NICOLAS
Venue:Acts Informatica