Grefen, P. and Widom, J. (1994) Protocols for Integrity Constraint Checking in Federated Databases. Technical Report. Stanford University.