论文部分内容阅读
文档有效性检验是XML领域的一个基本问题．ActiveXML（AXML）文档在XML文档中引入web服务，传统用于解决XML文档有效性的检验方法并不适用于AXML文档，为文档有效性检验提出了新的挑战．研究了AXML文档有效性检验问题，在原始树自动机的基础上，定义了AXML模式树自动机一ASTA机，该树自动机能够有效地描述满足AXML模式约束的文档集合．基于ASTA机，提出了一种多项式时间的AXML文档有效性检验算法．实验数据表明，基于提出的算法能够有效的完成对AXML文档的有效性检验．