演繹式資料庫中整體限制檢查之研究

機構典藏 > College of Engineering > Graduate Institute & Department of Computer Science and Information Engineering > Research Paper > Item 987654321/7129

Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/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:	[Graduate Institute & Department of Computer Science and Information Engineering] Research Paper

Files in This Item:

There are no files associated with this item.

Loading...