Peter Buneman Susan B. Davidson Anthony Kosky Semantics of Database Transformations. 55-91 1995 conf/sdb/1995 Semantics in Databases db/conf/sdb/sdb95.html#BunemanDK95