概念模型的作用的的原型模型谁提出

当前位置: &
求翻译:Bar-on的情绪智力概念及理论模型1997年,Bar on提出,情绪智力是影响人应付环境需要和压力的一系列情绪的、人格的和人际能力的总合。他认为情绪智力是决定一个人在生活中能否取得成功的重要因素,直接影响人的整个心理健康。是什么意思?
Bar-on的情绪智力概念及理论模型1997年,Bar on提出,情绪智力是影响人应付环境需要和压力的一系列情绪的、人格的和人际能力的总合。他认为情绪智力是决定一个人在生活中能否取得成功的重要因素,直接影响人的整个心理健康。
问题补充:
Bar-on emotional intelligence concepts and theoretical models in 1997, Bar on proposed, emotional intelligence is influencing people to meet environmental needs and pressures of a series of emotional, personality and interpersonal skills combined. He believes that emotional intelligence is to determ
Bar - on the emotional mental concepts and theoretical models in 1997, Emotional Intelligence, Bar presented on the affected person to deal with environmental needs and pressures of a series of emotional, personality and interpersonal skills. He was of the view that Emotional Intelligence is to dete
The Bar-on mood intelligence concept and the theoretical model in 1997, Bar on proposed that, the mood intelligence is affects the human to deal with the requirements of environment and pressure a series of mood, the personality and interpersonal ability assembling.He thought the mood intelligence i
Bar-on conceptual and theoretical model of emotional intelligence in 1997, the Bar on suggested that emotional intelligence is affected people cope with environmental needs and pressures of a series of sum of all emotion, personality and interpersonal skills. He believes that emotional intelligence
Mood intelligence concept and theoretical model 1997 of Bar-on, Bar on proposes, the mood intelligence is a series of mood influencing people to deal with environment needing and pressure, sum total of personality and interpersonal ability. He think mood intelligence to determine important factor th
我来回答:
参考资料:
* 验证码:
登录后回答可以获得积分奖励,并可以查看和管理所有的回答。 |
我要翻译和提问
请输入您需要翻译的文本!&&& 据悉,日,在IEC/TC100(国际电工委员会/音频、视频和多媒体系统与设备技术委员会)战略咨询组会议上,IEC同意中国提出的智能概念模型技术国际标准提案的立项请求,并成立标准工作组,委任工业和信息化部电子工业标准化研究院范科峰担标准工作组组长。
&&& 据介绍,智能电视概念模型技术国际标准主要关注智能电视分类、应用场景、概念模型、标准化要素等。该标准以云计算、物联网和移动互联网为产业背景,提出中国自主技术的国际标准化推进思路。
?(07.18 13:42)?(07.18 09:43)?(07.17 17:16)?(07.17 14:13)?(07.17 10:12)
? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ?
精彩推荐暂无内容
?[专题]?[专题]?[专题]
标王热词推荐
?[液晶电视] 3590元
?[等离子电视] 5999元
?[家用投影机] 3599元
?[空调器] 8799元
下乡产品2699元
?[洗衣机] 3999元
?[热水器] 4000元
?[微波炉] 299元
?[吸油烟机] 1999元发信人:&sysword&(荆棘鸟★永远向前飞),&信区:&Multimedia&&&&&&&
标&&题:&一种面向对象的多媒体概念模型*&
发信站:&BBS&水木清华站&(Tue&Mar&&7&11:54:24&2000)
张&霞 刘积仁 李华天
摘&要&本文形式化地提出了一种适用于多媒体对象的概念模型OMCOM.文中首先分析
了多媒体数据模拟的特殊性,探讨了现有的多媒体数据模型的不足,从而提出了把
多媒体数据模拟划分为概念与表达两级模拟的思想:概念级模拟多媒体对象的内容
与结构;表达级模拟其表达,包括多媒体对象之间的时态关系和空间关系.OMCOM就
是一种用于实现概念级模拟的模型.然后根据多媒体概念模拟的需求,形式化地定
义了OMCOM的各个构成要素.最后根据OMCOM实例的格性质,建立了多媒体对象在概
念级的运算体系—对象代数,形式化地定义了其中的各种运算以及对象代数表达式
关键词&多媒体,面向对象数据库,数据模型,概念模拟,对象代数.
众所周知,在90年代的计算机领域中独领风骚的当属多媒体计算技术(multimedia
&computing),它的应用是90年代计算机的又一次革命.那么,什么是多媒体?媒
体(medium)是指信息的载体,可以是数字、字符、文本、图形、图象、声音和视
象,甚至可以是气味、味觉、触觉和温度.多媒体(multimedia)是指将多种信息
媒体(如文本、图形、图象、声音、视象等)进行计算机编组处理的技术.我们把
多媒体系统中所处理的数据叫做多媒体数据,包括数字、字符串、文本、图形、图
象、声音、视象等.对这些信息进行统一管理和运用的数据库,就是多媒体数据库
.多媒体数据库系统的应用前景十分广阔,可用于办公信息系统、地理信息系统、
CAD/CAM系统、期刊出版系统、医疗信息系统、机器人系统、生态仿真系统以及各
种军事应用系统.
多媒体数据库技术从作为传统数据库的一种高级应用开始,到作为适用于多媒体数
据的数据库管理系统,已经经历了近十年的研究与发展.人们根据自己的理解和应
用环境,设计各自的系统.目前,实现多媒体数据库系统的途径可分为三类:(1)扩
充关系数据库方法,如Informix-Online[1]、ORACLE&7.0、INGRES&6.0等;(2)面
向对象的方法,如MULTOS[2,&3]、OMEGA[4]、Zenith[5]等;(3)超文本(或超媒体
)的方法,如KMS[6]、Intermedia[7]等.关于多媒体DBMS应具备的一般特征,至今
尚未取得共识,在多媒体数据模拟方面表现尤为突出.
本文首先分析了多媒体数据模拟的特殊性,提出把多媒体数据模拟分为概念模拟和
表达模拟的思想,然后形式化地定义多媒体概念模型OMCOM,最后建立对象代数体
系,它是概念数据库查询的数学基础.
多媒体数据模拟的特点
多媒体数据具有复合性、分散性、时序性的特点.复合性指数据的形式多种多样,
可以是文本、图形、图象、声音、全动画视象,而且可以是通过各种信息单元集成
而得的复合对象.从结构上可分为两大类:一类是格式化数据,包括数字、字符;
另一类是非格式化数据,包括文本、图形、图象、声音和视象,非格式化数据具有
数据量极大、处理复杂等特点.分散性指有关联的数据可以分散地存储在不同的机
器、不同的设备上,可用不同的(甚至是异构的)数据库系统来存储与管理,这些
数据库可以是存储在光盘上的大型归档数据库,也可以是存储在高速磁盘上的动态
数据库.一些多媒体数据(如声音、视象)本身就是时序性的,而多媒体信息实体
之间的关系也可能是时序性的,因此在编组时要保证成员信息单元之间时间上的同
步/空间上的搭接,对实时性的数据要求更高.
多媒体数据的这种复合性、分散性、时序性对数据模拟提出如下需求[8,&9]:支持
丰富的数据类型及相应的处理;说明不完备信息;扩充个别对象的定义到其类型定
义之外;编组来自不同数据库的数据并加以一致性处理;描述结构化信息;模拟对
象的内部概念与外部表达;支持上下文无关和上下文有关的引用;支持数据共享;
支持版本的生成与控制;支持系统预定义的操作和用户定义的操作;支持对象的同
步与集成.然而,现有的多媒体数据模型均无法满足这些需求.我们把现有的多媒体
数据模型分为三类:关系数据模型、面向对象的数据模型和超文本数据模型.关系
数据模型没有捕捉数据实体之间的语义关系、时态关系和空间关系,有关的处理都
留给应用程序,通常基于关系数据模型的多媒体DBMS只实现多媒体数据的存取.尽
管超文本数据模型能够在一定程度上模拟多媒体对象之间的语义关系和时空关系,
但由于从本质上说,超文本是由语义网络加上浏览机制构成的,而面向对象的数据
模型在结构上也是一种受限的语义网络,超文本系统本身用面向对象的方法实现比
较合适.另外,封装性(面向对象的核心概念)适用于多媒体数据库中各种媒体数
据的不同存取与操作的实现.因此,我们认为用对象范例来建立多媒体数据模型是
三种方法中最适宜的一种方法.但是核心的面向对象的数据模型并不能完全满足多
媒体数据库的需求.研究表明,多媒体数据模型还应该具有如下几个方面的功能:
模拟非格式化数据(如文本、图形、图象、声音、视象)的内容;
允许有类型未定义的对象存在,类型只作为多媒体对象存在于数据库中的充分条件
,而不是必要条件;
捕捉多媒体对象之间更丰富的语义,如IS-PART-OF等;
捕捉多媒体对象之间的时间、空间关系;
模拟多媒体数据的表达,即抽象描述多媒体对象的播放(play-out),一方面要规
定表达的形式;另一方面还必须描述多媒体对象的播放时序关系和播放空间布局关
系,即模拟多媒体对象的时空编组.
为了便于实现,我们提出从概念和表达两个层次上模拟多媒体数据的思想,概念级
模拟多媒体对象的内容与结构;表达级模拟其表达,包括多媒体对象之间的时态关
系和空间关系.为此,我们分别设计了多媒体概念模型:OMCOM和多媒体表达模型:
演员模型,前者基于对象范例,在上述前三个方面对核心的面向对象的数据模型加
以增强;后者建立在前者之上,基于库所-时间区间Petri网,描述多媒体对象之
间的时态关系,同时引入与变迁相关联的场景表达式,描述多媒体对象之间的空间
关系,从而模拟多媒体数据的时空编组(详见文献[13,14]).
概念模型构成要素的形式定义
定义3.1&对象,结构上定义为
原子对象是一种对象,原子对象指的是在概念上不可再分割的数据,如数字、字&
符、文本、图形、图象、声音、视象型数据.
如果O、O'是对象,O'通过属性a引用O,且O的存在依赖于O'的存在,则我们称O&为
O'的依赖对象,表示为δO,依赖对象也是一种对象.
如果O1&,O2&,…,On&是对象,那么O=[a1&:O1&,&a2&:O2&,&…,&an&:On&]也是一种
对象,称&为元组对象,其中a1&,a2&,…,an&为可区分的属性名,Oi&又可以表示为
如果O1&,O2&,…,On&是对象,那么O=O1&,&O2&,&…&,&On&也是一种对象,称为集合
T&(不相容)和⊥(“无定义”)是两个特殊对象.
①令A=a1&,&a2&,&...,&an&为元组对象O的属性集,则
O=[a1&:O1&,&a2&:O2&,&...&,&an&:On&]?&"&x(x?&A→O.x=⊥)
O=[&]?&"&x(x∈A→O.x=⊥)
②[...&,&ai&:T&,&...]=&T&,...&,&T&,&...&=&T&
③δT&=T&,δ⊥=⊥
对象的所有形式均由原子对象通过(1)~(6)所确定的规则,经有限次复合而得,不
存在其他形式.
定义3.2&设O为任意对象,则对象O的值value(O),递归地定义为
如果O为原子对象,那么value(O)=O.
空值φ是一种值.这里,空值意味着“现在不知其值”.
如果O是O'的依赖对象,那么value(O)存在,当O'存在;value(O)不存在,当O'不
如果O=[a1&:O1&,&a2&:O2&,&...&,&an&:On&],那么
  value(O)=[a1&:value(O1&),&a2&:value(O2&),&...&,&an&:value(On&)]
