Multimedia Database Modeling with Z Notations
學年 85
學期 1
發表日期 1996-12-19
作品名稱 Multimedia Database Modeling with Z Notations
作品名稱（其他語言）
著者 Shih, Timothy K.; Keh, Huan-Chao; Chao, T. Fang-Tsou
作品所屬單位 淡江大學資訊工程學系
出版者
會議名稱 1996 International Computer Symposium: International Conference on Distributed Systems, Software Engineering, and Database Systems
會議地點 高雄, 臺灣
摘要 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.
關鍵字 多媒體資料庫;Z符號;正式規格;Multimedia Database;Z Notation;Formal Specification
語言 en
收錄於
會議性質 國際
校內研討會地點
研討會時間 19961219~19961221
通訊作者
國別 TWN
公開徵稿 Y
出版型式 紙本
出處 Proceedings of 1996 International Computer Symposium -- International Conference on Distributed Systems, Software Engineering, and Database Systems，頁52-59
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95756 )

機構典藏連結