淡江大學機構典藏:Item 987654321/95825
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 62805/95882 (66%)
造訪人次 : 3884484      線上人數 : 460
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧：
  • 您可在西文檢索詞彙前後加上"雙引號"，以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋，建議至進階搜尋限定作者欄位，可獲得較完整資料
    •  進階搜尋


    請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/95825


    題名: 正規演繹圖於演繹式資料庫中整體性限制檢查之應用 An Application of Normal Deduction Graphs to Integrity Constraint Checking in Deductive Databases
    作者: 洪文斌;楊超植
    貢獻者: 淡江大學資訊工程學系
    關鍵詞: 演繹圖;演繹式資料庫;整體性限制檢查;限制檢查圖;正規演繹圖;Deduction Graph;Deductive Database;Integrity Constraint Checking;Constraint Checking Graph;Normal Deduction Graph;Ndg
    日期: 1995-12
    上傳時間: 2014-02-13
    摘要: 整體性限制是資料庫必須遵守的條件,以確保資料的正確性。在本文我們根據正規演繹圖,提出一新的演繹式資料庫整體性限制檢查法。當定義一資料庫時,依據其法則和整體性限制先建立其限制檢查圖,以得出四類不同的元素(Literals),用來簡易地判斷出哪些整體性限制會被目前的更新所影響。假如某一整體性限制會受影響,那麼,本文所提出之檢查法即可依據更新類別(如:加入或刪除事實、法則、或整體性限制)之不同,而施予不同之檢查。本法的優點是它去除了其他現存方法的缺點,例如:只有和受影響的整體性限制相關的隱含更新可被有效地算出,以前所得出的取代可被重複地使用,以及它沒有線性證明程序的低效率問題。
    Integrity constraints are conditions that a database is enforced to obey at any time so that it is guaranteed to be in a legal state. In this paper, a new approach for integrity constraint checking in deductive databases is proposed based on the new inference tool of normal deduction graphs. In this method, the constraint checking graph associated with a database is constructed based on the given rules and integrity constraints when the database is defined. Four sets of literals derived from the above graph are then used to detect whether an update affects any integrity constraints in order to avoiding unnecessary checkings. If it does, the proposed checking algorithm is then applied, depending on different update type: the insertion or the deletion of a fact, a rule, or an integrity constraint. The checking method has the advantages that only the implicit updates relevant to the affected integrity constraints are efficiently computed, substitutions obtained before can be reused, and it does not have the inefficiencies of linear proof procedures.
    關聯: 中華民國八十四年全國計算機會議論文集第一冊=Proceedings of National Computer Symposium 1995 Republic of China，頁41283
    顯示於類別:[資訊工程學系暨研究所] 會議論文

    文件中的檔案:

    檔案 描述 大小格式瀏覽次數
    正規演繹圖於演繹式資料庫中整體性限制檢查之應用_中文摘要.docx摘要20KbMicrosoft Word122檢視/開啟
    正規演繹圖於演繹式資料庫中整體性限制檢查之應用_英文摘要.docx摘要20KbMicrosoft Word83檢視/開啟

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

    TAIR相關文章

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