摘要
提出作为多介质同步说明的形式模型——对象合成转换网(OCTN),并论证其在构造任何时态关系或多介质表达模型中是完备的。
The formal model called Object Composition Transition Net (OCTN) for specification of multimedia synchronization, which is copmplete for describing any temporal relation applicable to multimedia synchronization, is proposed.
出处
《厦门大学学报（自然科学版）》
CAS
CSCD
北大核心
1993年第6期685-688,共4页
Journal of Xiamen University：Natural Science
基金
福建省自然科学基金
关键词
多介质数据库
同步
数据库
转换网
Multimedia databases, Synchronization, Temporal relation, Transition net
