講演名 | 2012-03-14 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合 石原 靖哲, 清水 將吾, 橋本 健二, 藤原 融, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本稿では,子軸,子孫軸および兄弟軸をもつXPath充足可能性問題が効率よく解けるような,DTDの新たな部分クラスDC/DF-DTDを示す.DC/DF-DTDは,効率よく解けることが知られているduplicate-free DTDおよびdisjunction-capsuled DTDのクラスの「混成物」として定義され,正規表現に"?"(0回または1回の出現)や"+"(1回以上の出現)の演算を許さないという制限のもとではそれら既知のクラスを真に含む.本稿では,親軸や述語を含むXPathクラスに対しては,DC/DF-DTDのもとでの充足可能性問題が手に負えなくなることも示す. |
抄録(英) | This paper demonstrates a new subclass of DTDs, called DC/DF-DTDs, under which XPath satisfiability with child, descendant-or-self, and sibling axes becomes tractable. DC/DF-DTDs are defined as a "hybrid" of two known tractable classes, duplicate-free DTDs and disjunction-capsuled DTDs, and are a proper superclass of them, provided that operators "?" (zero or one occurrence) and "+" (one or more occurrences) are disallowed. This paper also shows that parent axes or qualifiers bring intractability to XPath satisfiability under DC/DF-DTDs. |
キーワード(和) | XPath / 充足可能性 / 計算量 |
キーワード(英) | XPath / satisfiability / complexity |
資料番号 | SS2011-76 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2012/3/6(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | ENG |
タイトル(和) | 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合 |
サブタイトル(和) | |
タイトル(英) | Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes |
サブタイトル(和) | |
キーワード(1)(和/英) | XPath / XPath |
キーワード(2)(和/英) | 充足可能性 / satisfiability |
キーワード(3)(和/英) | 計算量 / complexity |
第 1 著者 氏名(和/英) | 石原 靖哲 / Yasunori ISHIHARA |
第 1 著者 所属(和/英) | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
第 2 著者 氏名(和/英) | 清水 將吾 / Shogo SHIMIZU |
第 2 著者 所属(和/英) | 産業技術大学院大学産業技術研究科 Graduate School of Industrial Technology, Advanced Institute of Industrial Technology |
第 3 著者 氏名(和/英) | 橋本 健二 / Kenji HASHIMOTO |
第 3 著者 所属(和/英) | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
第 4 著者 氏名(和/英) | 藤原 融 / Toru FUJIWARA |
第 4 著者 所属(和/英) | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
発表年月日 | 2012-03-14 |
資料番号 | SS2011-76 |
巻番号(vol) | vol.111 |
号番号(no) | 481 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |