Isamu Kobayashi Losslessness and semantic correctness of database schema transformation: another look of schema equivalence. 41-59 1986 11 Inf. Syst. 1 db/journals/is/is11.html#Kobayashi86