跳到主要內容

臺灣博碩士論文加值系統

(44.212.99.208) 您好!臺灣時間:2024/04/17 18:04
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:潘敏政
研究生(外文):Miin-Jeng Pan
論文名稱:以邏輯為基礎之多資料庫系統整合及查詢處理
論文名稱(外文):A Logic-Based Approach for Integration and Query Processing in multidatabase Systems
指導教授:楊鍵樵楊鍵樵引用關係
指導教授(外文):Chien-Chiao Yang
學位類別:博士
校院名稱:國立臺灣科技大學
系所名稱:工程技術研究所
學門:工程學門
學類:綜合工程學類
論文種類:學術論文
論文出版年:1994
畢業學年度:82
語文別:中文
論文頁數:147
中文關鍵詞:多資料庫系統洪子句語意查詢最佳化推導式資料庫系統超資料字典
外文關鍵詞:multidatabase systemmetadata dictionaryHorn clausesemantic
相關次數:
  • 被引用被引用:0
  • 點閱點閱:235
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:1
本文提出一個以邏輯為基礎的兩層式主動超資料字典的方法,處理多資料
庫系統整合及查詢的問題。文中探討如何將可能為異質的各本地資料庫綱
要,整合為一個以共同資料模式描述的總體綱要,以提供一個同質的邏輯
介面。查詢的評估為一個由上往下的方法,使用者根據總體綱要提出查詢
,經由超資料字典分析、分解、最佳化並轉換為針對本地資料庫綱要的查
詢語言後,送到對應的本地資料庫中執行。文中並以一個多資料庫系統雛
型說明整個語意查詢過程。資料更新可造成多資料庫系統資料不一致的現
象,文中採用漸增整體限制查核的方法保持資料的一致性。所有超資料都
以具有高度表達及推理能力的洪子句表示,應用其邏輯推理能力,我們可
把整個超資料字典擴充為推導式資料庫系統。魔術集合及查詢/子查詢是
目前推導式資料庫中解決遞迴查詢最常用的體制,但是魔術集合的改寫演
算法對非線性遞迴查詢的評估依然複雜,查詢/子查詢則使用太多的遞迴
呼叫,會降低查詢的執行效率。文中提出一個結合魔術集合及查詢/子查
詢的方法,可以減少查詢/子查詢執行中展開子查詢的遞迴呼叫次數,改
進任何型態遞迴查詢的執行效率。在純邏輯程式規劃中,藉由重新排序規
則及子目標可得到一個較有效率的程式。文中提出一個規則排序演算法及
一個子目標選擇函數來選擇一個較有效率的規則及子目標執行順序。
In this thesis, we develop a two-level active metadata
dictionary approach for database integration and query
processing in multidatabase systems. The integration of
database schemas which may be heterogeneous is discussed. The
evaluation strategy is a top-down approach. It starts with a
query against global schema, and unifies and optimizes the
query with rules successively to decompose the query into
subqueries that can be evaluated against extensional databases,
and then translate these subqueries into corresponding queries
against underlying DBMSs. A prototype multidatabse system is
presented to illustrate the whole semantic query processing.
Queries present no particular problem, while update may create
inconsistencies among databases. In this thesis we use
incremental integrity constraint checking to preserve update
consistency. To capture the global view of data schemas of
participating databases which may be heterogeneous, a Horn-
clause data model is used. With the ability of logic reasoning
of Horn clauses, we can expand the two-level metadata
dictionary to a deductive database. Query/Subquery (QSQ) and
Magic-Sets (MS) are considered as general frameworks for
recursive query processing. MS cannot change the types of
recursion so that it will be as complex as the original one
when evaluating nonlinear recursive queries. In QSQ evaluation,
every time a new subquery is generated, a time-consuming
recursive procedure will be applied to expand the subquery that
will deteriorate the efficiency of evaluation. This thesis
presents an approach which combines MS and QSQ algorithms to
increase the evaluation efficiency of arbitrary recursion. By
reordering rules and subgoals, it might be possible to find a
more efficient way of executing a given logic program. We
present a rule-ordering algorithm and a selection function for
selecting the next rule and subgoal to be solved to increase
evaluation efficiency.
封面
目錄
第一章 緒論
第二章 多資料庫系統架構及知識表示
2.1 多資料庫系統架構
2.2 邏輯資料模式
2.3 G-網路模1
第三章 資料庫整合及維護
3.1 超資料字典
3.2 資料庫整合
3.3.1 綱要轉換
3.3.2 綱要整合
3.3 多資料庫系統維護
第四章 語意查詢處理
4.1 語意查詢處理結構
4.2 查詢分解
4.3 模糊語意網路
4.4 語音查詢翻譯
4.5 語意查詢處理實例
第五章 語意查詢最佳化處理
5.1 語意查詢最佳化簡介與架構
5.2 語意編譯
5.3 語意查詢評估
第六章 遞迴查詢處理
6.1 推導式資料庫的基本原理
6.1.1 推導式資料庫的模式理論
6.1.2 資訊傳播
6.1.3 相依圖及遞迴層次
6.1.4 SLD-AL解析法
6.2 遞迴查詢簡介
6.3 部分魔術集合評估方法
6.4 結合魔術集合及查詢/子查詢評估遞迴查詢
6.5 MS-QSQ評估效率
6.6 最佳化QSQ評估
6.6.1 重新排序規則
6.6.2 重新排序子目標
第七章 結論
參考文獻
附錄 多資料庫系統語意查詢處理實作程式
作者簡介
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top