English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 49189/83570 (59%)
造訪人次 : 7089645      線上人數 : 40
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7129


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

    文件中的檔案:

    沒有與此文件相關的檔案.

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

    TAIR相關文章

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