如果O=O1&,&O2&,&...&,&On&,那么
  value(O)=value(O1&),&value(O2&),&...&,&value(On&)
在面向对象数据模型中,每个对象具有一个唯一的、不可改变的标识,这种标识提
供一种独立于对象的状态或表现来指称和引用对象的方法,在系统中,对象可以独
立于它的值而存在.在综合分析了现有的各种对象标识方法之后,我们认为用代理
值(surrogate)标识对象,对于大型分布式数据库系统是行之有效的.因为,用代
理值标识对象,不但能使对象标识完全独立于数据(即对象值)和地址(即存储位
置),而且易于保证它的唯一性、连续性和稳定性:每个对象的代理值在多机、多
用户、多程序的整个分布式环境中是唯一的;代理值由系统自动产生,允许有一定
特权的用户读出该代理值,但系统从不、也不允许用户对代理值进行修改,从而使
之保持连续性;代理值与其所代表的对象一一对应,即任一对象的代理值不得为空
值,也不得多于一个,同时不存在无对象与之对应的代理值.在OMCOM中,对象可分
为原子对象和非原子对象两类,原子对象又可分为格式化原子对象和非格式化原子
对象两类.格式化原子对象的对象标识以该对象的值来表示;非格式化原子对象包
括文本、图形、图象、声音和视象,这种对象的对象标识以代理值来表示.对于独
立非原子对象而言,其对象标识也以代理值来表示;而依赖非原子对象的对象标识
以该对象的值来表示.
在OMCOM中,用型来总括具有相同特征的对象集合的共同特征.型的定义实质上就是
这些共同特征的抽象描述.
定义3.3&型,结构上定义为
原子型是一种型,原子型指在概念上不可再分割的型,包括数字型、字符型、文本
型、图形型、图象型、声音型、视象型.
“无定义”型(表示为⊥)也是一种型.
如果t、t'是型,t'通过属性a引用t,且t的存在依赖于t'的存在,则我们称t为t'
的依赖型δt,依赖型也是一种型.
如果t1&,&t2&,&...&,&tn&是型,那么t=[a1&:t1&,&a2&:t2&,&...&,&an&:tn&]也是
型,称为元组型,其中a1&,&a2&,&...&,&an&为可区分的属性名.
如果t'是型,那么t={t'}也是型,称为集合型.
型的所有形式均按(1)~(5)所确定的规则,经有限次复合而得,不存在其他形式.
从上述定义可知,型的属性的定义域可以是任意型,可以是原子型、“无定义”型
、依赖型、集合型或元组型.其中,“无定义”型的引入是为了满足“多媒体数据
库中应允许有类型未定义的对象存在”的需求,允许动态定义对象的类型,即在生
成对象时,定义对象的类型;依赖型的引入是为了捕捉多媒体对象之间的
IS-PART-OF语义;另外,型的一个属性的定义域也可以是该型本身,即允许递归定
义的型存在.系统所支持的原子型可分为基本集和扩充集两部分,基本集沿用C++的
全部类型集,其中用“void&*”表示指向类型未定义对象的指针;扩充集是为了支
持多媒体数据的存取而增加的类型集合,包括text、graphics、image、audio和
类是由共享同一属性和方法集合(即具有相同特征)的对象组合在一起构成的.在
数据库中对象必须作为类的实例而存在,且只属于一个类,对象与类的关系反映
instance-of联系.类与型是两个不同的概念,型定义特征,而类定义具有某种特征
(型)的对象集合,即可以把类视为型的域.
定义3.4&类
  假设t为任意型,则t的类D(t)定义为
