定义88超文本η是一个强定义的超文本,当且 仅当 VX(XE1O->Y(INSTANCEOF(X=D)) 所有的信息对象都通过它们的域对象定义。 ■信息结点的信息内容由对象的IFO属性表示。 INFO是一个二元组〈 Position,alve),其中 Position指明在信息对象中ahue的位置
◼ 定义8.8 超文本η是一个强定义的超文本， 当且 仅当 X(X∈I 0 ) => (Y(INSTANCEOF(X)=Y)) 所有的信息对象都通过它们的域对象定义。 ◼ 信息结点的信息内容由对象的INFO属性表示。 INFO是一个二元组〈Position,Value〉， 其中 Position指明在信息对象中Value的位置
■定义8.9序列对象O是有限个对象的集合,且有 (1)谓词 SEQUENCE VX( SEQUENCE()→>(X∈O) (2)函数 LENGTHLENGTH(X)=中所含对象的个数; (3)函数LⅠSTLS7(X=X中对象的一个有序排列,用 H1,X2)表示; 4)谓词m当对象X是序列Y的一个元素时,i(X,Y)或 (XiY)为真;如果X不是Y的一个元素,即X不在P中, 则m(X,Y)为假
◼ 定义8.9 序列对象Oq是有限个对象的集合，且有： (1)谓词SEQUENCE X(SEQUENCE(X) <=> (X∈Oq ))； (2)函数LENGTH LENGTH(X)=X中所含对象的个数； (3)函数LIST LIST(X)=X中对象的一个有序排列， 用 〈X1 ,X2 ,…〉表示； (4)谓词in 当对象X是序列Y的一个元素时， in(X,Y)或 (X in Y)为真； 如果X不是Y的一个元素，即X不在Y中， 则in(X,Y)为假
定8.10集对象Og9是个序列对象,且须满足下述公理: (1)聚集对象具有惟一的成分。 VX, YAGGREGATE()MAGGREGATE(Y ∧LS7(X=LS7()=>(Xx=y (2)若一聚集对象是域对象,该对象所有成分必是域对象 V X(AGGREGA7E(X∧(X∈D)= VY(YiLS70)=>(Y∈D) (3)聚集对象的实例由其成分对象的实例构成。 VX, YL(AGGREGATE(∧X∈ INSTANCES(Y AGGREGA7E(Y)AY∈D∧VZ/(zmLS7 [(ZiLS7) AETI(T in LIS7(1∧Z∈ INSTANCES(T刀
◼ 定义8.10 聚集对象Oaggregate是一个序列对象，且须满足下述公理： (1) 聚集对象具有惟一的成分。 X,Y[AGGREGATE(X)∧AGGREGATE(Y) ∧(LIST(X)=LIST(Y))=>(X=Y)] (2) 若一聚集对象是域对象，该对象所有成分必是域对象。 X(AGGREGATE(X)∧(X∈D0 ) => Y[(Y in LIST(X)) =>(Y∈D0 )]) (3) 聚集对象的实例由其成分对象的实例构成。 X,Y[(AGGREGATE(X)∧(X∈INSTANCES(Y))) => (AGGREGATE(Y)∧(Y∈D0 )∧Z[(Z in LIST(X)) => [(Z in LIST(Y))∧T[(T in LIST(Y))∧Z∈INSTANCES(T)]]])]
定义8.11归纳定义为对象集合O中的一种关系,若 GENERALIZATIONX,Y),则称X是Y的归纳。归纳满足下述 公理 (1)关系 GENERALIZ7ON是不对称的,非自反的和传递的 (2)如果X是一信息对象,它是域对象Y的实例,则Y是X的归纳。 (INSTANCEOF()=Y=> GENERALIZATION(YX) (3)如果X是Y的归纳,并且Y是一个域对象,则X必是域对象。 VX,Y[( GENERALIZATION(X,1∧Y∈D)=>X∈D (4)如果Y是X的归纳,并且X是一个信息对象,Y是一个域对象 则X在Y的实例集中 VX, YIIGENERALIZA7ONC)∧(xG10)∧(Y∈D→> (X∈ IMSTANCES()
◼ 定 义 8 . 11 归纳定义为对象集合 O 中 的 一 种 关 系 ， 若 GENERALIZATION(X,Y)， 则称X是Y的归纳。归纳满足下述 公理： (1)关系GENERALIZATION是不对称的，非自反的和传递的。 (2)如果X是一信息对象，它是域对象Y的实例，则Y是X的归纳。 (INSTANCEOF(X)=Y) => GENERALIZATION(Y,X) (3)如果X是Y的归纳，并且Y是一个域对象，则X必是域对象。 X,Y[(GENERALIZATION(X,Y)∧Y∈D0 )=>(X∈D0 )] (4) 如果Y是X的归纳，并且X是一个信息对象，Y是一个域对象， 则X在Y的实例集中。 X,Y[[GENERALIZATION(Y,X)∧(X∈I 0 )∧(Y∈D0 )]=> (X∈INSTANCES(Y))]
引理8.1如果X是Y的归纳并且Y在Y的实例集中,则 Y在X的实例集中 引理8.2定义关系 GENERAL(X, Y=LOX-YVGENERALIZATIONYX) 序偶<O, GENERAl>是一个偏序集。 定义8.12一个对象X∈O的归纳级定义为在偏序集 <O, GENERAN>中对象的高度
◼ 引理8.1 如果X是Y的归纳并且Ym在Y的实例集中，则 Ym在X的实例集中。 ◼ 引理8.2 定义关系 GENERAL(X,Y)=[(X=Y)∨GENERALIZATION(Y,X)] 序偶<O,GENERAL>是一个偏序集。 ◼ 定义8.12 一个对象X∈O的归纳级定义为在偏序集 <O,GENERAL>中对象的高度