×
维姆·马滕斯;弗兰克，内文

简单XML转换类型检查的易处理性前沿。 （英语） Zbl 1115.68058号

J.计算。系统。科学。 73，第3期，362-390（2007）.
摘要：类型检查包括静态验证XML转换的输出是否始终符合满足给定输入类型的文档的输出类型。我们专注于完整的算法，这些算法总能产生正确的答案。我们考虑通过语法和树自动机将XPath表达式和抽象文档类型合并到自顶向下的XML转换中。通过限制模式语言和转换，我们确定了可以在多项式时间内进行类型检查的几种实用设置。此外，生成的框架提供了一个相当完整的画面，因为我们表明，如果不使类型检查问题变得棘手，则无法放大大多数场景。因此，本研究揭示了何时使用快速完成算法，以及何时驻留到正确但不完整的算法。

引用于13文件

MSC公司：

68第05页 数据结构

关键词：

XML格式;XSLT（XSLT）;树变换;打字检查;无支架树传感器;复杂性

软件：

XPath（XPath）;取消QL;X减少;C导管
PDF格式BibTeX公司 XML格式引用
\textit{W.Martens}和\textit{F.Neven}，J.Compute。系统。科学。73，No.3，362--390（2007；Zbl 1115.68058）
全文： 内政部 链接

参考文献：

[1] Alon，N。；Milo，T。；Neven，F。；苏秋（D.Suciu）。；Vianu，V.，关系数据库的类型检查XML视图，ACM Trans。计算。日志。，315-354年4月3日（2003年）·Zbl 1365.68193号
[2] Alon，N。；Milo，T。；Neven，F。；苏秋（D.Suciu）。；Vianu，V.，《带数据值的XML：重新检查类型》，J.Compute。系统科学。，66, 4, 688-727 (2003) ·Zbl 1054.68035号
[3] Benedikt，M。；风扇，W。；Geerts，F.，DTD存在下的XPath可满足性，（第24届数据库系统原理研讨会论文集。第24届数据系统原理研讨会文献集，PODS 2005（2005），ACM出版社），25-36·Zbl 1326.68154号
[4] Bex，G.J。；Maneth，S。；Neven，F.，XSLT表达片段的形式化模型，信息系统，27，1，21-39（2002）·兹比尔1004.68059
[5] A.Brüggemann-Klein，M.Murata，D.Wood，未排序字母上的正则树和正则树篱语言：第1版，2001年4月3日，技术报告HKUST-TCSC-2001-0，香港科技大学，2001年；A.Brüggemann-Klein，M.Murata，D.Wood，无等级字母上的规则树和规则对冲语言：第1版，2001年4月3日，技术报告HKUST-TCSC-2001-0，香港科技大学，2001
[6] Buneman，P。；费尔南德斯，M。；Suciu，D.，UnQl:基于结构递归的半结构化数据的查询语言和代数，VLDB J.，9，1，76-110（2000）
[7] 克拉克·J。；DeRose，S.，XML路径语言（XPath）（1999）
[8] 科蒙，H。；多切特，M。；吉列隆，R。；Jacquemard，F。；Lugiez，D。；蒂森，S。；Tommasi，M.，《树自动机技术和应用》（1997年），在线阅读：
[9] Cook，S.A.，《关于时间-存储权衡的观察》，J.Compute。系统科学。，308-316年9月3日（1974年）·Zbl 0306.68026号
[10] 弗里希，A。；卡斯塔尼亚，G。；Benzaken，V.，CDuce:一种以XML为中心的通用语言，（第八届ACM SIGPLAN函数编程国际会议论文集。第八届AC M SIGPLAN函数编程国际大会论文集，ICFP 2003（2003），ACM出版社），51-63·Zbl 1315.68046号
[11] Garey，M.R。；Johnson，D.S.，《计算机与不可纠正性：NP-完备性理论指南》（1979），弗里曼·Zbl 0411.68039号
[12] Gécseg，F。；Steinby，M.，《树语言》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第3卷（1997），Springer），1-68，（第1章）·Zbl 0396.68041号
[13] 格林·T·J。；米克劳，G。；Onizuka，M。；Suciu，D.，用确定性自动机处理XML流，（第九届数据库理论国际会议论文集。第九届国际数据库理论会议论文集，ICDT 2003（2003），Springer），173-189·Zbl 1022.68512号
[14] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，自动机理论、语言和计算导论（2001），Addison Wesley·Zbl 0980.68066号
[15] Hosoya，H。；Pierce，B.C.，XDouce:一种静态类型的XML处理语言，ACM-Trans。互联网技术，3，2，117-148（2003）
[16] Engelfriet，J。；Maneth，S.，《鹅卵石树传感器与巨树传感器的比较》，Acta Inform。，39, 613-698 (2003) ·Zbl 1060.68062号
[17] Kozen，D.，自然证明系统的下限，（第18届计算机科学基础年度研讨会论文集。第18届计算科学基础年度会议论文集，FOCS 1977（1977），IEEE），254-266
[18] D.Lee，M.Mani，M.Murata，《使用形式语言理论推理XML模式语言》，技术报告，IBM Almaden研究中心，2000年，Log#95071；D.Lee，M.Mani，M.Murata，使用形式语言理论对XML模式语言进行推理，技术报告，IBM Almaden研究中心，2000，日志#95071
[19] Maneth，S。；Neven，F.，基于XSL的结构化文档转换，（结构化和半结构化数据库编程中的研究问题。结构化和半结构数据库编程的研究问题，DBPL 1999（2000），Springer），79-96·Zbl 1044.68584号
[20] W.Martens，XML转换和模式语言的静态分析，哈塞尔大学和林堡跨国大学博士论文，2006；W.Martens，XML转换和模式语言的静态分析，哈塞尔大学和林堡跨国大学博士论文，2006
[21] 马滕斯，W。；Neven，F.，关于类型检查自上而下的XML转换的复杂性，定理。计算。科学。，336, 1, 153-180 (2005) ·Zbl 1080.68021号
[22] 马滕斯，W。；Neven，F。；Gyssens，M.，On typechecking top-down XML transformations:Fixed input or output schemas（2006），提交出版，CoRR，cs。DB/0606094，网址：·Zbl 1154.68370号
[23] 马滕斯，W。；Neven，F。；Schwentick，T.，简单正则表达式决策问题的复杂性，（第29届计算机科学数学基础国际研讨会论文集。第29届国际计算机科学数学理论研讨会论文集，MFCS 2004（2004），Springer），889-900·Zbl 1097.68066号
[24] 马滕斯，W。；内文，F。；Schwentick，T.，简单正则表达式决策问题的复杂性。[23]（2005）的完整版本，正在编制中，网址：
[25] 米克劳，G。；Suciu，D.，XPath片段的包含和等价，J.ACM，51，1，2-45（2004）·Zbl 1316.68047号
[26] Milo，T。；Suciu，D.，半结构化数据查询的类型推断，（第18届ACM数据库系统原理研讨会论文集。第18届APM数据库系统原则研讨会论文集，PODS 1999（1999），ACM出版社），215-226
[27] Milo，T。；苏秋（D.Suciu）。；Vianu，V.，《XML转换器的类型检查》，J.Compute。系统科学。，66, 1, 66-97 (2003) ·兹比尔1026.68045
[28] Neven，F.，XML研究人员的自动机理论，SIGMOD记录，31，3（2002）
[29] Neven，F。；Schwentick，T.，存在析取、DTD和变量时的XPath包容，（第九届数据库理论国际会议论文集。第九届国际数据库理论会议论文集，ICDT 2003（2003），Springer），315-329·Zbl 1022.68520号
[30] Papakonstantinou，Y。；Vianu，V.，XML数据视图的DTD推断，（第19届数据库系统原理研讨会论文集，第19届数据系统原理研讨会，PODS 2000（2000），ACM出版社），35-46
[31] Papakonstantinou，Y。；Vianu，V.，XML文档的增量验证，（第九届数据库理论国际会议论文集。第九届国际数据库理论会议论文集，ICDT 2003（2003），Springer），47-63·Zbl 1022.68521号
[32] Sipser，M.，《计算理论导论》（1997），布鲁克斯/科尔出版社·Zbl 1169.68300号
[33] Sperberg-McQueen，C.M。；Thompson，H.，XML模式（2005）
[34] Stockmeyer，L.J。；Meyer，A.R.，《需要指数时间的单词问题：初步报告》，（第五届美国计算机学会计算理论研讨会会议记录。第五届全美计算机学会计算机理论研讨会会议纪录，STOC 1973（1973），美国计算机学会出版社），1-9·Zbl 0359.68050号
[35] Suciu，D.，半结构化数据的类型检查，（第八届数据库和编程语言研讨会论文集。第八届数据库和编程语言会议论文集，DBPL 2001（2001），Springer），1-20·Zbl 1098.68555号
[36] Suciu，D.，XML类型检查问题，SIGMOD记录，31，1，89-96（2002）
[37] Tozawa，A.，朝向XSLT的静态类型检查，（ACM文档工程研讨会论文集。ACM文档工程学研讨会论文集，DOCENG 2001（2001），ACM），18-27
[38] P.T.Wood，DTD约束下XPath片段的包含。[40]的完整版本；P.T.Wood，DTD约束下XPath片段的包含。[40]的完整版本·Zbl 1022.68524号
[39] P.T.Wood，最小化简单XPath表达式，摘自：第四届网络和数据库国际研讨会论文集，WebDB 2001年，2001年，第13-18页；P.T.Wood，最小化简单XPath表达式，载于：第四届网络与数据库国际研讨会论文集，WebDB 2001，2001，第13-18页
[40] Wood，P.T.，《DTD约束下XPath片段的包容》，（第九届数据库理论国际会议论文集，第九届国际数据库理论会议论文集），ICDT 2003（2003），Springer，300-314·Zbl 1022.68524号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。