Due to some given integrity constraints for a medical distributed database we shall now consider the check of the global. In many domains, one cannot suppose to have a full availability of data in a distributed database. Given some integrity constraints over a distributed database we consider the problem of incrementally checking global consistency in response to updates made to the base relation but without accessing all these base relation. We were concerned with the issue of preserving global consistency when updating a distributed database and when not all relationships are available and updates relate to possible relations. This problem is solved for integrity constraints of databases when conjunctive queries are negated (CICØ).


Distributed database, Integrity constraints, Consistency.