講演抄録/キーワード |
講演名 |
2010-12-15 09:00
The Validity Problem of Positive XPath Queries in the Presence of DTDs ○Kenji Hashimoto(NAIST)・Yasunori Ishihara・Toru Fujiwara(Osaka Univ.) SS2010-47 |
抄録 |
(和) |
本稿では,DTDが存在するときの,否定を含まないXPath(Positive XPath)クエリの恒真性判定問題について議論する.XPathクエリ$q$とDTD $D$が与えられたとき,$D$に従うすべてのXML文書$T$について$T$における$q$の解が空ではないとき,$q$は$D$のもとで恒真であるという.恒真性判定問題は,充足可能性や包含性判定問題と同様に,問合せの基本的な静的解析問題のひとつであり,問合せ最適化やデータ交換に有用である.本稿では,まず子軸,子孫軸と述語のみが許されたPositive XPathクエリの恒真性判定が多項式時間で解けることを示す.そして,さらにいくつかの演算子を許すと恒真性の判定が手に負えなくなることを示す. |
(英) |
We discuss the validity problem for positive XPath queries in the presence of DTDs. A given query $p$ is valid under a DTD $D$ if, for every XML document $T$ conforming to $D$, the answer to $p$ on $T$ is nonempty. The validity problem is one of the basic static analyses of queries, as well as the satisfiability and the containment problems, and useful for query optimization and data exchange. In this report, we first show that the validity for the XPath queries with only child and descendant-or-self axes and qualifier under any DTDs is in PTIME. Then, we show that adding some operators to the tractable class of XPath causes intractability. |
キーワード |
(和) |
XML / XPath / DTD / 恒真性 / / / / |
(英) |
XML / XPath / DTD / validity / / / / |
文献情報 |
信学技報, vol. 110, no. 336, SS2010-47, pp. 49-54, 2010年12月. |
資料番号 |
SS2010-47 |
発行日 |
2010-12-07 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2010-47 |