教師資料查詢 | 類別: 會議論文 | 教師: 洪文斌 Horng Wen-bing (瀏覽個人網頁)

標題:正規演繹圖於演繹式資料庫中整體性限制檢查之應用 An Application of Normal Deduction Graphs to Integrity Constraint Checking in Deductive Databases
學年84
學期1
發表日期1995/12/21
作品名稱正規演繹圖於演繹式資料庫中整體性限制檢查之應用 An Application of Normal Deduction Graphs to Integrity Constraint Checking in Deductive Databases
作品名稱(其他語言)
著者洪文斌; 楊超植
作品所屬單位淡江大學資訊工程學系
出版者
會議名稱中華民國八十四年全國計算機會議=National Computer Symposium 1995 Republic of China
會議地點桃園縣, 臺灣
摘要整體性限制是資料庫必須遵守的條件,以確保資料的正確性。在本文我們根據正規演繹圖,提出一新的演繹式資料庫整體性限制檢查法。當定義一資料庫時,依據其法則和整體性限制先建立其限制檢查圖,以得出四類不同的元素(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.
關鍵字演繹圖;演繹式資料庫;整體性限制檢查;限制檢查圖;正規演繹圖;Deduction Graph;Deductive Database;Integrity Constraint Checking;Constraint Checking Graph;Normal Deduction Graph;Ndg
語言英文
收錄於
會議性質國內
校內研討會地點
研討會時間19951221~19951222
通訊作者
國別中華民國
公開徵稿Y
出版型式紙本
出處中華民國八十四年全國計算機會議論文集第一冊=Proceedings of National Computer Symposium 1995 Republic of China頁41283
相關連結
Google+ 推薦功能,讓全世界都能看到您的推薦!