资源描述：
《支援递回资料定义之》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、支援遞迴資料定義之XQuery查詢句轉換系統TranslatingXQueryinRecursiveSchemas指導教授：張雅惠教授 研究生：吳俊賢國立台灣海洋大學資訊工程系8/8/20211/50DBLAB@NTOU大綱1.研究動機與目標2.相關定義及轉換模組3.Mapping及SkolemFunction4.正確性分析與轉換結果評估5.結論與未來展望8/8/20212DBLAB@NTOU研究動機與目標XML資料儲存於各個資料庫資料庫對資料定義格式不同目標：建立一個查詢句轉換系統，透過查詢句轉換使得跨資料庫的查詢變得容易
2、。TargetXQuerySourceXQuerySourceXQueryTargetXQuery8/8/20213DBLAB@NTOU相關定義TargetDTDandSourceDTDTargetQueryandSourceQueryNestedExpression轉換模組Mapping&SkolemFunction8/8/20214DBLAB@NTOUTargetDTDandSourceDTD(1/2)Target&SourceDTDTargetDTDSourceDTD8/8/20215DBLAB@NTOUTargetD
3、TDandSourceDTD(2/2)Target&SourceDTDGraphTargetDTDGraphSourceDTDGraph8/8/20216DBLAB@NTOUTargetQueryandSourceQueryTargetQueryFOR$t0in/dept/courseLET$t1:=FOR$t2in$t0/takenBy/studentRETURN$t2/nameWHERE$t0/cno=“C2”RETURN$t1SourceQueryFOR$s0in/dept/courseLET$s1:=FOR$s1in
4、$s0/takenBy,$s2in/dept/studentWHERE$s1/sno=$s2/snoRETURN$s2/nameWHERE$s0/cno=“C2”RETURN$s18/8/20217DBLAB@NTOUNestedExpressionNestedExpression：LET宣告之變數所對應的查詢句。Ex:LET$a:=QueryRETURN中以{…}所定義之查詢句。Ex:RETURN{Query}8/8/20218DBLAB@NTOU轉換模組8/8/20219DBLAB@NT
5、OU正確性定義定義：等價的查詢句若Targetquery和Sourcequery，其每一個變數指向之元素節點，對應的關係結構相符合，則為一個等價的查詢句轉換8/8/202110DBLAB@NTOUWhyMappingMapping目的：記錄兩個不同DTD之XML，其資料之相互對應關係。用途：便於產生SkolmeFunction8/8/202111DBLAB@NTOUMappingForeach$S0in/dept/course,$S1in$S0/takenBy,$S2in/dept/student,$S3in$S2/qual
6、ifieds/cno,$S4in//prereq/courseWhere$S1/sno=$S2/snoExist$T0in/dept/course,$T1in$T0/prereq/course,$T2in$T0/takenBy/student,$T3in$T2/qualified/courseWith$T0/cno=$S0/cno,$T0/title=$S0/title,$T2/sno=$S2/sno,$T2/name=$S2/name,$T3/cno=$S3RR($T1,$T0,$S0,$S4)8/8/202112DBLA
7、B@NTOUWhySkolemFunction目的：將對應資訊結構化的表示，以便利管理者對於資訊的管理與修正。用途：便利透過TracingSkolemFunction取得所有解，以及查詢句轉換時，變數宣告與葉元素對應的取得。8/8/202113DBLAB@NTOUGenerateSkolemFunction(1/5)Foreach$S0in/dept/course,$S1in$S0/takenBy,$S2in/dept/student,$S3in$S2/qualifieds/cno,$S4in//prereq/courseW
8、here$S1/sno=$S2/snoExist$T0in/dept/course,$T1in$T0//prereq/course,$T2in$T0/takenBy/student,$T3in$T2/qualified/courseWith$T0/cno=$S0/cno,$T0/title
