Multimedia Database Modeling with Z Notations

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 會議論文 > Item 987654321/95756

請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/95756

題名:	Multimedia Database Modeling with Z Notations
作者:	Shih, Timothy K.;Keh, Huan-Chao;Chao, T. Fang-Tsou
貢獻者:	淡江大學資訊工程學系
關鍵詞:	多媒體資料庫;Z符號;正式規格;Multimedia Database;Z Notation;Formal Specification
日期:	1996-12
上傳時間:	2014-02-13
摘要:	The advantages of using a formal specification are in its precise definition of object properties and its declarative description of operations of a system. The Z notation is used widely in the literatures of formal system designs and the researches of language semantics. In line with the rapid growing of multimedia computation researches, we use the Z notation to design a multimedia database supports the reuse of multimedia presentations. In this paper, a formal specification of the database is presented. The database consists of two layers: the frame layer and the resource layer . A frame group in the first layer is the basic presentation unit to be reused. A resource group in the second layer is a collection of resources to be used by a frame, or a frame group. In the hierarchy, we use four type of links to group frames and/or resources. The database is built on the top of a commercial object- oriented database server and run under a windowing system.
關聯:	Proceedings of 1996 International Computer Symposium -- International Conference on Distributed Systems, Software Engineering, and Database Systems，頁52-59
顯示於類別:	[資訊工程學系暨研究所] 會議論文

文件中的檔案:

檔案	大小	格式	瀏覽次數
Multimedia Database Modeling with Z Notations_英文摘要.docx	19Kb	Microsoft Word	250	檢視/開啟

在機構典藏中所有的資料項目都受到原著作權保護.

TAIR相關文章