Ronald Fagin Moshe Y. Vardi Armstrong Databases for Functional and Inclusion Dependencies. 13-19 1983 16 Inf. Process. Lett. 1 db/journals/ipl/ipl16.html#FaginV83