Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Research Abstract |
We investigated theoretical properties of narrowing for hedge rewrite systems as a verification of XML transformation. A narrowing calculus is designed for left-linear, right-flat constructor-based hedge rewrite systems. Given an equation with an application of transformation function to an XML document in the one side and an undesirable transformation result in the other side, the narrowing calculus produces a narrowing derivation and a unifier of the final equation in the derivation as an instance of undesirable transformation. We have shown that the narrowing calculus is sound and complete, and preunification problem associated with the calculus is decidable.
|