×

兹马思-数学第一资源

可调和的分歧。(英语) Zbl公司 1235.68066
本文分析了数据库理论、视图维护和视图适配中的几个相关问题,并将它们作为视图查询重构问题的实例(必须允许关系差异)。作者介绍了关系数据库的新的\(\mathbb{Z})语义,并指出在这种语义下,查询有一种正规形式,表示为两个正表达式查询的差异。这种特殊形式的存在意味着在这样得到的形式系统中等价问题的可判定性。然后,提供了一个完整的查询重构算法,该算法使用views over \(\mathbb{Z})-关系。最后,作者将他们的框架与更标准的关系语义形式联系起来,即set和bag。
我想说的是,我觉得这篇文章读起来很有趣,主要有两个原因。首先,我非常欣赏隐含在\(\mathbb{Z}\)—语义的基本思想:如此简单明了;当一个读者问自己,为什么以前没有人提出过这个问题?在科学领域,这样的想法从长远来看往往是最成功的。第二,尽管论文中所处理的技术材料远不是直截了当的,但阅读论文是非常愉快的,而且,我敢说,很容易,即使对于非专家读者。为什么会这样?这里的驱动力似乎是一篇非常精妙的散文和精心设计的“情节”。
总之,一篇很好的论文,我敢肯定,它很可能成为数据库理论中的“经典”。

理学硕士:
68页15页 数据库理论
软件:
火山
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Abiteboul,S.,Hull,R.,Vianu,V.:数据库基础。艾迪生·韦斯利,雷丁(1995)·Zbl公司 848.68031
[2] Afrati,F.,Pavlaki,V.:使用带否定的视图重写查询。人工智能公社。19229-237年(2006年)·Zbl公司 1104.68036
[3] Chandra,A.K.,Merlin,P.M.:关系数据库中连接查询的优化实现。入:STOC(1977年)
[4] Chaudhuri,S.,Krishnamurthy,R.,Potamianos,S.,Shim,K.:用物化视图优化查询。输入:ICDE(1995)
[5] Chaudhuri,S.,Vardi,M.Y.:实连接查询的优化。In:PODS,第59-70页(1993年)
[六] 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·数字标识码:10.1145/1138394.1138400
[8] Cohen,S.,Nutt,W.,Sagiv,Y.:决定连接聚合查询之间的等价性。J。ACM 54(2)(2007年)·Zbl公司 1292.68043
[9] Cohen,S.,Nutt,W.,Serebrenik,A.:使用视图重写聚合查询。In:豆荚(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.:算法简介。麦格劳希尔/麻省理工学院出版社,纽约/剑桥(1990)·Zbl公司 1158.68538
[12] Deutsch,A.,Popa,L.,Tannen,V.:带约束的查询重构。SIGMOD记录35(1),65–73(2006)·Zbl公司 05444077·doi:10.1145/1121995.1122010年
[13] Duschka,O.M.,Genesereth,M.R.:使用视图回答递归查询。英寸:吊舱(1997年)
[14] Graefe,G.,McKenna,W.J.:火山优化生成器:可扩展性和高效搜索。1993年
[15] Green,T.J.:注释关系上连接查询的包含。输入:ICDT(2009)·Zbl公司 1222.68075
[16] Green,T.J.,Ives,Z.G.,Tannen,V.:可调和的分歧。输入:ICDT(2009)
[17] Green,T.J.,Karvonarakis,G.,Ives,Z.G.,Tannen,V.:用映射和物源更新交换。在:VLDB(2007年)。修订版可作为宾夕法尼亚大学报告MS-CIS-07-26提供
[18] Green,T.J.,Karvonarakis,G.,Tannen,V.:种源半环。在:豆荚(2007)
[19] Gupta,A.,Mumick,I.S.,Rao,J.,Ross,K.A.:重新定义后适应物化视图:技术和性能研究。信息系统。第26卷第5卷,第323-362页(2001年)·Zbl公司 984.68054·doi:10.1016/S0306-4379(01)00024-2
[20] Gupta,A.,Mumick,I.S.,Subrahmanian,V.S.:增量维护视图。输入:SIGMOD(1993)
[21] Haas,L.M.,Freytag,J.C.,Lohman,G.M.,Pirahesh,H.:Starburst中的可扩展查询处理。输入:SIGMOD(1989)
[22] Halevy,A.Y.:使用视图回答问题:一项调查。VLDB J。10(4)(2001年)·Zbl公司 1012.68910
[23] 见鬼,P,Nešet公司ř图与同态。牛津大学出版社,伦敦(2004)
[24] Ioannidis,Y.E.,Ramakrishnan,R.:连接查询的包含:超越关系作为集合。托兹20(3),288-324(1995)·数字标识码:10.1145/211414.211419
[25] Jayram,T.S.,Kolaitis,P.G.,Vee,E.:带不等式的实连接查询的包含问题。In:PODS(2006年)
[26] Klop,J.W.:计算机科学逻辑手册,第2卷。牛津大学出版社,伦敦(1992年),第一章
[27] Koch,C.:数据库环中的增量查询求值。In:PODS,第87-98页(2010年)
[28] Levy,A.Y.,Mendelzon,A.O.,Sagiv,Y.,Srivastava,D.:使用视图回答查询。英寸:吊舱(1995年)
[29] Levy,A.Y.,Rajaraman,A.,Ordille,J.J.:使用源描述查询异构信息源。输入:VLDB(1996)
[30] ász,L.:结构操作。数学学报。挂。第18卷第3-4页,第321-328页(1967年)·Zbl公司 174.01401·doi:10.1007/BF02280291
[31] Mitra,P.:一种使用视图高效地回答查询的算法。澳大利亚数据库会议记录(2001年)
[32] Pottinger,R.,Levy,A.:使用视图回答查询的可伸缩算法。英寸:VLDB(2000)
[33] Raz,R.,Spilka,A.:非交换模型中的确定性多项式恒等性检验。计算机。复杂。第14卷第1页,第1-19页(2005年)·Zbl公司 1096.68070·doi:10.1007/s00037-005-0188-8
[34] Sagiv,Y.,Yannakakis,M.:具有并集和差分运算符的关系表达式之间的等价性。J。ACM 27(4),633–655(1980年)·Zbl公司 456.68123·数字标识码:10.1145/322217.322221
[35] Selinger,P.G.,Astrahan,M.M.,Chamberlin,D.D.,Lorie,R.A.,Price,T.G.:关系数据库管理系统中的访问路径选择。输入:SIGMOD(1979)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。