如果t为原子型,则D(t)í&〈预定义的域〉,其中,预定义的域是由全部有具预定
义型的对象所构成的集合.
如果t为“无定义”型,则D(t)í&∪n&i=1&(〈预定义的域〉),其中,n为系统
所支持预定义型的个数.
如果t是t'的依赖型δt,则D(δt)=δD(t),即依赖型δt的类,构成依赖类,它的
全部实例依赖于D(t')的实例的存在而存在.
如果t是元组型,即t=[a1&:t1&,&a2&:t2&,&...&,&an&:tn&],则
    D(t)=a1&:D(t1&)×a2&:D(t2&)×…×an&:D(tn&)
如果t是集合型,即t={t'},则D(t)={O|O∈D(t')}
类的所有形式形式均按(1)~(5)所确定的规则,经有限次复合而得,不存在其他形
OMCOM允许用户从现有型中导出新的子型,所有的型组成一个有根的有向无环图,
我们称之为型层系.一个型从其型层系中直接或间接祖先那里2&,&...&,&an&为可区
分的属性名.
如果t'是型,那么t={t'}也是型,称为集合型.&型的所有形式均按(1)~(5)所确定
的规则,经有限次复合而得,不存在其他形式.
从上述定义可知,型的属性的定义域可以是任意型,可以是原子型、“无定义”型
、依赖型、集合型或元组型.其中,“无定义”型的引入是为了满足“多媒体数据
库中应允许有类型未定义的对象存在”的需求,允许动态定义对象的类型,即在生
成对象时,定义对象的类型;依赖型的引入是为了捕捉多媒体对象之间的
IS-PART-OF语义.
另外,型的一个属性的定义域也可以是该型本身,即允许递归定义的型存在.系统
所支持的原子型可分为基本集和扩充集两部分,类是由共享同一属性和方法集合(
即具有相同特征)的对象组合在一起构成的.在数据库中对象必须作为类的实例而
存在,且只属于一个类,对象与类的关系反映instance-of联&Is,s'&(x2&),&...,
&Is,s'&(xn&)},&xi&?&D(s).
定义3.6&型层系
型层系H是一种有根的有向无环图,其中结点来自型集合TypeSet,边&s,&t&(s,&
t∈TypeSet)表示ISA映射:Is,t&:D(s)&→&D(t),则型s叫做型t的子型,当且仅
当存在型t1&,&...,&tn&,&n≥2,使s=t1&,t=tn&,并且&ti&,&ti+1&&∈H,&i=1,.
..,n-1.如果n=2,则s叫做t的直接子型.如果s是t的子型,则t也叫s的超型.
定义3.7&方法
方法定义为一个三元组M=&&(t,&m),&s,&b&&,其中,
(t,&m)∈TypeId×MethId,其中,TypeId为型标识符的有限集合,MethId为方法标
识符的有限集合;t为型标识符,m为方法标识符,t为m所作用的型,一个方法标识
符m可以应用于多个型,系统支持多态性.
(t,&m)&→&(t1&,&...&,&tn&,&t')∈TypeId*&×TypeId,是方法的说明部 (
signature),其中,t1&,&...&,&tn&为方法的参变量型,t'为方法的结果型.
(t,&m)&→&beh∈BehSet,是该方法的实现部,定义方法的语义(即行为).其中,
beh是实现该方法的程序,BehSet是实现方法的程序集合.
定义3.8&私有方法
设t为任一型,我们把直接在型t上实现的方法叫做私有方法.如果用Ms(t)来表示型
t的私有方法集,用Ms+&(t)来表示作用于t的全部方法的集合,则下式成立:
    Ms(t)í&Ms+&(t)
