A formal specification model and its application in multidatabase systems.