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

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:沈佩蘭
研究生(外文):SHEN, PEI-LAN
論文名稱:以分辨原理解決查詢推論問題
指導教授:柯志昇柯志昇引用關係
指導教授(外文):KE, ZHI-SHENG
學位類別:碩士
校院名稱:淡江大學
系所名稱:資訊科學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1986
畢業學年度:74
語文別:中文
中文關鍵詞:分辨原理解決查詢樹推論查詢推論問題整體關連一階邏輯關連代數
外文關鍵詞:RESOLUTION-PRIN-CIPLEQUERY-TREEQUERY-INFERENCE-PROBLEMUNIVERSAL-RELATIONFIRST-ORDER-LOGICRELATIONAL-ALGEBRA
相關次數:
  • 被引用被引用:0
  • 點閱點閱:77
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
本文旨在描述一以分辨原理(Resolution Prin-ciple) 解決查詢推論問題(Query Inf
erence Problem) 的方法。查詢推論問題是將查詢語言句轉換成以查詢樹(Query Tre
e)為基礎的明確查詢表示式(Unambiguous Query Expression)。吾人將利用分辨原理
使查詢語言句轉換至最小查詢樹(Minimal Query Tree)構成的查詢語言句) 。
同時,在文中吾人以實體關連型模式(Entity Relationship Data Model)為基礎,然
後溶入整體關連(Universal Relation)的理論,作為邏輯賀料庫設計的原則,再以一
階邏輯(First Order Logic) 表達邏輯資料庫。
最後,介紹分辨演繹法,依據前述的一階邏輯解決查詢語言句使得到明確查詢表示式
,再轉換為以關連代數(Relational Algebra)表達的查詢處理步驟。

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
無相關論文
 
無相關期刊
 
無相關點閱論文
 
系統版面圖檔 系統版面圖檔