×

关于数据库查询的复杂性。 (英语) Zbl 0939.68024号

摘要:作者根据复杂性理论的最新参数改进,重新审视了数据库查询的复杂性问题。我们表明,如果将查询大小(或查询中的变量数)视为一个参数,那么关系演算及其片段(合取查询、正查询)将被分类到所谓的Downey和Fellows的W层次结构的适当级别。这些结果强烈表明,查询大小本质上是任何查询评估算法的数据复杂性的指数,随着查询语言的可表达性的增加,其含义变得更强。从积极的方面来看,我们表明,对于带有(neq)(但不是)不等式的非循环查询的扩展,可以避免这种指数依赖性。

MSC公司:

第68页,共15页 数据库理论

关键词:

数据库查询
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 亚伯拉罕森,K。;唐尼,R.G。;Fellows,M.R.,《固定参数可处理性和完备性IV:关于W[P]和PSPACE类似物的完备性》,Ann.Pure Appl。逻辑,235-276(1995)·Zbl 0828.68077号
[2] Abiteboul,S。;赫尔,R。;维亚努,V.,《数据库基础》(1995),《艾迪森·韦斯利:艾迪森·韦斯利阅读》·Zbl 0848.68031号
[3] Alon,N。;尤斯特,R。;Zwick,U.,《颜色编码》,J.Assoc.Compute。机器。,844-856(1995年)·Zbl 0885.68116号
[4] Buss,J.F。;Goldsmith,J.,P中的非决定论,SIAM J.Compute。,560-572 (1993) ·Zbl 0773.68031号
[5] A.K.Chandra和P.M.Merlin,关系数据库中联合查询的优化实现,收录于Proc。第九届ACM研讨会。竞争理论。,1977年,第77-90页。;A.K.Chandra和P.M.Merlin,关系数据库中联合查询的优化实现,收录于Proc。第九届ACM交响乐团。竞争理论。,1977年,第77-90页。
[6] 唐尼,R.G。;Fellows,M.R.,《固定参数可操纵性和完整性I:基本结果》,SIAM J.Comp。,873-921 (1995) ·Zbl 0830.68063号
[7] R.G.Downey、M.R.Fellows和U.Taylor,关系数据库查询的参数化复杂性和W的改进特征[1],1996年12月,Proc。Conf.离散数学和理论计算机科学,第194-213页。;R.G.Downey、M.R.Fellows和U.Taylor,关系数据库查询的参数化复杂性和W的改进特征[1],1996年12月,Proc。Conf.离散数学和理论计算机科学,第194-213页·Zbl 0918.68018号
[8] Kanellakis,P.C.,《关系数据库理论的要素》(Van Leeuwen,J.,《理论计算机科学手册》(1991),Elsevier:Elsevier Amsterdam),1074-1156·Zbl 0900.68090号
[9] P.C.Kanellakis,《约束编程和数据库语言:教程》,Proc。第14届ACM交响乐团。数据库系统原理。,1995年,第46-53页。;P.C.Kanellakis,《约束编程和数据库语言:教程》,Proc。第14届ACM交响乐团。数据库系统原理。,1995年,第46-53页。
[10] Klug,A.,关于包含不等式的联合查询,J.Assoc.Comput。机器。,146-160 (1988) ·Zbl 0637.68109号
[11] O.Lichtenstein和A.Pnueli,《检查有限状态并发程序是否满足其规范》,1985年,Proc。第十二届ACM年会。程序原则。Lang.,第97-107页。;O.Lichtenstein和A.Pnueli,《检查有限状态并发程序是否满足其规范》,1985年,Proc。第12届ACM年会。程序原则。兰格,第97-107页。
[12] Monien,B.,《如何高效地找到长路径》,Ann.Disc。数学。,239-254 (1985) ·兹比尔0603.68069
[13] Papadimitriou,C.H。;Yannakakis,M.,《关于VC维度的有限不确定性和复杂性》,J.Compute。系统科学。,53, 161-170 (1996) ·Zbl 0859.68031号
[14] N.Robertson和P.D.Seymour,《图的未成年人XIII:不相交路径问题》。;N.Robertson和P.D.Seymour,《图的未成年人XIII:不相交路径问题》·Zbl 0823.05038号
[15] Ullman,J.D.,《数据库和知识库系统原理》(1988),计算。科学。按:计算。科学。纽约新闻社
[16] M.Y.Vardi,关系查询语言的复杂性,1982年,Proc。ACM交响乐团。计算理论,第137-146页。;M.Y.Vardi,关系查询语言的复杂性,1982年,Proc。ACM交响乐团。《计算理论》,第137-146页。
[17] M.Y.Vardi,《关于有界变量查询的复杂性》,1995年,Proc。第14届ACM交响乐团。数据库系统原理。,第266-276页。;M.Y.Vardi,《关于有界变量查询的复杂性》,1995年,Proc。第14届ACM交响乐团。数据库系统原理。,第266-276页。
[18] M.Yannakakis,非循环数据库方案的算法,1981年,Proc。第七届国际会议,《超大数据库》,第82-94页。;M.Yannakakis,非循环数据库方案的算法,1981年,Proc。第七届国际会议,《超大数据库》,第82-94页。
[19] M.Yannakakis,数据库理论观点,1995年,Proc。第36届IEEE交响曲。公司基础。科学委员会,第224-246页。;M.Yannakakis,数据库理论观点,1995年,Proc。第36届IEEE交响曲。公司基础。参见第224-246页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。