定义3.9&继承方法
设有任一方法(t,&m)∈Ms+&(t),但(t,&m)?&Ms(t),则$&s&&t,&s&∈H(即一定存
在t的一个超型s),使(s,&m)∈Ms(s)(即m在s上直接实现),则(t,&m)叫做t的来
自于s的继承方法.如果$&s1&,&...&,&sn&&t,&s1&&,&...&,&&t,&sn&&∈H(n≥2)
,使(s1&,&m)∈Ms(s1&),&...&,&(sn&,&m)∈Ms(sn&),则(t,&m)至多只能继承其中
的一个方法(si&,&m),&1≤i≤n.
定义3.10&概念模式
概念模式C是一个六元组C=&TypeId,&TypeDef,&H,&MethId,&MethSign,&MethImp&,
TypeId为型标识符的有限集合;
TypeDef:&TypeId→型的结构定义;
H为型层系;
MethId为方法标识符的有限集合;
MethSign:&TypeId×MethId→TypeId*&×TypeId,定义方法的说明部;
MethImp:&TypeId×MethId→BehSet,定义方法的实现部.
定义3.11&概念数据库实例
设C为任一概念模式,则Instancec,T&={Vt,T&|t∈TypeId}是概念模式C在时刻T的
一个合法的概念数据库实例,当如下条件成立:
Vt,T&是从ObjId(对象标识的无限可数集合)到D(t)的一个入射(injection),
即oid1&,&oid2&∈ObjId,oid1&≠oid2&→Vt,T&(oid1&)≠Vt,T&(oid2&),亦即
Vt,T&(oid1&)=Vt,T&(oid2&)→oid1&=oid2&
我们把在时刻T型t的类中实例的对象标识符的集合表示为ObjIdT&(t).
如果s,t∈TypeId,且&s,&t&∈H,则ObjIdT&(s)∪ObjIdT&(t),且 Vt,T&=Is,t&
·Vs,T&,其中,“·”表示函数复合.
如果s,&t∈TypeId,&a:s(或a:δs)出现在型t的结构定义TypeDef(t)中,则下式
必须成立:
"&x∈Vt,T&(ObjId)在结点a:s(或a:δs)有值a:oid&→&oid∈ObjIdT&(s)
即只允许引用现有对象,数据库中不允许有对不存在对象的引用.
设t∈TypeId,oid∈ObjIdT&(t),s∈TypeId,o∈ObjIdT&(s),a:δs出现在型t的
结构定义TypeDef(t)中,在Vt,T&(oid)中a:δs的值是a:o,则Vs,T&(o)依赖于Vt,T
&(oid)的存在而存在.
定义4.1&对象相等,递归地定义为
  设A、B为任意两个对象,
