论文研究-Active XML文档物化终止性检验算法.pdf

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