Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes

• 石原 靖哲

• 清水 將吾

• 橋本 健二

書誌事項

タイトル別名

• 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
• キョウダイジク オ モツ XPath ジュウソク カノウセイ モンダイ ニ タイスル duplicate-free DTD ト disjunction-capsuled DTD ノ タコウシキ ジカン カカイセイ ノ ユウゴウ
• ソフトウェアサイエンス
• ソフトウェアサイエンス

収録刊行物

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 111 (481), 115-120, 2012-03

  東京 : 電子情報通信学会

キーワード

• XPath
• 充足可能性
• 計算量
• satisfiability
• complexity

詳細情報

• CRID: 1520009407485994368
• NII論文ID: 110009546270
• NII書誌ID: AA1123312X
• ISSN: 09135685
• NDL書誌ID: 023572610
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I023572610
• 本文言語コード: en
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles