计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (24): 140-142.DOI: 10.3778/j.issn.1002-8331.2009.24.041
朱 燕
ZHU Yan
摘要: Active XML(简记为AXML)文档在XML文档中引入嵌入式Web服务,通过调用这些服务,来获取相应的内涵信息,为AXML文档物化过程。研究了AXML文档物化的终止性检验问题,提出了多项式时间的检验算法,该算法通过构造AXML模式依赖图,检验其无环性来判定AXML文档物化终止性问题,证明了算法的正确性和有效性。
中图分类号: