一种检验Active XML文档树模式查询可满足性算法

摘要：

检验查询可满足性是XML文档查询的一个重要问题。Active XML(AXML)文档在XML文档中引入嵌入式Web服务,增强了文档的动态性和灵活性,同时也为现有文档查询可满足性问题的解决方法提出了新的要求和挑战。研究了模式约束下的AXML文档查询可满足性问题,给出了AXML查询可满足性问题的形式化定义,基于树自动机理论,针对XPath树模式查询片段””/,//,””””,提出了一种多项式时间的AXML文档查询可满足性检验算法。实验数据表明,提出的算法在查询过程中以较小的代价显著地节省查询处理时间.

关键词： AXML 树模式查询 树自动机 可满足性 XML文档

作者: 马海涛 郝忠孝

作者单位: 哈尔滨工业大学计算机科学与技术学院 哈尔滨 150001 哈尔滨工业大学计算机科学与技术学院 哈尔滨 150001 哈尔滨理工大学计算机科学与技术学院 哈尔滨 150080

会议类型: 国内会议

会议名称: 第二十五届中国数据库学术会议(NDBC2008)

会议地点: 桂林

会议语种:中文

页码: 605-610

在线出版日期: 2008-10-24（万方平台首次上网日期，不代表论文的发表时间）