淡江大學機構典藏:Item 987654321/95756
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 62797/95867 (66%)
Visitors : 3746733      Online Users : 549
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/95756


    Title: Multimedia Database Modeling with Z Notations
    Authors: Shih, Timothy K.;Keh, Huan-Chao;Chao, T. Fang-Tsou
    Contributors: 淡江大學資訊工程學系
    Keywords: 多媒體資料庫;Z符號;正式規格;Multimedia Database;Z Notation;Formal Specification
    Date: 1996-12
    Issue Date: 2014-02-13
    Abstract: 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.
    Relation: Proceedings of 1996 International Computer Symposium -- International Conference on Distributed Systems, Software Engineering, and Database Systems,頁52-59
    Appears in Collections:[Graduate Institute & Department of Computer Science and Information Engineering] Proceeding

    Files in This Item:

    File SizeFormat
    Multimedia Database Modeling with Z Notations_英文摘要.docx19KbMicrosoft Word250View/Open

    All items in 機構典藏 are protected by copyright, with all rights reserved.


    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - Feedback