如果A、B为原子对象,且A、B相同,则两者相等.
如果A、B为元组对象,其属性集分别为Attr(A)、Attr(B),则A=B的充要条件是A与
B各对应属性值均相等,即
A=B&?&"&x[(x∈Attr(A)∧A.x≠⊥)→(x∈Attr(B)∧A.x=B.x)]
∧Αx[(x∈Attr(B)∧B.x≠⊥)→(x∈Attr(A)∧B.x=A.x)]&
如果A、B为集合对象,则A=B的充要条件是A、B中元素成对相等,即
A=B&?&"&a[a∈A→$&b(b∈B∧a=b)]∧"&b[b∈B→$&a(a∈A∧b=a)]
定理4.1&对象相等关系=满足自反性、对称性和传递性,即
(2)&O1&=O2&→O2&=O1&;
(3)&O1&=O2&∧O2&=O3&→O1&=O3&.
此定理可以从对象的定义以及对象相等关系的定义直接证明.
定义4.2&子对象关系
  对象集合θ上的子对象关系≤,递归定义为
对于原子对象O1&,O2&∈θ,O1&≤O2&?&O1&=O2&;
对于依赖对象δO1&,δO2&∈θ,δO1&≤δO2&?&O1&≤O2&;
对于属性集分别为A1&、A2&的元组对象O1&,O2&∈θ,
O1&≤O2&?&"&x[x∈A1&→O1&.x=⊥∨(x∈A2&∧O1&.x≤O2&.x)]
对于集合对象O1&,O2&∈θ,O1&≤O2&?&"&x[x∈O1&→$&y(y∈O2&∧x≤y)]
"&O(O∈θ→O≤T&),即对象集合θ上的任意对象均为T&(不相容)的子对象;"&
O(O∈θ→⊥≤O),即⊥(“无定义”)为对象集合θ上的任意对象的子对象.
定义4.3&子对象,超对象
  设任意对象O1&,O2&∈θ,θ为所有对象组成的集合,如果O1&≤O2&成立,则
称O1&为O2&的子对象,O2&为O1&的超对象.
定义4.4&成员对象关系<
  对象集合θ上的成员对象关系<,递归定义为
