Ibrahim, H. 2001. Deriving Global and Local Integrity Rules for a Distributed Database. Malaysian Journal of Computer Science. 14, 2 (Dec. 2001), 70–80.