Semi-automatic techniques for deriving interscheme properties from database schemes