×

基于重写的XML存储库修复策略。 (英语) Zbl 1283.68130号

摘要:保持XML数据在结构和内容上的一致状态是一项繁重的任务。为了维护越来越大、越来越复杂的XML存储库的一致性,需要能够修复所有可能的不一致性的合适机制。在本文中,我们提出了一种半自动修复有缺陷的XML存储库的方法,这些存储库可以集成在现有的基于重写的验证引擎之上。作为表示一致性标准的正式基础,我们使用基于规则的描述形式主义,该形式主义是用Maude语言实现的。然后,从对验证过程中发现的错误类型进行分类开始,我们制定了一个逐步转换过程,该过程在严格遵守XML文档结构的同时,根据其Maude形式规范实现了XML存储库的正确性和完整性。为了提高我们修复方法的自动化水平,我们还定义了两个更正策略和两个完成策略,以减少要更改的信息量或要执行的修复操作数,从而提供正确和完整的XML存储库。最后,我们描述了修复工具的原型实现,并用它对我们的方法进行了实验评估,取得了良好的结果。

MSC公司:

68第05页 数据结构
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 亚历山大,L。;Coelho,J.,《web内容验证的高级方法》,《计算机科学、工程与应用进展》,《智能与软计算进展》,166755-764(2012)
[2] Alpunte,M。;Ballis博士。;Falaschi,M.,VERDI:一种用于网站验证的自动化工具,(Alferes,J.J.;Leite,J.,第九届欧洲人工智能逻辑会议(JELIA’04)。程序。第九届欧洲人工智能逻辑会议(JELIA’04),《计算机科学讲义》,第3229卷(2004),施普林格出版社,726-729
[3] Alpunte,M。;Ballis,D。;Falaschi,M.,《基于重写的网站验证框架》,Proc。第1届基于规则的编程国际研讨会(规则04)。程序。第1届基于规则的编程国际研讨会(规则04),ENTCS,124,1,41-61(2005)
[4] Alpunte,M。;Ballis,D。;Falaschi,M.,《基于规则的网站验证》,《技术转让软件工具》,第8565-585页(2006年)
[5] Alpunte,M。;Ballis,D。;法拉斯基,M。;奥杰达,P。;Romero,D.,《网站验证的抽象通用框架》,(2008年国际应用与互联网研讨会(SAINT 2008)(2008),IEEE计算机学会),104-110
[6] Alpunte,M。;Ballis,D。;法拉斯基,M。;奥杰达,P。;Romero,D.,《快速代数网络验证服务》,(第一届网络推理和规则系统国际会议(RR 2007),第。第一届网络推理和规则系统国际会议(RR 2007),in,《计算机科学讲稿》,第4524卷(2007)),239-248
[7] Alpunte,M。;Ballis,D。;法拉斯基,M。;Romero,D.,《修复故障网站的半自动方法》,(第四届IEEE软件工程与形式方法国际会议论文集,第四届软件工程与格式方法国际会议文献集,SEFM 06(2006),IEEE计算机社会出版社),31-40
[8] 阿尔普恩特,M。;Ballis,D。;Romero,D.,《重写逻辑中web应用程序的规范和验证》(形式方法,FM 2009年第二届世界大会)。形式方法,FM 2009第二届世界大会,计算机科学讲义,第5850卷(2009),Springer),790-805
[9] Ballis,D。;Romero,D.,《使用纠正策略修复网站》,(第二届网络系统自动规范和验证国际研讨会(WWV’06)。程序。《第二届网络系统自动规范和验证国际研讨会》(WWV?06),塞浦路斯帕福斯(2007),IEEE计算机学会出版社,11-19
[10] 巴克斯特,I.D。;Ricca,F。;Tonella,P.,《基于重写规则的Web应用程序转换》,《信息与软件技术》,44,811-825(2002)
[11] 贝托西,L。;Pinto,J.,《为数据库维护指定活动规则》(Saake,G.;Schwarz,K。;Turker,C.,《事务与数据库动力学》,第八届数据和对象模型和语言基础国际研讨会。《事务与数据库动力学》,第8届国际数据与对象模型与语言基础研讨会,《计算机科学讲义》,第1773卷(1999年),施普林格出版社,112-129
[12] Capra,L.公司。;艾默里奇,W。;芬克尔斯坦,A。;Nentwich,C.,xlinkit:一致性检查和智能链接生成服务,《ACM互联网技术交易》,第2期,第151-185页(2002年)
[13] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Talcott,C.,《关于Maude:高性能逻辑框架的一切》,《计算机科学讲义》,第4350卷(2007年),Springer-Verlag·Zbl 1115.68046号
[14] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Talcott,C.,《Maude 2.0系统》(重写技术与应用)(RTA 2003)。重写技术与应用(RTA 2003),计算机科学讲稿,第2706卷(2003),76-87·Zbl 1038.68559号
[15] 科埃略,J。;Florido,M.,基于类型的静态和动态网站验证,(互联网和Web应用与服务国际会议(ICIW 2007)。2007年5月13日至19日(2007年)在毛里求斯勒莫举行的互联网和网络应用与服务国际会议(ICIW 2007),IEEE计算机学会),32
[16] 科埃略,J。;Florido,M.,XCentric:XML处理的逻辑编程,(Fundulaki,I.;Polyzotis,N.,第九届ACM网络信息和数据管理国际研讨会(WIDM 2007)。第九届ACM网络信息和数据管理国际研讨会(WIDM 2007),葡萄牙里斯本,2007年11月9日(2007),ACM),1-8
[17] 科埃略,J。;Dundua,B。;弗洛里多,M。;Kutsia,T.,《基于规则的XML处理和web推理方法》(Hitzler,P.;Lukasiewicz,T.),《web推理和规则系统——第四届国际会议论文集》(RR 2010)。Web推理和规则系统——第四届国际会议(RR 2010),会议记录,布列萨诺/布里森,意大利,2010年9月22日至24日。网络推理和规则系统——第四届国际会议(RR 2010),会议记录。Web推理和规则系统-第四届国际会议(RR 2010),会议记录,Bressanone/Brixen,意大利,2010年9月22-24日,计算机科学讲稿,第6333卷(2010),Springer),164-172
[18] 北卡罗来纳州德肖维茨。;Plaisted,D.,重写,(《自动推理手册》,第1卷(2001)),535-610·Zbl 0992.68123号
[19] Henzinger,M.R。;Henzinger,T.A。;Kopke,P.W.,有限图和无限图上的计算模拟,(IEEE计算机科学发现交响曲(1995)),453-462·Zbl 0938.68538号
[20] Hosoya,H。;Pierce,B.,XML的正则表达式模式匹配,(第25届ACM SIGPLAN-SIGCT国际研讨会论文集,POPL(2001),ACM),67-80·Zbl 1323.68076号
[21] 基什内尔,C。;钱,Z。;辛格,P.-K。;Stuber,J.,《Xemantics:重写XSLT的基于计算的语义》(2002),Rapport de recherche A01-R-386
[22] Klop,J.,术语重写系统,(Abramsky,S.;Gabbay,D.;Maibaum,T.,《计算机科学逻辑手册》,第一卷(1992),牛津大学出版社),1-112
[23] Leuschel,M.,符号方法在线终止的同胚嵌入,(计算的本质。计算的本质,计算机科学讲义,第2566卷(2002)),379-403·Zbl 1026.68028号
[24] Mancarella,P。;Terreni,G。;Toni,F.,通过诱拐修复网站,《理论计算机科学电子笔记》,235137-152(2009)
[25] Mayol,E。;Teniente,E.,《当前完整性约束维护和视图更新方法的调查》,(《概念建模进展程序》(ER?99)。程序。《概念建模进展》,《计算机科学讲义》,第1727卷(1999年),施普林格出版社,62-73
[26] Meseguer,J.,《重写逻辑的二十年》,《逻辑与代数编程杂志》,81,7-8,721-781(2012年10月至11月)
[28] 新墨西哥州马丁·奥列特。;帕洛米诺,M。;Verdejo,A.,按主题重写逻辑书目:1990-2011,《逻辑与代数编程杂志》,81,7-8,782-815(2012年10月-11月)
[29] Nentwich,C。;艾默里奇,W。;Finkelstein,A.,《具有修复行为的一致性管理》,(第25届国际软件工程会议议事录,第25届软件工程国际会议议事录),ICSE 03(2003),IEEE计算机学会,455-464
[30] 谢夫奇克,J。;博格霍夫,U.M。;Rödig,P。;Schmitz,L.,一致性文档工程:形式化异构存储库的类型安全一致性规则,(2003年ACM文档工程研讨会论文集(DocEng’03)(2003),ACM出版社),140-149
[31] 谢夫奇克,J。;Rödig,P。;博格霍夫,U.M。;Schmitz,L.,通过优先修复管理不一致的存储库,(2004年ACM文档工程研讨会论文集(DocEng’04)(2004),ACM出版社),137-146
[32] 谢夫奇克,J。;Rödig,P。;博格霍夫,U.M。;Schmitz,L.,S-DAGs:走向高效的文档修复生成,(第二届国际计算、通信和控制技术会议论文集,第2卷(2004)),308-313
[33] 施密特,A。;Waas,F。;Kersten,M.L。;凯里,M.J。;马诺莱斯库,I。;Busse,R.,XMark:XML数据管理基准,(VLDB 2002,第28届国际超大数据库会议论文集,VLDB 2002年,第28次国际超大数据库大会论文集,中国香港,2002年8月20日至23日),974-985
[34] (TeReSe,《术语重写系统》(2003),剑桥大学出版社:剑桥大学出版社,英国剑桥)·Zbl 1030.68053号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。