The implication problem for functional and inclusion dependencies (1983)

by John C Mitchell
Venue:Information and Control