Ibrahim, H. Deriving Global and Local Integrity Rules for a Distributed Database. MJCS 2001, 14, 70-80.