Formal methods in databases and software engineering proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 - Alagar, Vangalur S. 1940-; Lakshamanan, Laks V. 1959-; Sadri, Feridon (Springer-Verlag, 1993)