Incremental detection of inconsistencies in distributed data