马海涛;郝忠孝;朱、严 基于树自动机理论的主动XML文档重写。 （英语） Zbl 1119.68100号 武汉大学自然科学学院。 第11期，第5期，1325-1329页（2006年）. 摘要：文档重写问题是主动XML（AXML）数据交换中的一个基本问题，通常具有很高的复杂性。之前的工作主要集中在字符串自动机理论上。本文试图用树自动机来解决这个问题。更准确地说，本文首先定义了一种新的树自动机，即主动XML树自动机（AXTA），它可以有效地表示由AXML文档或AXML文件模式生成的AXML文本集。然后，提出了构造AXTA自动机的算法。最后，提出了一种基于AXTA自动机的AXML文档重写多项式时间确定性算法。 MSC公司： 2012年第68季度 语法和重写系统 第68季度第45季度 形式语言和自动机 关键词：活动XML;树自动机;重写 PDF格式BibTeX公司 XML格式引用 \textit{H.Ma}等人，武汉大学自然科学学院。11，第5号，1325--1329（2006；Zbl 1119.68100） 全文： 内政部 参考文献： [1] Abiteboul S，Benjelloun O，Manolescu I，et al.主动XML：对等数据和Web服务集成[C]//第28届超大数据库国际会议论文集。中国香港，2002年8月22日至23日：1087–1090。 [2] Muscholl A，Schwentick T，Segoufin L.主动无上下文游戏[C]//第21届计算机科学理论方面国际研讨会（STACS）论文集。法国蒙彼利埃，2004年3月25-27日：452-464·Zbl 1122.68468号 [3] Milo T，Abiteboul S，Amann B，et al.交换意向性XML数据[C]//ACM SIGMOD国际数据管理会议论文集。美国威斯康星州麦迪逊，2003年6月9-12日：289-300。 [4] Abiteboul S，Milo T，Benjelloun O。主动XML的常规重写和无歧义[C]//第24届ACM数据库系统原理研讨会论文集。美国马里兰州巴尔的摩，2005年6月13-15日：295-303。 [5] Neven F.Automata，Logic，and XML[C]//第16届国际计算机科学逻辑研讨会论文集。2002年9月22日至25日，英国苏格兰爱丁堡：2日至26日。 [6] Milo T，Suciu D，Vianu V.XML变形金刚打字[C]//第19届ACM数据库系统原理研讨会论文集。美国德克萨斯州达拉斯，2000年5月15日至17日：11日至22日。 [7] Martens W，Neven F.排版自上而下统一未排序树传感器[C]//第九届数据库理论国际会议论文集。2003年1月8日至10日，意大利锡耶纳：64-78·Zbl 1022.68037号 [8] 高军，杨东清，汤世伟，等.基于DTD的确定性XPath重写与逻辑优化[J].软件学报，2004,15（12）：1860-1868（Ch）·Zbl 1107.68403号 [9] Martens W，Neven F和Schewentick T.简单正则表达式决策问题的复杂性[C]//第29届计算机科学数学基础国际研讨会论文集。布拉格：捷克共和国，2004年8月22日至27日：889–900·兹比尔1097.68066 [10] Abiteboul S，Benjelloun O，Milo T.积极主动XML[C]//第23届ACM数据库系统原理研讨会论文集。法国巴黎，2004年6月14日至16日：35-45。 [11] 霍普克罗夫特·J·E，莫特瓦尼·R，乌尔曼·J·D。自动机理论、语言和计算导论[M]。北京：清华大学出版社，2002:151-159·Zbl 0980.68066号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。