文献

J-GLOBAL ID：201702277404069876   整理番号：17A1283998

モデル検査に基づくXMLツリーモデル最適化動作生成【JST・京大機械翻訳】

XML TREE MODEL OPTIMIZATION OPERATION GENERATING BASED ON MODEL CHECKING

著者 (4件)： Zhao Ruifang (北京工業大学 北京 100124) ,  Liu Ke (北京工業大学 北京 100124) ,  Yang Hongli (北京工業大学 北京 100124) ,  Liao Husheng (北京工業大学 北京 100124)
資料名： Jisuanji Yingyong Yuruanjian  (Jisuanji Yingyong Yuruanjian)
巻： 34  号： 3  ページ： 45-53  発行年： 2017年 
JST資料番号： C2940A  ISSN： 1000-386X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： XMLデータにおける質問のコア操作ツリーパターンの質問を目的として,XMLスキーマに基づくツリーパターン検索を最適化する方法を提案したが,この問題を解決するために,XML Schema制約に基づく方法を提案した。この方法は,ORSの構文論と意味論を記述し,ORS記述の最適化ルールには,ツリーモデル条件の記述,XML Schema条件の記述,および前の2つの条件の下で出力されるべき動作を含んでいる。ORS言語によって記述された最適化規則と処理された木パターンに従って,システムは自動的にこのツリーの最適化動作を出力する。この方法は,ツリーモデルの最適化プロセスを単純化し,一方,モデル検査技術をXMLツリーの最適化に適用し,最適化ルールにおける制約条件を記述するために時間論理式を使用し,XMLスキーマの制約を抽出するためにモデル検査を用いた。ORS文法と意味論の厳密な定義により,生成された最適化動作の正確さを保証した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  *モデル検査 ,  時間論理 ,  言語 ,  *最適化 ,  文法 ,  簡素化 ,  構文論
準シソーラス用語： モデル検査技術 ,  パターン探索 ,  XMLスキーマ ,  XMLデータ ,  *動作生成 , 【Automatic Indexing@JST】

著者キーワード (4件)： Tree model optimization ,  ORS ,  XML schema ,  Model checking

分類 (2件)： 計算機網  (JC03000K) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (5件)： モデル検査 ,  XML ,  モデル ,  最適化 ,  動作生成