H. Ibrahim, “Deriving Global and Local Integrity Rules for a Distributed Database”, MJCS, vol. 14, no. 2, pp. 70–80, Dec. 2001.