English  |  正體中文  |  简体中文  |  Items with full text/Total items : 51510/86705 (59%)
Visitors : 8263637      Online Users : 90
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: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7129


    Title: 演繹式資料庫中整體限制檢查之研究
    Authors: 洪文斌
    Contributors: 淡江大學資訊工程研究所
    Keywords: 演繹式資料庫;整體限制檢查;演繹圖;否定資訊;邏輯程式;Deductive databases;Integrity constraint checking;Deduction graphs;Negativeinformation;Logic programming
    Date: 1993
    Issue Date: 2009-03-16 15:32:03 (UTC+8)
    Abstract: 整體性限制(Integrity constraints)是資料庫需強 制遵守之條件,以確保資料的正確性.當資料庫 有所異動時,整體性限制的檢查可發現不當之 交易並維持變更後資料的合法性.然而,若直接 對資料庫中龐大的資料量進行所有整體性限制 的檢查,將是非常沒有效率的,因為並非所有的 整體性限制,且非全部的資料和目前的交易有 關.為了有效率地檢查整體性限制,下列的兩個 基本原則應遵守.(1)只檢查受影響之整體性限制.(2)只檢查更新後資料庫中相關資料部份.考 察目前所提出的各種檢查法中,大都對第二個 原則進行深入的探討,至於對第一個原則,則甚 少提及.因此,在這些方法中,未受影響之整體性 限制仍將被無意義地檢查.本計畫將提出一個 符合上述兩項原則的有效率的檢查法適用於目 前最新的演繹式資料庫(Deductive databases).楊氏 所發展之演繹圖(Deduction graphs)將作為此項研究 之理論基礎.本計畫將首先加強演繹圖的功能,使其能處理演繹式資料庫中否定的資訊.然後, 根據已知的整體性限制建立一個限制檢查圖, 從該圖中得出四類不同的元素,用以簡易地偵 測出那些整體性限制受目前的交易所影響.若 某一整體性限制受影響,本計畫所提之檢查法 則根據交易之類別(加入或刪除一項資料,一條 法則,或一項限制)而施予不同之檢查.另外,本 計畫亦將探討檢查法之可能最佳化,以減少檢 查之次數和時間.
    Appears in Collections:[資訊工程學系暨研究所] 研究報告

    Files in This Item:

    There are no files associated with this item.

    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