會議論文
| 學年 | 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 ) |