Stavros S. Cosmadakis Paris C. Kanellakis Functional and Inclusion Dependencies. 163-184 1986 3 Advances in Computing Research db/journals/acr/acr3.html#CosmadakisK86