Inclusion dependencies and their interaction with functional dependencies (1984)

by M A Casanova, R Fagin, C H Papadimitriou
Venue:JCSS