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


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