支援递回资料定义之.pptVIP

支援遞迴資料定義之 XQuery 查詢句轉換系統Translating XQuery in Recursive Schemas 指導教授：張雅惠教授研 究 生：吳俊賢國立台灣海洋大學資訊工程系 大綱 1. 研究動機與目標 2. 相關定義及轉換模組 3. Mapping 及 Skolem Function 4. 正確性分析與轉換結果評估 5. 結論與未來展望 研究動機與目標 XML 資料儲存於各個資料庫 資料庫對資料定義格式不同 目標：建立一個查詢句轉換系統，透過查詢句轉換使得跨資料庫的查詢變得容易。 相關定義 Target DTD and Source DTD (1/2) Target Source DTD Target DTD Source DTD Target DTD and Source DTD (2/2) Target Source DTD Graph Target Query and Source Query Target Query FOR 　$t0 in /dept/course LET 　$t1 := FOR $t2 in $t0/takenBy/student RETURN　$t2/name WHERE $t0/cno = “C2” RETURN $t1 Source Query FOR 　$s0 in /dept/cour