Automatic Generation of Update Rules to Enforce Consistency Constraints in Design Databases. - J. Browner; Bonnie K. MacKellar; Joan Peckham; J. Vorbach (DS-7, 1997)