Text this: Analysis of integrity tests for checking integrity constraints in a distributed database