摘要

本文对Khoshafian-Coperland对象模型进行了改进和扩充,并在此基础上提出了引用可达图,为分析对象持久性语义提供了必要的工具。利用这一工具对两种对象持久性语义(引用可达和显式声明语义)进行了分析