×
迈克尔·迈尔;迈克尔·施密特;魏芳;乔治·劳森

存在类型时的语义查询优化。 （英语） Zbl 1408.68049号

J.计算。系统。科学。 79，第6期，937-957（2013）.
摘要：语义和基于类型的查询优化都依赖于这样的思想，即如果数据库的状态空间受到限制，查询可能会出现非平凡的重写。虽然这两个问题在以前的工作中一直是作为单独的问题进行研究的，但在本文中，我们提出了一个统一的、基于逻辑的查询优化框架，该框架建立在经典chase算法的基础上，并将这两个问题结合在一起。作为一个主要挑战，我们的新设置要求在包含否定和析取的依赖项存在的情况下，使用并集和否定来追踪连接查询。为了解决这个问题，我们研究了追逐在这种情况下的适用性，开发了保证其终止的新条件，确定了最小查询计算（w.r.t.是一个通用的代价函数）总是可能的片段，并研究了相关决策问题的复杂性。

引用于2文件

MSC公司：

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

关键词：

关系数据库;查询处理;查询优化;类型;约束条件;追逐

软件：

数据日志
PDF格式BibTeX公司 XML格式引用
\textit{M.Meier}等人，《计算杂志》。系统。科学。79，第6号，937--957（2013；Zbl 1408.68049）
全文： 内政部

参考文献：

[1] 比里，C。；Vardi，M.Y.，《数据相关性的证明程序》，J.ACM，31，4，718-741（1984）·Zbl 0632.68097号
[3] Buneman，P。；风扇，W。；Weinstein，S.，路径和类型约束之间的交互，ACM Trans。计算。日志。，4, 4, 530-577 (2003) ·Zbl 1365.68197号
[6] Calvanee，D。；贾科莫，G。；伦博，D。；Lenzerini，M。；Rosati，R.，描述逻辑中的可牵引推理和高效查询回答：DL Lite家族，J.Automat。原因。，39, 3, 385-429 (2007) ·Zbl 1132.68725号
[7] 加尔文人，D。；Giacomo，G.D。；Lenzerini，M.，描述逻辑约束下的连接查询包含和应答，ACM Trans。计算。日志。，9, 3, 1-31 (2008) ·Zbl 1367.68084号
[8] 查克拉瓦蒂，美国。；格兰特·J。；Minker，J.，基于逻辑的语义查询优化方法，ACM Trans。数据库系统。，15, 2, 162-207 (1990)
[12] Deutsch，A。；Ludäscher，B。；Nash，A.，在完整性约束下使用具有访问模式的视图重写查询，定理。计算。科学。，371, 3, 200-226 (2007) ·Zbl 1108.68040号
[14] Deutsch，A。；波帕，L。；Tannen，V.，《带约束的查询重新制定》，SIGMOD Rec.，35，1，65-73（2006）
[15] Dong，G。；Su，J.，关于视图和约束的连接查询包含，Inform。过程。莱特。，57, 2, 95-102 (1996) ·Zbl 1022.68508号
[16] Fagin，R.，Horn子句和数据库依赖性，J.ACM，29，4，952-985（1982）·Zbl 0493.68092号
[17] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，理论。计算。科学。，336, 1, 89-124 (2005) ·Zbl 1080.68019号
[18] 风扇，W。；Libkin，L.，《关于DTD存在下的XML完整性约束》，J.ACM，49，3，368-406（2002）·Zbl 1326.68120号
[22] Greco，S。；Spezzano，F.，Chase终止：一种约束重写方法，VLDB，3，93-104（2010）
[23] Halevy，A.Y.，《使用视图回答查询：调查》，VLDB，10，4，270-294（2001）·Zbl 1012.68910号
[25] 约翰逊博士。；Klug，A.C.，《在函数依赖和包含依赖下测试连接查询的包含》，J.Compute。系统科学。，28, 1, 167-189 (1984) ·Zbl 0563.68081号
[26] Kifer，M。；劳森，G。；Wu，J.，面向对象和基于框架语言的逻辑基础，J.ACM，42，4，741-843（1995）·Zbl 0885.68054号
[31] 利特温，W。；Risch，T.，《使用带外部谓词的类型化数据日志进行面向内存的oo查询优化》，IEEE Trans。了解。数据工程，4，6，517-528（1992）
[32] Maier，D。；孟德尔松，A.O。；Sagiv，Y.，《数据依赖性的测试含义》，ACM Trans。数据库系统。，4, 4, 455-469 (1979)
[34] Meier，M.，《关于追踪算法的终止》（2010年），弗莱堡大学论文
[35] Meier，M。；施密特，M。；Lausen，G.，《超越分层的追逐终结》，PVLDB，2，1，970-981（2009）
[45] Stockmeyer，L.J.，多项式时间层次，理论。计算。科学。，3, 1-22 (1976) ·Zbl 0353.02024号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。