Stavros S. Cosmadakis Paris C. Kanellakis Functional and Inclusion Dependencies. 1983 conf/xp/1983 XP4.5 Workshop on Database Theory db/conf/xp/xp1983.html#CosmadakisK83