×

可调节差异。 (英语) Zbl 1235.68066号

本文分析了数据库理论、视图维护和视图适配中的几个相关问题,将它们作为使用视图(其中必须允许关系差异)重新构造查询的实例进行统一研究。作者介绍了关系数据库的新的(mathbb{Z})语义,并表明在这种语义下,查询具有一种正常形式,表示为两个其他正表达式查询的差异。这种特殊形式的存在意味着等价问题在这样获得的形式系统中的可判定性。然后,提供了一个使用\(mathbb{Z}\)关系上的视图进行查询重新格式化的完善算法。最后,作者将他们的框架与更标准的关系语义形式联系起来,即集合语义和袋语义。
我想说的是,我觉得这篇论文读起来很愉快,主要有两个原因。首先,我非常欣赏(mathbb{Z})语义背后的基本思想:如此简单明了;当读者问自己,为什么以前没有人提出过这个问题时,这就是其中一种情况?在科学领域,从长远来看,这种想法往往是最成功的。第二,尽管论文中所涉及的技术材料远不是直截了当的,但阅读论文是非常愉快的,而且,我敢说,即使对于不爱阅读的读者来说,也很容易。这是为什么?这里的驱动力似乎是一篇非常优美的散文和一个精心设计的演示“情节”。
总之,这是一篇非常好的论文,我敢肯定,它可能会成为数据库理论的“经典”。

MSC公司:

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

软件:

火山
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Abiteboul,S.,Hull,R.,Vianu,V.:数据库基础。Addison-Wesley,雷丁(1995)·Zbl 0848.68031号
[2] Afrati,F.,Pavlaki,V.:使用否定视图重写查询。AI通讯。19, 229–237 (2006) ·Zbl 1104.68036号
[3] Chandra,A.K.,Merlin,P.M.:关系数据库中联合查询的最佳实现。在:STOC(1977)
[4] Chaudhuri,S.、Krishnamurthy,R.、Potamianos,S.和Shim,K.:用物化视图优化查询。In:ICDE(1995)
[5] Chaudhuri,S.、Vardi,M.Y.:实际连接查询的优化。收录于:PODS,第59-70页(1993年)
[6] Cohen,S.:聚合查询的遏制。SIGMOD记录34(1),77–85(2005)·Zbl 05443970号 ·数字对象标识代码:10.1145/1058150.1058170
[7] Cohen,S.、Nutt,W.、Sagiv,Y.:使用视图重写具有任意聚合函数的查询。ACM事务处理。数据库系统。31(2), 672–715 (2006) ·Zbl 05457014号 ·doi:10.1145/1138394.1138400
[8] Cohen,S.、Nutt,W.、Sagiv,Y.:确定联合聚合查询之间的等价性。J.ACM 54(2)(2007)·兹比尔1292.68043
[9] Cohen,S.、Nutt,W.、Serebrenik,A.:使用视图重写聚合查询。In:PODS(1999)
[10] Cohen,S.,Sagiv,Y.,Nutt,W.:带否定的聚合查询之间的等价性。ACM事务处理。计算。日志。6(2), 328–360 (2005) ·Zbl 1367.68085号 ·数字对象标识代码:10.1145/1055686.1055691
[11] Cormen,T.H.,Leiserson,C.E.,Rivest,R.L.:算法导论。McGraw-Hill/MIT出版社,纽约/剑桥(1990)·Zbl 1158.68538号
[12] Deutsch,A.,Popa,L.,Tannen,V.:带约束的查询重新制定。SIGMOD记录35(1),65-73(2006)·Zbl 05444077号 ·doi:10.1145/121995.1122010
[13] Duschka,O.M.,Genesereth,M.R.:使用视图回答递归查询。In:PODS(1997)
[14] Graefe,G.,McKenna,W.J.:火山优化器生成器:可扩展性和高效搜索。In:ICDE(1993)
[15] Green,T.J.:关于注释关系的连接查询的遏制。In:ICDT(2009)·Zbl 1222.68075号
[16] Green,T.J.,Ives,Z.G.,Tannen,V.:可调节差异。In:ICDT(2009)
[17] Green,T.J.,Karvounarakis,G.,Ives,Z.G,Tannen,V.:用映射和出处更新交换。参见:VLDB(2007)。修订版作为宾夕法尼亚大学报告MS-CIS-07-26提供
[18] Green,T.J.,Karvounarakis,G.,Tannen,V.:起源半环。In:PODS(2007)
[19] Gupta,A.、Mumick,I.S.、Rao,J.、Ross,K.A.:在重新定义后调整物化视图:技术和性能研究。信息系统。26(5), 323–362 (2001) ·Zbl 0984.68054号 ·doi:10.1016/S0306-4379(01)00024-2
[20] Gupta,A.,Mumick,I.S.,Subrahmanian,V.S.:增量维护视图。In:SIGMOD(1993)
[21] Haas,L.M.、Freytag,J.C.、Lohman,G.M.、Pirahesh,H.:Starburst中的可扩展查询处理。In:SIGMOD(1989)
[22] Halevy,A.Y.:使用视图回答查询:调查。VLDB J.10(4)(2001)·Zbl 1012.68910号
[23] Hell,P.,Nešetřil,J.:图与同态。牛津大学出版社,伦敦(2004)
[24] Ioannidis,Y.E.,Ramakrishnan,R.:合取查询的包含:超越关系集。TODS 20(3),288-324(1995)·doi:10.1145/211414.211419
[25] Jayram,T.S.,Kolaitis,P.G.,Vee,E.:带不等式的实连接查询的包含问题。In:PODS(2006)
[26] Klop,J.W.:《计算机科学逻辑手册》,第2卷。牛津大学出版社,伦敦(1992),第1章
[27] Koch,C.:数据库环中的增量查询评估。收录于:PODS,第87–98页(2010年)
[28] Levy,A.Y.,Mendelzon,A.O.,Sagiv,Y.,Srivastava,D.:使用视图回答查询。In:PODS(1995)
[29] Levy,A.Y.、Rajaraman,A.、Ordille,J.J.:使用源描述查询异构信息源。In:VLDB(1996)
[30] Lovász,L.:结构操作。数学学报。挂。18(3–4), 321–328 (1967) ·Zbl 0174.01401号 ·doi:10.1007/BF02280291
[31] Mitra,P.:一种使用视图高效回答查询的算法。收录:澳大利亚数据库会议记录(2001年)
[32] Pottinger,R.,Levy,A.:使用视图回答查询的可扩展算法。输入:VLDB(2000)
[33] Raz,R.,Shpilka,A.:非交换模型中的确定性多项式恒等式检验。计算。复杂。14(1), 1–19 (2005) ·Zbl 1096.68070号 ·doi:10.1007/s00037-005-0188-8
[34] Sagiv,Y.,Yannakakis,M.:具有并和差运算符的关系表达式之间的等价性。《美国医学会杂志》27(4),633-655(1980)·Zbl 0456.68123号 ·doi:10.1145/322217.32221
[35] Selinger,P.G.、Astrahan,M.M.、Chamberlin,D.D.、Lorie,R.A.、Price,T.G.:关系数据库管理系统中的访问路径选择。In:SIGMOD(1979)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。