埃里克·巴杜埃尔;莫里斯·切佩·切恩吉 在工作流系统中合并层次结构文档。 （英文） Zbl 1279.68064号 Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记203，第5期，3-24页（2008年）。 摘要：我们考虑在复杂的工作流系统中对层次结构文档的操作。这样的系统可能由分布在计算机网络上的几个子系统组成。这些子系统可以同时更新文档的部分视图。有时，我们需要通过将部分视图合并为一致的全局文档来协调各种本地更新。为此，我们将与给定部分视图兼容的潜在无限文档集表示为一个共创数据结构。这个树集是一个规则的树集，可以通过与余代数（某种树自动机）相关联的标准态射（同态射）获得文档部分视图的图像。然后，合并部分视图相当于计算相应正则树集的交集，这些树集可以通过对余代数的同步操作获得。关于整个系列，请参见[Zbl 1276.68005号]. MSC公司： 68第05页 数据结构 2012年第68季度 语法和重写系统 68问题65 抽象数据类型；代数规范 关键词：无上下文文法;余代数;变态;合并结构化文档 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}和\textit{M.TchoupéTchendji}，电子。注释Theor。计算。科学。203，编号5，3-24（2008；兹bl 1279.68064） 全文： 内政部 参考文献： [1] Abiteboul，S.，《关于视图和XML》，in第十八届ACM数据库系统原理研讨会论文集; Abiteboul，S.，《关于视图和XML》，in第十八届ACM数据库系统原理研讨会论文集 [2] Abiteboul，S.，O.，Benjelloun和T.Milo，积极主动的XML，in第二十三届ACM数据库系统原理研讨会论文集; Abiteboul，S.，O.，Benjelloun和T.Milo，积极主动的XML，in第二十三届ACM数据库系统原理研讨会论文集 [3] 谢尔盖·阿布拉莫夫。；Robert Gluck，《通用求解算法：函数语言中的逆计算》，（Backhouse，R.；Oliveira，J.N.，《程序构造数学学报》，2000年。2000年《程序构造数学学报》，计算机科学讲义，第1837卷（2000年），施普林格出版社，187-212·Zbl 0963.68500号 [4] 美国阿斯克伦德，《识别结构合并期间的冲突》北欧规划环境研究研讨会论文集; 美国阿斯克伦德，《识别结构合并期间的冲突》北欧规划环境研究研讨会论文集 [5] Backhouse，Kevin S.，《属性语法的功能语义》，（系统构造和分析工具和算法国际会议，系统构造和解析工具和算法的国际会议，计算机科学讲稿（2002），Springer-Verlag）·Zbl 1043.68562号 [6] Balasubramaniam，S.和Benjamin C.Pierce，什么是文件同步器？在第四届ACM/IEEE移动计算和网络国际年会; Balasubramaniam，S.和Benjamin C.Pierce，什么是文件同步器？在第四届ACM/IEEE移动计算和网络国际年会 [7] Braganholo，V.，《通过xml视图更新关系数据库》。论文提案-编制中，PPGC-UFRGS，阿雷格里港，2002年；Braganholo，V.，《通过xml视图更新关系数据库》。论文提案-编制中，PPGC-UFRGS，阿雷格里港，2002 [8] 查瓦特、苏达尔山；Garcia-Molina，Hector，结构化数据中的有意义变化检测，（ACM SIGMOD国际数据管理会议（1977），ACM出版社），26-37 [9] 查瓦特、苏达尔山；阿南德·拉贾拉曼；赫克托·加西亚·莫利纳；Jennifer Widom，《分层结构信息中的变化检测》（ACM SIGMOD国际数据管理会议（1996），ACM出版社），493-504 [10] Chen，Y.，T.Ling和M.Lee。设计有效的XML视图。ER会议，2002年；Chen，Y.，T.Ling和M.Lee。设计有效的XML视图。ER会议，2002年 [11] Fokker，J.，Functional Parsers，（Jeuring，J.；Meijer，E.，第一国际高级函数编程学校。第一国际高级功能编程学校，计算机科学讲稿，第925卷（1995），Springer-Verlag），1-23 [12] 福克加，M。；Jeuring，J。；Meertens，L。；Meijer，E.，《从属性语法到变形的翻译》，《Squiggolist》，第2、1、20-26页（1991年） [13] Harel，D.，《状态图：复杂系统的可视化形式主义》，《计算机编程科学》，第8231-274页（1987年）·Zbl 0637.68010号 [14] Haskell，一种纯函数语言，网址： [15] 霍维茨，S。；普林斯，J。；Reps，T.，《集成程序的非干扰版本》，《ACM编程语言和系统事务》，11，3，345-387（1989） [16] Hudak，P.、J.Peterson和J.H.Fasel。Haskell 98简介; Hudak，P.、J.Peterson和J.H.Fasel。Haskell 98简介 [17] Hutton，G。；Meijer，E.，Haskell中的一元分析，J.函数编程，8，4，437-444（1998）·Zbl 0917.68039号 [18] 哈索，I。；雅各布斯，B。；Sokolova，A.，《通过共创实现的通用跟踪语义》，《计算机科学中的逻辑方法》，2007年第3期，第4期·Zbl 1131.68058号 [19] Johnsson，T.，《作为函数编程范式的属性语法》，（Kahn，G.，第三届函数编程与计算机架构国际会议论文集，第三次函数编程与计算架构国际会议文献集，FPCA’87。程序。第三届国际功能编程与计算机体系结构会议。程序。第三届函数编程与计算机体系结构国际会议，FPCA’87，计算机科学讲义，第274卷（1987），Springer-Verlag），154-173·Zbl 0633.68072号 [20] 基普什维斯基，B。；ter Hofstede，A.H.M。；van der Aalst，W.M.P.，《工作流控制流的基本原理》，《信息学报》，第39、3、143-202页（2007年）·Zbl 1060.68079号 [21] R.la Fontaine，《合并XML文件：提供XML数据集智能合并的新方法》XML欧洲会议录; R.la Fontaine，《合并XML文件：提供XML数据集智能合并的新方法》XML欧洲会议录 [22] 莱曼，F。；罗尔，D.，《生产流程：概念和技术》（1999），普伦蒂斯·霍尔PTR：普伦蒂斯霍尔PTR上鞍河，新泽西州·兹比尔0945.68539 [23] Lindholm，T.，《XML文档的三向合并》（ACM文档工程研讨会（2004），ACM出版社），1-10 [24] Gerald W.Manger，合并SGML/XML-Instances的通用算法，inXML欧洲会议录; Manger，Gerald W.，用于合并SGML/XML实例的通用算法，在XML欧洲会议录 [25] Mens，T.，软件合并的最新调查，IEEE软件工程汇刊，28，5，449-462（2002） [26] Mu，Shin-Cheng。程序反演的一种计算方法。牛津大学计算实验室博士论文，2003年；Mu，Shin-Cheng。程序反演的一种计算方法。牛津大学计算实验室博士论文，2003年 [27] Mu，Shin-Cheng；理查德·伯德（Bird，Richard），作为折叠的反函数的理论和应用，计算机程序设计科学（程序构造数学专刊），51，87-116（2003）·Zbl 1091.68026号 [28] Mu，S.C。；胡，Z。；Takeichi，M.，《可逆计算的内射语言》（第七届国际程序构造数学会议，第七届程序构造数学国际会议，（MPC 2004），苏格兰斯特林。第七届程序构造数学国际会议。第七届程序构建数学国际会议（MPC 2004），苏格兰斯特林，LNCS（2004年7月），斯普林格-弗拉格·Zbl 1106.68345号 [29] Mu，S.C.，Z.Hu，M.Takeishi，双向更新的代数方法，第二届亚洲程序设计语言和系统研讨会; Mu，S.C.，Z.Hu，M.Takeishi，双向更新的代数方法，第二届亚洲程序设计语言和系统研讨会·兹伯利1116.68411 [30] Mu，S.C。；胡，Z。；Takeishi，M.，基于双向转换、高阶和符号计算开发结构化文档的可编程编辑器，1，1-31（2006） [31] 西蒙·佩顿·琼斯（编辑）。Haskell 98语言和图书馆——修订报告; 西蒙·佩顿·琼斯（编辑）。Haskell 98语言和图书馆——修订报告·Zbl 1067.68041号 [32] 沃特克，D。；Weikum，G.，基于状态图的分布式工作流执行的正式基础，（数据库理论-ICDT’97）。数据库理论-ICDT’97，计算机科学讲义，第1186卷（1997），230-246 [33] XQuery，URL：http://www.w3.org/TR/xquery; XQuery，网址：http://www.w3.org/TR/xquery [34] XSL，URL：http://www.w3.org/TR/xsl/; XSL，网址：http://www.w3.org/TR/xsl/ 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。