Maintaining database consistency in presence of value dependencies in multidatabase systems