×

高阶查询的复杂性。 (英语) Zbl 1329.68092号

摘要:高阶转换在数据管理中无处不在。在关系数据库中,高阶查询出现在许多方面,包括查询重写和查询规范。这项工作研究了将高阶转换与普通关系数据库查询语言相结合的语言。我们研究与这些查询语言相关的两个最基本的计算问题——求值问题和包含问题。在与标准类型的lambda演算类似的分析中,我们隔离了每一阶求值的复杂性。我们证明了包含问题(因此,等价问题)在几个重要的子类中是可判定的,特别是在查询常量和变量范围超过正关系运算符的情况下。主要的可判定性结果依赖于不同于经典查询包含中使用的技术。我们还表明,高阶查询的分析与非递归数据日志的评估和包含问题密切相关。

MSC公司:

第68页,共15页 数据库理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abiteboul,S。;船体,R。;维亚努,V.,《数据库基础》(1995),艾迪森·韦斯利·Zbl 0848.68031号
[2] Aho,A.V。;萨吉夫,Y。;Ullman,J.D.,一类关系表达式的有效优化,ACM Trans。数据库系统。,4, 4, 435-454 (1979)
[3] Amer-Yahia,S。;Cho,S。;Srivastava,D.,树型松弛,(EDBT(2002))·Zbl 1054.68762号
[4] Avigad,J.,消除一阶逻辑中的定义和Skolem函数,ACM Trans。计算。日志。,4, 3, 402-415 (2003) ·Zbl 1365.03038号
[5] Bancilhon,F.,关于关系数据库查询语言的完备性,(MFCS(1978))·Zbl 0391.68050号
[6] Benedikt,M。;Gottlob,G.,《虚拟视图对遏制的影响》(VLDB(2010)),297-308
[7] Benedikt,M。;Koch,C.,《从XQuery到关系逻辑》,ACM Trans。数据库系统。,34, 4, 1-48 (2009)
[8] Benedikt,M。;小狗,G。;Vu,H.,正向高阶查询(PODS(2010))
[9] 比约克隆德,H。;马滕斯,W。;Schwentick,T.,树上的联合查询包含,J.Comput。系统。科学。,77, 3, 450-472 (2011) ·Zbl 1215.68087号
[10] Buneman,P。;Ohori,A.,数据库编程中的多态性和类型推理,ACM Trans。数据库系统。,21, 1, 30-76 (1996)
[11] 卡萨诺娃,M。;费金,R。;Papadimitriou,C.,《包含依赖及其与函数依赖的交互》,J.Compute。系统。科学。,28, 1, 29-59 (1984) ·Zbl 0586.68082号
[12] 柯蒂斯,B。;Deutsch,A。;Onose,N.,《查询导出无限视图集的数据源》(ICDT(2009))·Zbl 1263.68048号
[13] Chandra,A.K。;Merlin,P.M.,关系数据库中联合查询的优化实现(STOC(1977))
[14] Chen,W。;Kifer,M。;Warren,D.S.,《HiLog:高阶逻辑编程的基础》,J.Log。程序。,15, 3, 187-230 (1993) ·Zbl 0787.68017号
[15] Cooper,E.,《脚本编写者的梦想:如何用自己的语言编写出色的SQL,并确保其成功》(DBPL(2009))
[16] 库珀,E。;Lindley,S。;瓦德勒,P。;Yallop,J.,《链接:无层网络编程》(FMCO(2007))
[17] Dantsin,E。;艾特,T。;Gottlob,G。;Voronkov,A.,逻辑编程的复杂性和表达能力,ACM计算。调查。,33, 3, 374-425 (2001)
[18] Dong,X。;Halevy,A.Y。;Tatarinov,I.,嵌套XML查询的包含(VLDB(2004))
[19] 埃宾豪斯,H.-D。;Flum,J.,有限模型理论(1999),Springer
[20] 弗莱彻,G.H.L。;Gyssens,M。;Paredaens,J。;Gucht,D.V.,《关系代数在有限关系对集上的表达能力》,IEEE Trans。知识。数据工程,21,6,939-942(2009)
[21] Girard,J.Y。;泰勒,P。;Lafont,Y.,《证明与类型》(1989),剑桥大学出版社
[22] Gottlob,G。;Papadimitriou,C.,关于单规则数据日志查询的复杂性,信息计算。,183, 1, 104-122 (2003) ·Zbl 1055.68033号
[23] Grust,T。;Mayr,M。;Rittinger,J。;Schreiber,T.,FERRY:数据库支持的程序执行(SIGMOD(2009))
[24] Hillebrand,G.,简单类型lambda演算中的有限模型理论(1994),布朗大学,博士论文
[25] Hillebrand,G。;Kanellakis,P.,《作为固定顺序的lambda计算类型的函数数据库查询语言》(PODS(1994))
[26] Hillebrand,G。;Kanellakis,P.,《关于简单类型和let-polymorphic lambda calculi的表达能力》(LICS(1996))
[27] Hillebrand,G。;Kanellakis,P。;Mairson,H.,嵌入类型化lambda演算的数据库查询语言(LICS(1993))·Zbl 0856.68056号
[28] 辛德利,J.R.,《基本简单类型理论》,剑桥。拖拉机Theor。计算。科学。(2008),剑桥大学出版社·Zbl 1135.03006号
[29] Immerman,N.,可在多项式时间内计算的关系查询,Inf.Control,68,1-3,86-104(1986)·Zbl 0612.68086号
[30] 约翰逊,D.S。;Klug,A.C.,《在函数依赖和包含依赖下测试连接查询的包含》,J.Compute。系统。科学。,第28页,第167-189页(1984年)·Zbl 0563.68081号
[31] Koch,C.,关于非递归XQuery和函数查询语言在复杂值上的复杂性,ACM Trans。数据库系统。,31, 4, 1215-1256 (2006)
[32] 北卡罗来纳州库达斯。;李,C。;董,A。;Vernica,R.,《放松连接和选择查询》(VLDB(2006))
[33] Kozen,D.,自然证明系统的下限,(FOCS(1977)),254-266
[34] Lakshmanan,L.V.S。;萨德里,F。;Subramanian,I.N.,《异构数据库系统中模式集成和演化的逻辑基础》(DOOD(1993))
[35] 利维,A。;Rajaraman,A。;Ullman,J.,使用有限的外部查询处理器回答查询(PODS(1996))·Zbl 0938.68031号
[36] 利维,A.Y。;Suciu,D.,决定复杂对象查询的包含(扩展抽象)(PODS(1997))
[37] Mairson,H.G.,Statman定理的简单证明,Theor。计算。科学。,103, 2, 387-394 (1992) ·Zbl 0762.03007号
[38] Milner,R.,《编程中的类型多态性理论》,J.Compute。系统。科学。,17348-375(1978年)·Zbl 0388.68003号
[39] Neven,F。;Van den Bussche,J。;Van Gucht,D。;Vossen,G.,包含查询的数据库的类型化查询语言,《信息科学》。,24, 7, 569-595 (1999) ·Zbl 0942.68038号
[40] Ohori,A。;Buneman,P。;Breazu-Tannen,V.,《马基雅维利的数据库编程——一种带有静态类型推断的多态语言》(SIGMOD(1989))
[41] Paredaens,J.,《关系代数的表达能力》,Inf.Process。莱特。,7, 2, 107-111 (1978) ·Zbl 0375.68046号
[42] Paredaens,J。;Van Gucht,D.,将嵌套代数表达式转换为平面代数表达式,ACM Trans。数据库系统。,17, 1, 65-93 (1992)
[43] 罗比·J。;张伯林,D。;戴克,M。;Snelson,J.,XQuery 3.0:一种XML查询语言(2010)
[44] Ross,K.A.,《关系名称作为参数的关系:代数和微积分》(PODS(1992))
[45] Ross,K.A.,《论HiLog中的否定》,J.Log。程序。,第18页,第1页,第27-53页(1994年)·Zbl 0803.68016号
[46] 萨吉夫,Y。;Yannakakis,M.,关系表达式与并和差算子的等价性,J.ACM,27,4,633-655(1980)·Zbl 0456.68123号
[47] 舒伯特,A.,《低阶β-还原的复杂性》(TLCA(2001))·Zbl 0981.68025号
[48] Statman,R.,类型化演算不是初等递归,Theor。计算。科学。,9, 1, 73-81 (1979) ·Zbl 0411.03050号
[49] Tannen,V.公司。;Buneman,P。;Wong,L.,《自然嵌入式查询语言》(ICDT(1992))
[50] Ulrich,A.,LINKS编程语言基于FERRY的查询后端(2011),杜宾根大学,硕士论文
[51] Van den Bussche,J。;Van Gucht,D。;Vansummeren,S.,嵌套关系演算和XQuery中的良好定义和语义类型检查,(ICDT(2005)),99-113·Zbl 1108.68448号
[52] Van den Bussche,J。;Van Gucht,D。;Vansummeren,S.,数据库查询速成课程(PODS(2007))
[53] Van den Bussche,J。;Van Gucht,D。;Vansummeren,S.,嵌套关系演算的良好定义和语义类型检查,Theor。计算。科学。,371, 3, 183-199 (2007) ·Zbl 1108.68044号
[54] Van den Bussche,J。;Waller,E.,关系代数的多态类型推断,J.Compute。系统。科学。,64, 3, 694-718 (2002) ·Zbl 1015.68062号
[55] Vansummeren,S.,《确定XQuery片段的精细度》(PODS(2005)),第37-48页
[56] Vardi,M.Y.,关系查询语言的复杂性,(STOC(1982)),137-146
[57] 瓦萨洛斯五世。;Papakonstantinou,Y.,《表达能力描述语言和查询重写算法》,J.Log。程序。,43, 1, 75-122 (2000) ·Zbl 0949.68064号
[58] 沃罗比奥夫,S。;Voronkov,A.,具有复杂值的非递归逻辑程序的复杂性,(PODS(1998))
[59] Vu,H。;Benedikt,M.,《高阶查询的复杂性》(ICDT(2011))
[60] Wong,L.,Kleisli,功能查询系统,J.Funct。程序。,10, 1, 19-56 (2000)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。