×
海宁·科勒；林克，塞巴斯蒂安

SQL中的包含依赖项及其与函数依赖项的交互。 （英语） Zbl 1359.68058号

J.计算。系统。科学。 85, 104-131 (2017).
摘要：在SQL标准的驱动下，我们研究了具有非null约束的简单和部分包含依赖项（IND）。简单IND和非空约束的含义是不可有限公理化的。我们提出包含简单和部分IND的非空包含依赖（NNIND）是有限公理化的，PSPACE是完全的。NNIND在其arity中是可处理的固定参数，类型非循环NNIND是NP难的，树状NNIND在线性时间中是可判定的。我们使用追赶来确定指数时间内函数依赖和非循环NNIND的含义，并确定一个自由条件，以确保函数依赖和无循环（NN）IND之间没有交互作用。

引用于1文件

MSC公司：

第68页，共15页 数据库理论
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

公理化；追逐；复杂性；功能依赖性；包含相关性；无效；部分语义；简单语义；不可判定性；SQL语言

软件：

MS SQL服务器；擅长
PDF格式BibTeX公司 XML格式引用
\textit{H.Koehler}和\textit{S.Link}，J.Compute。系统。科学。85、104——131（2017年；Zbl 1359.68058）
全文： 内政部

参考文献：

[1] 阿比特布尔，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·兹比尔0848.68031
[2] Atzeni，P。；Morfuni，N.M.，《与空值相关的函数依赖性》，Inf.Process。莱特。，18233-238（1984年）·Zbl 0544.68067号
[3] Atzeni，P。；Morfuni，N.M.，数据库关系中空值的函数依赖和约束，Inf.Control，70，1，1-31（1986）·兹比尔0612.68087
[4] Bauckmann，J。；阿贝让，Z。；Leser，美国。；米勒，H。；Naumann，F.，《发现条件包含依赖性》（CIKM（2012）），2094-2098
[5] 比里，C。；Bernstein，P.A.，与规范形式关系模式设计相关的计算问题，ACM Trans。数据库系统。，4, 1, 30-59 (1979)
[6] 比斯库普，J。；Bonatti，P.A.，《在完整信息系统中实施保密性的受控查询评估》，《国际信息安全》。，3, 1, 14-27 (2004)
[7] 比斯库普，J。；Dayal，U。；Bernstein，P.A.，《合成独立数据库模式》（SIGMOD（1979）），143-151
[8] Börger，E。；Grädel，大肠杆菌。；Gurevich，Y.，经典决策问题（1997），Springer·Zbl 0865.03004号
[9] Cabibbo，L.，关于关系映射系统中的密钥、外键和可为null的属性，（EDBT（2009）），263-274
[10] 卡尔？，A。；Calvanee，D。；Lenzerini，M.，《完整性约束下的数据集成》，（信息系统工程学术贡献（2013），施普林格出版社），335-352
[11] 卡尔？，A。；Gottlob，G。；Lukasiewicz，T.，基于数据日志的通用框架，用于在本体上进行易处理的查询应答，（PODS（2009）），77-86
[12] 卡尔？，A。；伦博，D。；Rosati，R.，关于不一致和不完整数据库上查询应答的可判定性和复杂性，（PODS（2003）），260-271
[13] Calvanee，D。；费希尔，W。；皮克勒，R。；Sallinger，E。；Simkus，M.，捕获RDFS中的关系模式和功能依赖，（AAAI（2014）），1003-1011
[14] Calvanee，D。；Rosati，R.，在键和外键下回答递归查询是不可判定的（KRDB（2003））
[15] 卡萨诺娃，M。；费金，R。；Papadimitriou，C.，《包含依赖及其与函数依赖的交互》，J.Compute。系统。科学。，28, 1, 29-59 (1984) ·Zbl 0586.68082号
[16] 卡萨诺娃，M。；Vidal，V.，《朝向声音视图集成方法论》（PODS（1983）），第36-47页
[17] 钱德拉，A。；Vardi，M.，函数依赖和包含依赖的隐含问题是不可判定的，SIAM J.Compute。，14, 3, 671-677 (1985) ·Zbl 0603.68100号
[18] Chen，P.，实体关系模型——走向数据的统一视图，ACM Trans。数据库系统。，1, 1, 9-36 (1976)
[19] 陈，Z。；Narasayya，V。；Chaudhuri，S.，《Microsoft SQL Server PowerPivot for Excel中的快速外键检测》，Proc。荷兰VLDB。，7, 13, 1417-1428 (2014)
[20] Codd，E.，大型共享数据库的数据关系模型，Commun。ACM，13，6，377-387（1970）·Zbl 0207.18003号
[21] Cosmadakis，S。；Kanellakis，P.，《函数和包含依赖：图论方法》（PODS（1984）），29-37
[22] Cosmadakis，S。；Kanellakis，P。；Vardi，M.，一元包含依赖的多项式时间蕴涵问题，J.ACM，37，1，15-46（1990）·Zbl 0698.68090号
[23] Cosmadakis，S.S。；Kanellakis，P.C.，赤道理论和数据库约束，（STOC（1985）），273-284
[24] Date，C.J.，参考完整性，（VLDB（1981）），2-12
[25] 唐尼，R.G。；Fellows，M.R.，参数化复杂性，计算机科学专著（1999），Springer·兹伯利0914.68076
[26] Fagin，R.，关系数据库的多值依赖关系和一种新的范式，ACM Trans。数据库系统。，2, 3, 262-278 (1977)
[27] Farkas，C。；Jajodia，S.，推理问题：一项调查，ACM SIGKDD Explor。新闻。，4, 2, 6-11 (2002)
[28] Gottlob，G。；皮克勒，R。；Wei，F.，通过有界树宽的可追踪数据库设计和数据日志外推，信息系统。，35, 3, 278-298 (2010)
[29] Gryz，J.，《包含依赖的查询折叠》（ICDE（1998）），126-133
[30] Halpin，T.A。；Morgan，T.，《信息建模和关系数据库》（2008），Morgan Kaufmann
[31] Härder，T。；Reinert，J.，SQL2中引用完整性的访问路径支持，VLDB J.，5，3，196-214（1996）
[32] 哈特曼，S。；Kirchberg，M。；Link，S.，《具有函数依赖性的SQL表定义的示例设计》，VLDB J.，21，1，121-144（2012）
[33] 哈特曼，S。；Link，S.，SQL表定义的数据依赖性隐含问题，ACM Trans。数据库系统。，37, 2, 13 (2012)
[34] 约翰逊，D。；Klug，A.，《在函数依赖和包含依赖下测试连接查询的包含》，J.Compute。系统。科学。，28, 1, 167-189 (1984) ·Zbl 0563.68081号
[35] 科勒，H。；Link，S.，重新加载的包含依赖关系（CIKM（2015）），1361-1370
[36] 科勒，H。；Link，S.，《SQL模式设计：基础、范式和规范化》（SIGMOD（2016）），267-279
[37] 科勒，H。；林克，S。；Zhou，X.，可能和某些SQL键，Proc。荷兰VLDB。，8, 11, 1118-1129 (2015)
[38] 莱文，M。；Loizou，G.，关系数据库中的空包含依赖项，Inf.Compute。，136, 2, 67-108 (1997) ·Zbl 0889.68052号
[39] 莱文，M。；Loizou，G.，不完全关系中函数依赖的公理化，Theor。计算。科学。，206, 1-2, 283-300 (1998) ·兹比尔0912.68025
[40] 莱文，M。；Loizou，G.，《如何防止功能依赖和包含依赖的交互作用》，Inf.Process。莱特。，71，3-4，115-125（1999年）·Zbl 0999.68054号
[41] 莱文，M。；Loizou，G.，《保证函数依赖和树状包含依赖之间没有交互》，Theor。计算。科学。，254, 1-2, 683-690 (2001) ·Zbl 0974.68044号
[42] 莱文，M。；Vincent，M.，《包含依赖范式的合理性》，IEEE Trans。知识。数据工程，12，2，281-291（2000）
[43] Lien，E.，《关于数据库模型的等效性》，J.ACM，29，2，333-362（1982）·Zbl 0485.68088号
[44] 卢茨，C。；Areces，C。；霍洛克斯，I。；Sattler，U.，Keys，nominals，and concrete domains，J.Artif。智力。决议，23，667-726（2005）·Zbl 1080.68683号
[45] 马，S。；风扇，W。；Bravo，L.，用条件扩展包含依赖性，Theor。计算。科学。，515, 64-95 (2014) ·Zbl 1277.68067号
[46] Mannila，H。；Räihä，K.，数据库设计中的包含依赖性，（ICDE（1986）），713-718
[47] Mannila，H。；Räihä，K.，关系数据库的设计（1992），Addison-Wesley·Zbl 0777.68014号
[48] 梅马里，M。；Link，S.，《有效实施部分引用完整性的索引设计》（EDBT（2015）），217-228
[49] Mitchell，J.，《函数依赖和包含依赖的隐含问题》，Inf.Control，56，3，154-173（1983）·Zbl 0539.68090号
[50] Mitchell，J.，函数和包含依赖关系的推理规则，（PODS（1983）），58-69
[51] 莫里纳罗，C。；Greco，S.，《具有函数依赖性和外键的不一致数据库上的多项式时间查询》，Data Knowl。工程师，69，7，709-722（2010）
[52] 皮克勒，R。；波勒斯，A。；Skritek，S。；Woltran，S.，存在规则、约束和查询时RDF图冗余检测的复杂性，Semant。Web，4，4，351-393（2013）
[53] Savitch，W.J.，《不确定性和确定性磁带复杂性之间的关系》，J.Compute。系统。科学。，4, 2, 177-192 (1970) ·Zbl 0188.33502号
[54] Sciore，E.，《包含依赖性和通用实例》（PODS（1983）），48-57
[55] Toman博士。；Weddell，G.，《描述逻辑中作为第一流公民的键和功能依赖》，J.Autom。原因。，40, 2-3, 117-132 (2008) ·兹比尔1140.68064
[56] 张，M。；Hadjieleftheriou，M。；Ooi，B。；Procopiuc，C.公司。；Srivastava，D.，《关于多列外键发现》，Proc。荷兰VLDB。，3, 1, 805-814 (2010)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。