×

模块约束和类型检查XML视图的复杂性。 (英语) 兹比尔1173.68026

摘要:将关系数据转换为树数据的类型检查问题如下:给定关系到XML的转换\(P\)和XML类型\(d\),决定对于每个数据库实例\(\mathcal{d}\),\(\mathcal{d}\)上的转换\(P\)的结果是否满足\(d\)。具有无投影连接查询的TreeQL程序[参见(*)N.Alon、T.Milo、F.Neven、D.SuciuV.维亚努,ACM变速器。计算。日志。4,No.3,315–354(2003)]被视为具有任意正则表达式作为XML类型的转换和DTD。
(*)中已经给出了类型检查问题的非基本上界(尽管在更一般的设置中,允许无投影连接查询中的等式和否定以及附加的通用完整性约束)。
在本文中,我们证明了类型检查问题是coNEXPTIME完备的。
作为中间步骤,我们考虑以下问题,这些问题可以独立于XML概念进行表述。给定一组形式为\((varphi,k,j)\的三元组,其中\(varphi\)是无投影连接查询,\(k,j满足\(\mathcal{D}\)中查询\(\varphi\)的元组。我们的主要技术贡献包括最后一个问题的NEXPTIME算法。

MSC公司:

第68季度25 算法和问题复杂性分析
第68页第15页 数据库理论

软件:

放松NG
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abiteboul,S.,Hull,R.,Vianu,V.:数据库基础。Addison-Wesley,雷丁(1995)·Zbl 0848.68031号
[2] Alon,N.、Milo,T.、Neven,F.、Suciu,D.、Vianu,V.:关系数据库的类型检查XML视图。ACM事务处理。计算。日志。4(3), 315–354 (2003) ·doi:10.1145/772062.772065
[3] Alon,N.、Milo,T.、Neven,F.、Suciu,D.、Vianu,V.:带数据值的XML:重新检查类型。J.计算。系统。科学。66(4), 688–727 (2003) ·Zbl 1054.68035号 ·doi:10.1016/S0022-0000(03)00032-1
[4] Chlebus,B.S.:多米诺瓷砖游戏。J.计算。系统。科学。32(3), 374–392 (1986) ·Zbl 0618.68045号 ·doi:10.1016/0022-0000(86)90036-X
[5] 克拉克,J.,村田,M.:放松,NG。网址:http://www.relaxng.org
[6] Ebbinghaus,H.-D.,Flum,J.:有限模型理论。柏林施普林格(1999)·兹比尔0932.03032
[7] Engelfriet,J.,Vogler,H.:宏树换能器。J.计算。系统。科学。31(1), 71–146 (1985) ·Zbl 0588.68039号 ·doi:10.1016/0022-0000(85)90066-2
[8] Fernandez,M.F.,Kadlyska,Y.,Suciu,D.,Morishima,A.,Tan,W.C.:SilkRoute:以XML形式发布关系数据的框架。ACM事务处理。数据库系统。27(4), 438–493 (2002). 数字对象标识代码:0.1145/582410.582413·Zbl 05457013号 ·数字对象标识代码:10.1145/582410.582413
[9] Frisch,A.,Hosoya,H.:面向宏树传感器的实际类型检查。摘自:Arenas,M.,Schwartzbach,M.I.(编辑)数据库编程语言,第11届国际研讨会,DBPL 2007。2007年9月23日至24日,奥地利维也纳。计算机科学课堂讲稿,第4797卷,第246-260页。柏林施普林格出版社(2007)
[10] Maneth,S.、Berlea,A.、Perst,T.、Seidl,H.:使用宏树传感器进行Xml类型检查。Li,C.(编辑)第二十届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集,美国马里兰州巴尔的摩,2005年6月13-15日,第283-294页。ACM,纽约(2005)
[11] Maneth,S.,Perst,T.,Seidl,H.:多项式时间内的精确XML类型检查。收录于:Schwentick,T.、Suciu,D.(编辑)《数据库理论会议录》——2007年ICDT,第11届国际会议,西班牙巴塞罗那,2007年1月10-12日。计算机科学课堂讲稿,第4353卷,第254-268页。柏林施普林格出版社(2007)
[12] Martens,W.,Neven,F.:关于自上而下的XML转换类型检查的复杂性。西奥。计算。科学。336(1), 153–180 (2005) ·Zbl 1080.68021号 ·doi:10.1016/j.tcs.2004.10.035
[13] Martens,W.,Neven,F.:简单XML转换类型检查的易处理性前沿。J.计算。系统。科学。73(3), 362–390 (2007) ·Zbl 1115.68058号 ·doi:10.1016/j.jcss.2006.10.005
[14] Martens,W.,Neven,F.,Gyssens,M.:关于自上而下的XML转换类型检查:固定的输入或输出模式。Inf.计算。206(7), 806–827 (2008) ·Zbl 1154.68370号 ·doi:10.1016/j.ic.2008.01.002
[15] Martens,W.,Neven,F.,Schwentick,T.,Bex,G.J.:XML模式的表达性和复杂性。ACM事务处理。数据库系统。31(3), 770–813 (2006) ·数字对象标识代码:10.1145/1166074.1166076
[16] Milo,T.,Suciu,D.,Vianu,V.:XML转换器的类型检查。J.计算。系统。科学。66(1),66–97(2003)·兹比尔1026.68045 ·doi:10.1016/S0022-0000(02)00030-2
[17] Murata,M.、Lee,D.、Mani,M.和Kawaguchi,K.:使用形式语言理论对XML模式语言进行分类。ACM事务处理。互联网技术5(4),660-704(2005)·Zbl 05458172号 ·数字对象标识代码:10.1145/1111627.1111631
[18] W3C:可扩展标记语言(XML)1.0。http://www.w3.org/TR/xml (1999)
[19] W3C:XML模式第1部分:结构。http://www.w3.org/TR/xmlschema-1 (2004)
[20] Wieczorek,P.:关系数据库的XML视图类型检查的复杂性。收录于:Schwentick,T.、Suciu,D.(编辑)《数据库理论会议录》——2007年ICDT,第11届国际会议,西班牙巴塞罗那,2007年1月10-12日。计算机科学课堂讲稿,第4353卷,第239-253页。柏林施普林格出版社(2007)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。