计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (24): 140-142.DOI: 10.3778/j.issn.1002-8331.2009.24.041

• 数据库、信息处理 • 上一篇    下一篇

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

朱 燕   

  1. 燕山大学 信息科学与工程学院,河北 秦皇岛 066004
  • 收稿日期:2008-05-26 修回日期:2008-09-01 出版日期:2009-08-21 发布日期:2009-08-21
  • 通讯作者: 朱 燕

Checking termination of Active XML documents materialization

ZHU Yan   

  1. College of Information Science and Engineering,Yanshan University,Qinhuangdao,Hebei 066004,China
  • Received:2008-05-26 Revised:2008-09-01 Online:2009-08-21 Published:2009-08-21
  • Contact: ZHU Yan

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

关键词: AXML文档, Web服务, 物化, 终止性

Abstract: 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.

Key words: AXML documents, Web services, materialization, termination

中图分类号: