三部分面向对象模型GOMGenericObjectModel.pptVIP

第三部分 面向对象模型GOM Generic Object Model 类型系统与对象系统 GOM的结构定义 元组结构 聚集结构 对象的标识 子对象的共享 对象的持久性 Sort类型上的复合结构 7.1 类型系统与对象系统 类型系统（sort type）的发展 类型：类型名，{值域}，{操作} 早期语言只提供简单类型 进一步复杂类型 －简单类型、结构类型、串、指针... Ada提出抽象数据类型ADT（abstract data type） 用户自己定义结构、操作 系统提供打包功能 以类型方式提供使用 几种简单sort类型 类型的使用、特点、局限 变量说明：指明一个变量的类型 变量赋值：类型的实例化操作 实例化结果：指定一个值 在实例的整个生命周期，值是不变的，因此类型的实例无需标识，值就是其本身的标识 变量的重新赋值是重新实例化过程，原实例已消亡。 类型系统的问题：无法描述实例的状态变化，即不同的值代表了某个实例在不同时刻的不同状态 数据库的应用是最突出的不协调 面向对象类型 对象系统强调的是对象状态的变化 对象的生命周期种的某一瞬间是一个状态（对象属性的某个值集） 但对象属性值被修改时，表明该对象由一个状态转化为另一个状态 为了能识别不同状态下的对象，必须进行标识。——唯一性约束 对象状态的转化时内部变化，因此必须进行封装——完整性约束 对象O由（id#,