第十四章关联对象访问AssociativeObjectAccess.pptVIP

第十四章 关联对象访问 Associative Object Access本章重点讲述GOM对关联对象查询的支持,即如 何实现一个查询和如何描述用户的查询要求在O-O DBMS中,实现一个查询是通过多态的 Select函数来实现的GOM支持二种查询语言GOMql、GOMsql ? 其中GOMql是基于关系语言QUEL在面向对象上的扩 展 ? GOMsql是SQL在面向对象上的扩展关联查询的操作对象为:类型范围Type Extention,用户定义的集合对象和表对象多态的关联选择操作定义及其实现关联选择操作需要一个操作对象说明?在 某个对象实例集合上,需要一个条件表达 式作为选择的依据?选择谓词当定义一个多态的选择操作时,选择谓词 将以函数变元的方式作为操作变元当选择谓词本身需要参数时,该参数必须 在选择操作的参数表中说明多态的选择操作的共同名字为Select无参数的选择谓词?简单的布尔函数多态选择操作说明为 Polymorph overload select \t1\t2 :\t1 || \t2 || - bool - \t1Code selectNoParam语义为 ?类型\t1,是一个集合类型,其元素类型为\t2 ? Select操作有两个变元:接受者类型为\t1,另 一个变元是一个布尔函数,它对类型为\t2的对 象进行选择,返回一个布尔型结果 ? Select语义对t1的元素用布尔函数进行筛选;多态选择操作的实现 define selectNoParamselPred isvar result: \t1;candidate: \t2;begin result.create;!! 生成空结果集 foreach candidate in self if candidate.selPred then result.insertcandidate; return result;end define selectNoParam应用举例在立方体实例库中,查找某一个顶点是原点的立 方体分析:其选择谓词需要顺次检查一个立方体的8个 点,是否有一个点的x、y、z坐标值为0,0± ε ?? inOrigin 操作其结果应当是下面二个集合的交集: ? 包含在立方体实例集合中的实例??myCuboid所引用 ? 满足谓词inOrigin 的实例多态的Select操作可以应用于任何一个集合类型? inOrigin定义 declare inOrigin: Cuboid || ?bool; define inOrigin is!!判断任何一个顶点是否处于坐标原点 return self.v1.x0.0 ±εand self.v1.y0.0 ±εand self.v1.z0.0 ±ε)OR … ( self.v8.x0.0 ±εand self.v8.y0.0 ±εand self.v8.z0.0 ±ε;变量定义和引用 var myCuboids, theCuboidsInOrigin:CuboidSet;…… theCuboidsInOrigin:myCuboids.selectinOrigin;示例2??查询退休职员 declare isRetired: Employee ||bool; var retiredEmps: EmployeeSet; …retiredEmps:extEmployee.selectisRetire d;示例3??无名的选择谓词的使用当布尔选择谓词比较简单,则可以λ 符号来实现 操作过程的传递示例:选择红色苹果的选择操作 Ⅰ.选择谓词用命名isRed表达 declare isRed: Apple || ?bool;define isRed is … Ⅱ.选择谓词用λ表达??直接传递过程 redApples:myApples.select λ x: x.color “red” GoldCuboidmycuboid.select λ x: e “gold”带参数的选择谓词该参数是为选择谓词服务的,所以需要在 谓词函数中说明由于在引用时,显然需要由Select来引用, 因此,在Select的参数表中也要说明,规则 如下: poly overload select \t1\t2:\t1||\t2||\t3 - bool, \t3 - \t1语义:其中类型\t3可以是任何类型,它的 约束条件是Select的第三个参数类型\t3,必 须与选择谓词所需一个参数类型一致Select的重载Select函数不但是多态的,而且是重载的, 它可以根据选择谓词的需要,设定多个参 数编译器根据重载规则,从参数的个数,寻 找到正确的实现版本其约束条件为:在哑、实结合时,Select的 参数个数和各自类型必须与选择谓词