多媒体系统的数据模型概述.pptxVIP

第八章 多媒体系统的数据模型 ;8.1 多媒体系统数据模型概述;多媒体系统表现模型;多媒体系统数据模型的层次结构 ;表现模型从“表现”入手, 根据多媒体表现强烈的时空特性, 往往以时间为线索来组织安排多媒体活动。 同步指对多个对象间的时间关系的协调控制,同步模型是以时间为线索来组织多媒体表现。 同步也是有层次的,一般分为用户级同步、复合对象内部的同步及系统同步。 ;8.2 超文本系统的形式化模型 ;集合论和一阶逻辑 ;定义3 偏序集S,R中, 集合S的元素X覆盖S的元素Y(≠X)可记为covers(X,Y,S,R), 满足： R(Y,X)∧ ? Z∈S[(R(Y,Z)∧R(Z,X))=(Z=X)∨(Z=Y)] 定义4 偏序集S,R中, S中对象的高度是一个从S到自然数集合的函数, 其定义为: (1) 如果X是S,R最小元素,则height(X)=1; (2) 如果covers(X,Y,S,R),则height(X)=height(Y)+1 ;定义5 一个超文本η是这样一个集合, 它包括: (1) 域对象集D0和信息对象集I0; 且有 D0∩I0 =φ, D0∪I0=O 其中φ为空集, O是对象集。 (2) 谓词集合π; (3) 属性(性质)集合A。 对超文本η, D0[η]表示η的域对象集, I0[η]表示η的信息对象集, A[η]表示η中的属性集, π[η]表示η中的谓词集合。 ;定义6 谓词集合π,由以下3个子集组成: (1)π1:一元谓词,表示对象的特征。SET(X) (2)π2:二元谓词,表示对象的关系。P(X1,X2) (3)π3:三元谓词,表示对象的某种属性的取值。ATR(X,Y,Z) 定义7 D0是一个表示η的域对象的独有符号的集合, I0是表示信息对象符号的集合, 集合O=D0∪I0被称为对象集合。 信息对象(I0)与域对象(D0)的关系可以通过函数INSTANCEOF和INSTANCES来建立。INSTANCEOF(X)=Y表示X是一个信息对象,它是域对象Y的一个实例。INSTANCES(X)={X1,X2,…}则等价于INSTANCEOF(X1)=X, INSTANCEOF(X2)=X,…。 ;定义8 超文本η是一个强定义的超文本, 当且仅当 ?X(X∈I0) = (?Y(INSTANCEOF(X)=Y)) 所有的信息对象都通过它们的域对象定义。 信息结点的信息内容由对象的INFO属性表示。INFO是一个二元组〈Position,Value〉, 其中Position指明在信息对象中Value的位置。;定义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)为假。 ;定义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)]]])];定义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[(GENER