对于原子对象O∈θ,O<O;
对于对象T&、⊥,有T&<T&,⊥<⊥;
对于属性集为A的元组对象O∈θ,"&a[a∈A→O.a<O];
对于集合对象O∈θ,"&x[x∈O→x<O];
设任意O1&,O2&,O3&∈θ,如果O1&<O2&,O2&<O3&,则O1&<O3&.
定义4.5&成员对象
设任意对象O1&,O2&∈θ,θ为所有对象组成的集合,如果O1&<O2&成立,则称O1
&为O2&的成员对象.
从定义可以看出,成员对象关系<满足传递性,与子对象关系的概念不同,成员对
象关系描述的是一个对象与其构成分之间的关系.成员对象可以用成员对象标识符
来表示:设任意对象O1&,O2&∈θ,有O1&<O2&,则O1&的成员对象标识符为O2&.
定理4.2&子对象关系≤是对象集合θ上的一个偏序关系.(证明过程详见文献[14]
定义4.6&对象并∪
  设O1,O2&为任意两个对象,
对于任意对象O,O∪T&=T&,O∪⊥=O,O∪O=O;
如果O1,O2&为原子对象,且O1&≠O2&,则O1&∪O2&=T&;
如果O1,O2&在最高层次上具有不同种类的结构,则O1&∪O2&=⊥;
如果O1,O2&为元组对象,它们的属性集分别为A1&、A2&,设A1&∪A2&={&a1&,&
a2&,&...&,&an&};对于i=1,&2,&...&,&n,相应于属性ai&,O1,O2&的成员对象分
别为&O1i,O2i&(若ai&?&A1&,则O1i&=⊥;若ai&?&A2&,则O2i&=⊥).
如果"&i[i∈1,&...&,&n→O1i&∪O2i&≠T&],
则O1&∪O2&=[a1&:O11&∪O21&,&...&,&an&:O1n&∪O2n&];否则O1&∪O2&=T&;
如果O1,O2&为集合对象,则O1&∪O2&为两个集合的并,即
O1&∪O2&={&o&|o∈O1&∨o∈O2&};
对象并∪运算按(1)~(5)所确定的规则,经有限次递归进行,不存在其他形式.
定义4.7&对象交∩
  设O1,O2&为任意两个对象,
对于任意对象O,O∩⊥=⊥,O∩T&=O,O∩O=O;
如果O1,O2&为原子对象,且O1&≠O2&,则O1&∩O2&=⊥;
如果O1,O2&在最高层次上具有不同种类的结构,则O1&∩O2&=⊥;
如果O1,O2&为元组对象,它们的属性集分别为A1&、A2&,设A1&∪A2&={&a1&,&
a2&,&...&,&an&};对于i=1,&2,&...&,&n,相应于属性ai&,O1,O2&的成员对象分
别为O1i,O2i&(若ai&?&A1&,则O1i&=⊥;若ai&?&A2&,则O2i&=⊥). 
如果"&i[i∈1,&...&,&n→O1i&∩O2i&=⊥],则O1&∩O2&=[&];
否则O1&∩O2&=[a1&:O11&∩O21&,&...&,&an&:O1n&∩O2n&];
如果O1,O2&为集合对象,则O1&∩O2&为两个集合的交,即
O1&∩O2&={&o&|o∈O1&∧o∈O2&};
对象交∩运算按(1)~(5)所确定的规则,经有限次递归进行,不存在其他形式.
定理4.3&对象集合θ关于子对象关系≤构成一个格.(证明过程详见文献[14])
  我们把格<θ,≤>称为对象格.由定理4.3的证明[14]可知,对于任意的O1&
,O2&∈θ,O1&∪O2&等于O1&和O2&的最小上界,O1&∩O2&等于O1&和O2&的最大下
界,因此,对象格<θ,≤>诱导出一个代数系统<θ,∪,∩>.根据格及其所
诱导的代数系统的性质,我们得出如下结论:
定理4.4&对于任意a,b,c∈θ,有
   L1:a∪b=b∪a,a∩b=b∩a             (交换律)
   L2:a∪(b∪c)=(a∪b)∪c,a∩(b∩c)=(a∩b)∩c   (结合律)
   L3:a∪a=a,a∩a=a                (幂等律)
   L4:a∪(a∩b)=a,a∩(a∪b)=a           (吸收律)
即对象集合θ上的两个运算:对象并∪和对象交∩满足交换律、结合律、幂等律和
从本质上讲,从数据库中检索数据是提取对象的子对象的过程,为了便于描述提取
子对象的过程,我们在对象格<θ,≤>及其所诱导的代数系统<θ,∪,∩>的
基础上,引入如下运算,这些运算与对象并∪和对象交∩运算一起在对象集合θ上
构成一个代数系统,我们称之为对象代数.
由于对象代数运算不局限于对象的某一层,可能涉及到一个复杂对象的各个层次,
例如,提取子对象的子对象.因此,对象变量的标识体系必须能够明确区分相应于
复杂对象的各个层次的变量,我们采用前面所叙述的成员对象标识符来表示具有任
意复杂结构的对象变量.
定义4.8&对象差-
  设任意两个对象O1&,O2&∈θ
对于任意对象O∈θ,O-⊥=O,⊥-O=⊥,O-T&=⊥,T&-O=T&,O-O=⊥
如果O1,O2&为原子对象,且O1&≠O2&,则O1&-O2&=O1&
如果O1,O2&在最高层次上具有不同种类的结构,则O1&-O2&=O1&
如果O1,O2&为集合对象,则O1&-O2&为两个集合的差,即
O1&-O2&={o|o∈O1&∧o?&O2&}
如果O1,O2&为元组对象,设O1,O2&的属性集为A1&、A2&,其中A1&={a1&,&a2&,&
...&,&an&},则O1&=[a1&:O11&,&a2&:O12&,&...&,&an&:O1n&],相应于属性ai&
(i=1,&...&,n),&O2&的成员对象为O2i&(如果ai&?&A2&,则O2i&=⊥),则O1&-O2
&=[a1&:O11&-O21&,&a2&:O12&-O22&,&...&,&an&:O1n&-O2n&]
对象差-运算按(1)~(5)所确定的规则,经有限次递归进行,不存在其他形式.
从OMCOM的形式定义来看,在结构上,传统的关系模型是它的特例.关系代数中的两
个基本运算:投影和选择,是根据关系模型中关系的二维表格的结构特征而定义的
.投影被用来从一个关系中选取某些特定的属性,而选择被用来从一个关系中选取
具备某些条件的元组.两种运算均具有封闭性,即运算的结果也是关系,但投影运
算的结果与原关系在内涵上有所改变,选择运算的结果与原关系在外延上有所变化
.那么在对象代数中是否也应该定义这样两种运算?如果从OMCOM的角度出发,把一
个关系对象看作元组的集合,即R={O1&,&...&,&On&},则投影运算选取各元组对象
的子对象,这些子对象具有相同的属性,运算结果为这些子对象所构成的集合,即
R'={O'1&,&...&,&O'n&},其中O'i&≤Oi&(i=1,&...&,&n);而选择运算选取集合
{O1&,&...&,&On&}的子集,其结果为集合对象R的一个子对象R'≤R.就OMCOM而言,
投影与选择运算的作用是相同的,即选取子对象.另一方面,从对象的定义可以看
出,对象是递归定义的,元组与集合两种构造子具有正交性,即元组对象的属性对
象可以是集合对象,而集合对象的元素可以为元组对象.因此,在对象代数中不宜
单独定义投影运算和选择运算.基于这种想法,我们定义了一种统一的选取子对象
的运算,命名为映择,符号表示为Γρ,其中Γ为映择运算符;ρ为映择表达式,
确定映择的条件.
定义4.9&对象映择Γρ&
设任意对象O∈θ,则对象O关于表达式ρ的映择运算定义为
     O'=Γρ(O),O'∈θ
且下式成立:
     O'≤O∧O'满足ρ
其中,ρ为映择表达式,确定映择运算的条件,其递归定义如下:
φ(空),是映择表达式.
谓词表达式,是映择表达式.谓词表达式的运算对象为常量或属性对象变量(用&成
员对象标识符范例表示);运算符可以包括算术比较运算符(<、=、>、≤、&
≥、≠、∈)和逻辑运算符(∧、∨、?&).
如果ρ1&,&ρ2&,&...&,&ρn&为映择表达式,则ρ=[a1&:ρ1&,&...&,&an&:ρn&]
为映择表达式.如果n=1,则[&]可以省略;如果ρi&=φ,则ai&:ρi&可表示为ai&
如果ρ'为映择表达式,则ρ={&ρ'}为映择表达式,最外层可以省略.
在OMCOM中,元组对象具有复杂的层次结构关系,元组对象的属性对象可以为元组
、集合等,因此,关系代数中一个十分重要的运算—连接(join)的定义对于
OMCOM中的元组对象并不适用.为了提供类似的功能,我们重新定义了连接(join)
定义4.10&对象连接C&
  设O1,O2&为组成元素为元组对象的集合对象,
   O1&=[a1&:O11&,&...&,&an&:O1n&,&c1&:O'11&,&...&,&ck&:O'1k&]
   O2&=[b1&:O21&,&...&,&bm&:O2m&,&c1&:O'21&,&...&,&ck&:O'2k&]
