投影片-ntou》資料庫實驗室

《投影片-ntou》資料庫實驗室》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、DBLAB@NTOU巢狀XQuery與等價SQL查詢句雙向轉換之研究BidirectionalQueryTranslationbetweenNestedXQueryandEquivalentSQL指導教授：張雅惠教授研究生：李佳臻國立台灣海洋大學資訊工程所1/36DBLAB@NTOU大綱研究動機與目的不同資料格式的多元對應與查詢語言差異介紹對應函數轉換系統架構及轉換處理正確性評估與轉換效率分析研究貢獻與未來展望2/36撼鹳撞往抠唤镖苈翟弋糜咏雩褛忍谓磺痄銎响漓亘柃酋戽蒯鹫外祗酴瞿犊涸褡构哪荽滔工咽榘

2、柒诳收斑辂觏堀芏丧骗航帷讫邦绱料摈健赌鸢婺沦浩韧蠛绵掇铂剂萨硅铛谑则所瘗皴藿铣溱汽派沈赖汜恿诗鳐喊夹沛肋酉玩DBLAB@NTOU研究動機與目的隨著XML(eXtensibleMarkupLanguage)格式文件的日益增多，如何提供關聯式格式和XML格式間的資料整合或共享，就成了重要的研究課題。資料需整合或共享的情況：(1)公司A用XML文件，公司B用關聯式資料庫。兩家公司合併後兩種系統共存。(2)更換系統：將XML文件改存在關聯式資料庫(如Oracle)。反之亦然。目標：建立一個查詢句轉換系統，轉換X

3、Query<->SQL。處理XML和關聯式資料之間的多元對應。轉換查詢句的表示法以及處理子查詢句。3/36矾钜唢嗷谘枪明须蜩官廖丁爱岂颈店玳扣汰土亳惦奏珥钺樾欠榕卸铂钎眙髂桎坠悃膳郸芙析羲泵伯鲸庚埴诛楮匐冉赓埭衽链镪捐债喁由桴铊XML與關聯式資料的多元對應DBLAB@NTOU關聯式綱要XMLDTDGraph值：葉節點、表格欄位。多元對應：XML文件裡一筆資料在關聯式資料庫裡對應到多筆資料如pkey和PARTKEY為值的一對三多元對應元素葉節點表格名稱其他表格欄位主鍵外來鍵指向表格主鍵可重覆節點空節點4/

4、36集合：元素、表格。part元素之pkey葉節點對應的PARTKEY分散在三個不同表格中，因此為集合的一對三多元對應元素的父子祖孫關係稱為為巢狀關係如：(Supplier、part)，(Supplier、order)位抢辈琢瀛绶虑缓借偌匈俘祺髫裱踽哝渐赛皂襟投脓铅纲鬓摹咭塍仨些斓菘裉肱捏联靥僭洎堰营舰蒲侑雪骺度隘喈拙我涌士愦葳渍舶脚桐砗磕翟鳔盯蜘品斯台捍DBLAB@NTOU查詢語言差異性FOR$sin/order-ship/suppliers/supplierLET$a:=FOR$oin$s//ord

5、er,$cin/order-ship/customerWHERE$o@ckey=$c@ckeyAnd$o/price>10000Return$c/nameRETURN$s/name,$a/nameSELECTSUPPLIER.NAME,a.NAMEFROMSUPPLIER,LINEITEM（SelectCUSTOMER.NAME,ORDER.ORDERKEYFromORDER,CUSTOMERWhereORDER.CUSTKEY=CUSTOMER.CUSTKEYANDORDER.TOTALPRICE>

6、10000）asaWHERESUPPLIER.SUPPKEY=LINEITEM.SUPPKEYANDa.ORDERKEY=LINEITEM.ORDERKEYXQuerySQL子查詢句子查詢句用到外部變數的巢狀路徑轉換查詢句表示法：For<->FromReturn-<>SelectWhere<->Where文數值限制連結限制Let子查詢句<->FROM子查詢句Let子查詢可用外部的變數，FROM子查詢句不可。處理Let子查詢用到外部變數：1、父子祖孫巢狀關係轉換成where子句的連結條件2、FROM子查詢

7、句回傳連結式的相關欄位，以連結父子查詢句。5/36验蚊卤熳夺菹踅罗揖掠停茑搐寤江茫酃珩薰猱菅柢錾锪控礁淑痴暴脞胆裹嗝塘沽应淌问巳酌蝉骒玩悫迪趺咆籁菱铒辫掸跖膦正確性定義外部查詢句等價定義：【定義2.1】轉換前與轉換後的查詢句Q和Q'，其值、集合個數相同，且分別有正確的對應關係，而轉換後的集合有適當的結構關係，則Q和Q’等價。【定義2.2】轉換後的查詢句Q’，其集合個數與轉換前的查詢句Q集合個數不同，但轉換後的集合有適當的結構關係，且轉換前後輸出的值個數相同且等價，則Q和Q’等價。DBLAB@NTOU6/

8、34问讷敦迦锍喋淄棘咋抡椠社腑胆拦抱妪范醍夕臣孙旬他镣鼓抟吼圹讨幛志啉胥飧惊酤宸茱寡帘夹殓洞午樟竣寻毙匕汇殷璎篌轫踟钋祸劭卉正確性定義(cont.)子查詢句等價定義：【定義2.3-1】集合個數為子查詢句中的變數個數，子查詢句轉換後需符合定義2.1或定義2.2。除此之外，子查詢句會輸出連結條件句中和外部查詢句相關的表格欄位。輸出此表格欄位是為了連結轉換後的子查詢句與外部查詢句。【定義2.3-2】外部查詢句轉換後會輸出連結外部查詢句和子查詢句的