形式論理に基づくXML処理システム

基于形式逻辑的XML处理系统

• 批准号: 06J11704
• 负责人: 稲葉 一浩
• 金额: $ 1.15万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06J11704/
• 关键词: XML; マクロ木変換器; Macro Tree Transducer; オートマトン; プログラミング言語; 型検査; 単項二階論理; MSO; データベース

本年度は昨年度に引き続き、形式論理によるXML処理言語の理論的なモデルである"Macro Tree Transducer"を基に、既存手法では難しかった巨大なXML文書を扱う複雑なXML変換処理に関しても、その実行および正当性の検証を効率的に行うための研究を行った。具体的な成果は以下の通りである。実際の応用に際し使用されるXML変換は、単一の処理だけで完結するものではなく、通常、いくつかの処理を合成することで複雑な変換を実現しており、高効率な変換処理や正当性検査を実現するには、「合成」の取り扱いが本質的である。本年度の研究成果としては、まず、個々の処理が比較的単純なものである場合には、記述上は「合成」として記述されていても自動的に単一の処理へと畳み込み、簡易な処理/検査を可能とするモデルMulti-Return Macro Tree Transducerを提案し、国際学会CIAA 2008で発表した。さらに、個々の処理を単純なものと限らない一般の場合に関しても考察を進め、XML変換プログラムは、複数の処理の途中で無駄な中間結果を決して生成しない"Garbage-Free Form"と呼ばれる最適化された形式へと常に変形可能であることを証明した。この形式を用いることで、従来計算量の上界が明らかになっていなかったいくつかの問題(期待される入出力XMLを与えてプログラムがその通りの処理を行うか否かを検査する『変換メンバシップ問題』、エラーやセキュリティ上の問題を含むような特定の出力が決してプログラムから生成され得ないことを検査する『出力言語メンバシップ問題』、等)に関してNPおよびDSPACE(n)と呼ばれる計算量を示し、具体的なアルゴリズムを設計した。この成果は、理論計算機科学に関する国際学会FSTTCS 2008にて発表を行った。また、変換メンバシップ問題については特に、Multi-Return Macro Tree Transducerによって単一の処理へ畳み込むことによってPTIMEと呼ばれる非常に効率的な計算量で検査が可能であることを示し、XML処理言語に関する国際学会PLAN-X2009にて発表を行った。

This year's annual に は yesterday quoted き 続 き, form logical に よ る XML 処 the theories of speech の な モ デ ル で あ る "Macro Tree Transducer "を に, existing methods で は difficult し か っ た huge な XML document を Cha う complex 雑 な XML variations in 処 Richard に masato し て も, そ の line be お よ び legitimacy の 検 line card could promote behavior rate を に う た め の を line っ た. The specific な results are as follows: である である. Be interstate の 応 used the event に し さ れ る XML variations in は, 単 の 処 Richard だ け end で す る も の で は な く, usually, い く つ か の 処 Richard を synthetic す る こ と で complex 雑 な variations in を be presently し て お な り, high working rate variations in 処 Richard や legitimacy 検 check を be presently す る に は "synthetic" の, took り Cha い が essential で あ る. Research achievements this year の と し て は, ま ず, a 々 の 処 が compare 単 of pure な も の で あ る occasions に は, on account of は "synthetic" と し て account さ れ て い て も automatic に 単 a の 処 Richard へ と 畳 み 込 み, easy な 処 bedding / 検 check を may と す る モ デ ル Multi - Return Macro Tree Transducerを proposal を, international society CIAA 2008で issue table た た. さ ら に, a 々 の 処 Richard を 単 pure な も の と limit ら な い の general occasions に masato し て も を into め, XML - in プ ロ グ ラ ム は, plural の 処 Richard の way で no 駄 な intermediate results を definitely し て generated し な い "Garbage - Free The Form"と call ばれる optimizes された form へと constant に variation may である である とを とを prove た. こ の form を with い る こ と で, 従 to calculate upper bound volume の が Ming ら か に な っ て い な か っ た い く つ か の problem (expect さ れ る into the output XML を and え て プ ロ グ ラ ム が そ の tong り の 処 Richard を line う か no か を 検 check す る "variations in メ ン バ シ ッ プ problem", エ ラ ー や セ キ ュ リ テ ィ の problem を contain む よ う な specific の output が し て プ ロ グ ラ ム か ら generated さ れ have な い こ と を 検 check す る "output words メ ン バ シ ッ プ problem", etc.) に masato し て NP お よ び DSPACE (n) と shout ば れ る computation を し, specific な ア ル ゴ リ ズ ム を design し た. <s:1> the achievements of する, theoretical computer science に related する, international society FSTTCS 2008にて publication list を industry った. Youdaoplaceholder0, change the メ バシップ バシップ バシップ problem に また て て に special に, Multi-Return Macro Tree A Transducer に よ っ て 単 の 処 Richard へ 畳 み 込 む こ と に よ っ て PTIME と shout ば れ る very に な the working rate calculation で 検 may check が で あ る こ と を し, XML 処 Richard words に masato す る international society PLAN - X2009 に て 発 table line を っ た.

项目成果

XML Transformation Based on Monadic Second Order Logic

基于一元二阶逻辑的XML转换

• 发表时间: 2007
• 期刊: PLAN-X 2007 Informal Proceedings 1
• 作者: Kazuhiro Inaba;Haruo Hosoya
• 通讯作者: Haruo Hosoya

The Complexity of Translation Membership for Macro Tree Transducers

宏树换能器翻译成员资格的复杂性

• 发表时间: 2009
• 作者: Kazuhiro Inaba;Haruo Hosoya;稲葉一浩
• 通讯作者: 稲葉一浩

Multi-Return Macro Tree Transducers

多返回宏树传感器

• 发表时间: 2008
• 作者: K. Inaba;H. Hosoya;S. Maneth
• 通讯作者: S. Maneth

The Complexity of Tree Transducer Output Languages

树传感器输出语言的复杂性

• 发表时间: 2008
• 作者: Kazuhiro Inaba;Haruo Hosoya;稲葉一浩;稲葉一浩
• 通讯作者: 稲葉一浩