Paolo Atzeni Giorgio Ausiello Carlo Batini Marina Moscarini Inclusion and Equivalence between Relational Database Schemata. 267-285 1982 19 Theor. Comput. Sci. db/journals/tcs/tcs19.html#AtzeniABM82