淡江大學機構典藏:Item 987654321/95825
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 62797/95867 (66%)
造访人次 : 3742079      在线人数 : 536
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: 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 ©   - 回馈