其中,c1&,&...&,&ck&为两个对象的公共元组对象属性,n≥0,m≥0,k≥0,且
n+k>0,m+k>0,则O1&、O2&的对象连接C&定义为
   O1C&O2&={O|O=[a1&:O11&,&...&,&an&:O1n&,&b1&:O21&,&...&,&bm&:O2m&,
       c1&:O'11&∩O'21&,&...&,&ck&:O'1k&∩O'2k&]
        ∧O'11&∩O'21&≠⊥∧…∧O'1k&∩O'2k&≠⊥}
其中,∩为对象交运算的扩充,定义为
对于任意i=1,&2,&...&,&k,有
如果O'1i&为集合对象,且O'2i&∈O'1i&,则O'1i&∩O'2i&=O'2i&;如果O'2i&为集
合对象,且O'1i&∈O'2i&,则O'1i&∩O'2i&=O'1i&;
对于其他任何情况,O'1i&∩O'2i&=O'1i&∩O'2i&,∩为前文所定义的对象交运算
关系代数中的自然连接运算是对象连接C&运算的特例,因为,关系是元组对象的属
性对象均为原子对象的集合对象,对于原子对象O1&、O2&而言,若O1&∩O2&≠⊥,
则O1&=O2&,而对应公共属性相等正是自然连接的条件.因此,在这种情况下,对象
连接运算变成了自然连接运算.
定义4.11&对象σ-连接C&xσy&
  设O1,O2&为组成元素为元组对象的集合对象,
 &O1&=[a1&:O11&,&...&,&an&:O1n&],O2&=[b1&:O21&,&...&,&bm&:O2m&]&(n&0,
则O1&与O2&的对象σ-连接C&xσy&定义为
O1C&xσy&O2&={O|O=[a1&:O11&,&...&,&an&:O1n&,&b1&:O21&,&...&,&bm&:O2m&
其中,x、y分别为O1&、O2&的属性,以成员对象标识符表示;σ为算术比较运算符
,可以是<、=、>、≤、≥、≠、∈.
对象和对象代数运算的组合,就构成了对象代数表达式,其递归定义如下:
定义4.12&对象代数表达式
对象本身是一个对象代数表达式;
如果A是对象代数表达式,那么Γρ(A)也是对象代数表达式;
如果A、B是对象代数表达式,那么AC&B、AC&xσy&B、A∪B、A∩B和A-B也是对象
代数表达式;
如果A是对象代数表达式,那么(A)也是对象代数表达式;
在对象代数表达式中,()运算优先级最高,其他运算符优先级相同,运算符Γρ&
服从右结合,运算符C&、C&xσy&、∪、∩和-服从左结合;
对象代数表达式的所有形式均按(1)~(5)所确定的规则经有限次复合求得,不
存在其他形式.对象代数表达式的结果也是对象.
本文提出了一种面向对象的多媒体概念模型OMCOM,形式化地定义了它的基本构成
要素及其运算体系—对象代数.为了满足多媒体数据库概念模拟的需求,OMCOM对核
心的面向对象数据模型进行了扩充:允许有类型未定义的对象存在;提出了依赖对
象的概念,以便捕捉多媒体对象之间的IS-PART-OF语义;允许用户利用OMCOM所支
持的丰富的语义抽象机制,对非格式化数据的内容进行概念模拟.文中还提出了
ISA映射和型层系的概念,来形式化地描述OMCOM的概括(generalization)抽象.
根据OMCOM中实例对象的结构特点,形式化地定义了对象相等、子对象和成员对象
三种关系,基于它们的定义与性质,建立了多媒体对象在概念级的查询运算体系—
对象代数,赋予对象并、交、差、连接和σ-连接以新的含义,并且提出了一种新
的对象代数运算—对象映择,最后提出了由对象和对象代数运算组合而成的对象代
建立在这种新的数据模拟观念上的多媒体数据库程序设计语言M**及其应用开发环
境M**Base的实验原型已部分实现,该系统建立在东北大学软件中心开发的分布式
多媒体数据存取系统OpenBASE之上.
Shetler.&Birth&of&the&BLOB.&Byte.&):221-226
Meghini,&et&al.&Conceptual&Modeling&of&Multimedia&Documents&Computer.&
Bertino,&et&al.&Query&Processing&in&a&Multimedia&Document&System.&ACM&
TOOIS.&6:1(1988),&1-14
Yoshifumi&Masunaga.&Design&Issues&of&OMEGA:&An&Object-oriented&
Multimedia&Database&Management&System.&Journal&of&Information&
Processing.&):60-73
P.&Kemp,&et&al.&Zenith&system&for&object&management&in&distributed&
multimedia&design&environments.&Information&and&software&technology.&
M.&Akscyn,&et&al.&KMS:&A&distributed&hypermedia&system&for&managing&
knowledge&in&organizations.&communications&of&the&ACM.&31(7):820-835
J.&Haan,&et&al.&IRIS&Hypermedia&Services.&Communication&of&the&ACM.&
B.&Berra,&et&al.&Architecture&for&Distributed&Multimedia&Database&
System.&Computer&Communications.&):217-231
Klas,&et&al.&Using&an&Object-oriented&Approach&to&Model&Multimedia&Data.
&Computer&Communications.&):204-215
Davcev,&et&al.&Distributed&Multimedia&Information&Retrieval&System.&
Computer&Communications.&):177-184
Thomas&D.&C.&Little,&et&al.&Synchronization&and&Storage&Models&for&
Multimedia&Objects.&IEEE&J.&on&Selected&Areas&in&Communications.&1990,&
8(3):413-427
D.&Straube,&et&al.&Queries&and&Query&Processing&in&Object-Oriented&
Database&Systems.&ACM&TOIS.&):387-430
Zhang&Xia,&Liu&Jiren&and&Li&Huatian.&MOPOM:&An&Object-Oriented&
Multimedia&Data&Presentation&Model.&Advances&in&Modeling&and&Analysis.&
张霞.&基于对象范例和Petri网的多媒体数据库模型、语言及其实现.&博士学位论
文.&沈阳:东北大学.1994
An&Object-Oriented&Multimedia&Conceptual&Model
Zhang&Xia&Liu&Jiren&Li&Huatian
Abstract&This&paper&presents&a&formal&conceptual&model&for&multimedia&
objects,&namely,&OMCOM&(Object-oriented&Multimedia&Conceptual&Model).&
First,&the&particularities&of&the&multimedia&data&modeling&are&analyzed,
&the&inadequacies&of&existing&multimedia&data&models&are&discussed.&As&a
&result,&the&idea&is&proposed&that&multimedia&data&modeling&should&be&
divided&into&two&layers:&one&is&the&conceptual&layer&which&models&the&
contents&and&structures&of&multimedia&objects,&and&the&other&is&the&
presentation&layer&which&models&their&presentations&including&their&
temporal&and&spatial&relationships.&OMCOM&is&the&model&used&to&implement
&the&conceptual&modeling.&Secondly,&the&formal&definitions&of&the&
elements&in&OMCOM&are&given&according&to&the&requirements&of&
multimedia&conceptual&modeling.&Finally,&object&algebra&is&defined,&
which&is&based&on&the&lattice&property&of&OMCOM&instances.&Object&
algebra&is&the&system&of&operations&over&multimedia&objects&on&the&
conceptual&layer.&The&formal&definitions&of&object&algebra&operators&and
&expressions&are&given.
Key&words&Multimedia,&object-oriented&database,&data&model,&conceptual&
modeling,&object&algebra
作者简介:张霞,女,1965年生,博士,副教授,主要研究领域为多媒体数据库,
刘积仁,1955年生,教授,博士导师,主要研究领域为分布式多媒体信息处
理方法学及支撑平台,协议工程.
李华天,1922年生,教授,博士导师,主要研究领域为计算机网络,协议工
程,分布式系统中的多媒体应用.
注:本文发表在《软件学报》1996年第7卷增刊.
&┏━━━━━━━━━━━━━━┓
&┃sysword&&&&&柳云飞&&&&&北京&┃
&┃荆棘鸟★永远向前飞&&&&&&&&&&┃
&┃Oicq:437236&&&&icq:&┃
&┃email:&&┃
&┗━━━━━━━━━━━━━━┛
※&来源:·BBS&水木清华站&smth.org·[FROM:&162.105.23.183]
& NewSMTH.Net. The Selene Project.

我要回帖

更多关于 模型或原型的制作 的文章

 

随机推荐