Marco A. Casanova Ronald Fagin Christos H. Papadimitriou Inclusion Dependencies and Their Interaction with Functional Dependencies. 29-59 1984 28 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss28.html#CasanovaFP84