Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes (ソフトウェアサイエンス)

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-03-13

著者

• 橋本 健二

  大阪大学大学院情報科学研究科

• 石原 靖哲

  大阪大学大学院情報科学研究科

• 清水 將吾

  奈良先端科学技術大学院大学 情報科学研究科

関連論文

• ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
• 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
• 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
• 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
• 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
• XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
• XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
• XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
• 代数的仕様からのドュメント自動生成について
• 抽象的順序機械型代数的仕様からのドキュメント生成システム
• 抽象的順序機械型代数的仕様からのドキュメント生成システムの試作
• XMLデータベースへの推論攻撃による機密情報特定可能性の形式化とある前提条件のもとでの特定可能性検証法の提案
• XMLデｰタベｰスにおける表現能力を保存したスキｰマ更新操作
• XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
• XMLデータのスキーマ統合のための枠組の提案
• 異なる構造を持つXMLデータを統合するための構造間の関係について(実空間とサイバースペースの融合 : 感性, データベース, ロボティクスおよび一般)
• 関連性の高いアイテム集合のマイニングに要する計算量
• 検索および再帰なし無閉路スキーマに対する型検査問題の計算量
• オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
• 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
• The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
• 自然語仕様から代数的仕様への変換における表現式の構文規則の生成
• メソッドスキーマにおける型整合性の解析アルゴリズム
• メソッドスキーマの型整合性の十分条件
• 自然語仕様から代数的仕様への変換における辞書項目生成の支援
• 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
• オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
• オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
• XMLスキーマで定義された型とXPath式との対応の解析手法
• ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
• XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
• XMLスキーマで定義された型と XPath 式との対応の解析手法
• 抽象的順序機械型代数的仕様からのドキュメント生成システム
• 空調機用マイコンソフトの形式的仕様記述と検証法について
• データマイニングに要する計算量に関する一考察
• タプル間の依存関係を表現できる確率的データベースモデルの提案
• 無閉路オブジェクト指向データベーススキーマにおける型検査問題の計算量
• オブジェクト指向データベースにおける型検査問題の計算量
• オブジェクト指向データベースにおける型検査問題の計算量
• マルチエージェント環境における時刻の前後関係に関する推論問題
• DTD存在下での否定を含まないXPathクエリの恒真性判定
• オブジェクト指向データベースにおけるインスタンスの内容に依存したアクセス権モデルの設計 (時空間データベースおよび一般)
• オブジェクト指向データベーススキーマにおけるセキュリティフロー検出の形式的手法
• オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
• オブジェクト指向データベースにおけるアクセス権モデルの設計
• 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
• 2本の時間軸間の時間的推論
• 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
• オブジェクト指向データベースにおける質問のアクセス権分析
• Type Consistency Problems for Queries in Object-Oriented Databases
• オーエンス・ルイス : アンビエント環境制御を用いた知的オフィスチェアの提案(アンビエントインテリジェンス技術とその応用)
• オブジェクト指向データベースにおける質問の型検査問題
• オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用
• Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes (ソフトウェアサイエンス)
• 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (ソフトウェアサイエンス)
• 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
• 決定性線形トップダウン木変換器における問合せ保存の決定可能性

もっと見る 閉じる

スポンサーリンク