• 検索結果がありません。

XPath クエリと木パターン照合問題の関係に関する研究 要旨

N/A
N/A
Protected

Academic year: 2021

シェア "XPath クエリと木パターン照合問題の関係に関する研究 要旨"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

要 旨

XPath クエリと木パターン照合問題の

関係に関する研究

前田 秀樹

XMLは,木構造をなすデータを表現するマークアップ言語であり,データ交換やデータ ベースのためのフォーマットとして広く使われている.XML文書の要素を指定するために,

パス式に基づく言語XPathが広く用いられている.例えば,XMLというタイトルの本を指 定するのに“//book[title=’XML’]”というXPath式を用いることができる.

木パターン照合問題は,木構造データに対する重要な問題の1つである.これは,パター ン木とターゲット木の2つが与えられたとき,ターゲット木の中でパターン木が含まれてい る部分を全て探す問題である.木パターン照合問題に対して,これまでに順序木として解く アルゴリズムと無順序木として解くアルゴリズムが示されている.

XPathクエリと木パターン照合問題は,いずれも木構造からノードを選択するものであ

る.本研究の目的は,XPathクエリのうち木パターン照合問題によって計算できるものを 示すことである.そのために,XPath式からパターン木を生成するアルゴリズムを示す.実 用によく用いられるXPath式において,兄弟間の順序を考慮する必要のある部分は式の一 部であることが多い.そこで,本研究では,兄弟間の順序の考慮をノードごとに指定したパ ターン木を定義する.この定義によって,XPath式から生成されるパターン木の個数を減 らすことができる.

本研究で示したアルゴリズムを用いて,XPath式からパターン木が生成されることを確 かめることにより,木パターン照合問題によって計算できるXPathクエリの条件を示した.

また,提案アルゴリズムを評価したところ,XPath式によってはパターン木が必要以上に

i

(2)

多く生成されることが分かった.この理由は,提案アルゴリズムにおいてXPath式に兄弟 軸が含まれていることを前提とした処理を行っているためであると考える.

キーワード XMLXPath,木パターン照合問題

ii

(3)

Abstract

A Study of the Relationship Between XPath Query and Tree Pattern Matching Problem

Hideki Maeda

XML a markup language for representing tree structured data, is widely used for the format of data exchange and databases. To specify the elements in an XML document pass-expression-based language called XPath is widely used. For example, the XPath expression “//book[title=’XML’]” specifies the book whose title is XML.

The tree pattern matching problem is an important problem for tree structured data. Given two trees, the pattern tree and the target tree, this problem is to find all the parts in the target tree that contain the pattern tree. So far, algorithms for ordered trees and unordered trees have been developed.

Both XPath queries and the tree pattern matching problem are to select nodes in a tree. The goal of this study is to show a certain set of XPath queries can be computed as the tree pattern matching problem. I show an algorithm that generates the pattern tree from XPath expressions. Usually only parts of XPath expressions specify the order between sibling. Therefore, in this study, I give another definition of the pattern trees in which we may specify the order between sibling for some nodes.

I showed a set of requirements of XPath queries so that we can compute then as the tree pattern matching problem by confirming that the proposed algorithm surely generates patterns from XPath queries. The algorithm may generates wore pattern trees than necessary. This is due to the assumption that all the input XPath expressions have

iii

(4)

intra-sibling axes.

key words XML, XPath, Tree pattern matching problem

iv

参照

関連したドキュメント

We show that a discrete fixed point theorem of Eilenberg is equivalent to the restriction of the contraction principle to the class of non-Archimedean bounded metric spaces.. We

(4) The basin of attraction for each exponential attractor is the entire phase space, and in demonstrating this result we see that the semigroup of solution operators also admits

We can therefore generate F U (n) using a simple modification of the algorithm RootedTrees from Section 3: the canonically ordered tree R that represents a unicentroidal free tree T

p-Laplacian operator, Neumann condition, principal eigen- value, indefinite weight, topological degree, bifurcation point, variational method.... [4] studied the existence

We construct a sequence of a Newton-linearized problems and we show that the sequence of weak solutions converges towards the solution of the nonlinear one in a quadratic way.. In

In Section 3, we employ the method of upper and lower solutions and obtain the uniqueness of solutions of a two-point Dirichlet fractional boundary value problem for a

Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple

But in fact we can very quickly bound the axial elbows by the simple center-line method and so, in the vanilla algorithm, we will work only with upper bounds on the axial elbows..