Using Weakest Preconditions to Simplify Integrity Constraint Checking.
Michael Lawley, Rodney W. Topor, Mark Wallace
VenueAustralasianADC
Year1993
ProceedingsAustralian Database Conference
DBLP recordconf/adc/LawleyTW93 ↗
Browse the full ADC paper archive.