You are about to access our book library "Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, (Workshops in Computing) full version" .