演習３第１回発表

演習３第１回発表 山崎孝裕

演習の目的 • XML処理言語として、XDuceとXQueryを用いてXMLアプリケーションを作成し、両者の違いを比較する。

XDuce • XMLのスキーマから型を作り、静的な型システムの下でXMLを処理する。 • ML風の強力なパターンマッチ機構を持つ関数型言語

XQuery • XML文書に対する問い合わせ言語リレーショナルデータベース：SQL ≒ XML：XQuery • XPathを使ったPath式と、FLOWR式によって、XML文書に問い合わせを行う。

データ位置指定（１） • XQueryはXSLと同様に、データの位置をXPathを使って指定する。 • XDuceは、パターンマッチによって同等の機能を得ている。

データ位置指定（２） • 例（XDuce） match b with html [AnyAttrs, head [Any], body [AnyAttrs, h1 [AnyAttrs, val title as String*], AnyEls]]

データ位置指定（３） • 例（XPath） “/html[head]/body/h1” • 簡潔さを見ればXPathのほうが有利 • XDuceではパターンマッチなので、一回のマッチで複数の変数をバインドさせることができる。複雑なパターンも理解しやすい。 →ツリー構造をそのまま表現しているから？

データの流れ（１） • XDuceやXSLでは、パターンやXPathと処理するXMLとをマッチし、そのマッチに対して行うべき処理を一つずつ記述する。処理系では、マッチに対して対応する処理部分が実行されることで処理が進んで行く。

データの流れ（２） • XQueryでは、FLOWR式をクエリーとしてXMLに問い合わせ、そのクエリーにマッチするものを一度に取得して処理をする。

FLOWR式 • FLOWR： for/let/order/where/return • forやletによる問い合わせ（この際にwhereで絞込条件を指定できる）によって問い合わせの結果の組（tuple）の列が返され、returnはその列のそれぞれのtupleに対し一回の実行を行う。

FLOWR式（forとlet） • letはクエリーの結果の列のtupleを含む一要素の列を作成する。 →バインドするだけ • forはクエリーの結果の列のぞれぞれの要素を一つのtupleとみなして、tupleの列を作成する。 →繰り返しを行ってバインド

FLOWR式（例：let） • let $s := (<one/>, <two/>, <three/>) return <out>{$s}</out> ↓ <out><one/><two/><three/></out> • $sには、{ (<one/>, <two/>, <three/>) }という1tupleの列がバインドされている。

FLOWR式（例：for １） • for $s := (<one/>, <two/>, <three/>) return <out>{$s}</out> ↓ <out><one/></out> <out><two/></out> <out><three/></out> • $sには、{ (<one/>), (<two/>), (<three/>) }という3tupleの列がバインドされている。

FLOWR式（例：for ２） • for $i in (1, 2), $j in (3, 4) ↓ ($i, $j) = { ($i = 1, $j = 3), ($i = 1, $j = 4), ($i = 2, $j = 3), ($i = 2, $j = 4) } • $iと$jの直積を取ったものが($i, $j)となる。

参考文献 • W3C Recommendation / Working Draft XML: http://www.w3.org/TR/REC-xml/ XPath: http://www.w3.org/TR/xpath XQuery: http://www.w3.org/TR/xquery/ • ＠IT：XML & Web Services http://www.atmarkit.co.jp/fxml/

演習３ 第１回発表