Active XML文档物化终止性检验算法

Checking termination of Active XML documents materialization

ActiveXML(简记为AXML)文档在XML文档中引入嵌入式Web服务,通过调用这些服务,来获取相应的内涵信息,为AXML文档物化过程。研究了AXML文档物化的终止性检验问题,提出了多项式时间的检验算法,该算法通过构造AXML模式依赖图,检验其无环性来判定AXML文档物化终止性问题,证明了算法的正确性和有效性。

Active XML （AXML for short） documents are XML documents containing embedded Web services,which can be invoked and return intensional information that is named as materialization of AXML documents.This paper develops the termination problem of AXML documents materialization and proposes an algorithm running polynomial time to solve it.By building corresponding AXML schema dependent graph and checking the acyclic of the graph,this algorithm can decide the termination problem.Finally,the correctness and efficiency of the algorithm are also proved.