Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada).