. . . . . . "Protocols for integrity constraint checking in federated databases" .