Validation of Updates Against the Structural Database Model (1981)

by A M Keller, G Wiederhold
Venue:Proc. of Symposium on Beleability in Distributed -12Software and Database Systems