弗拉维奥·费拉罗蒂;斯文·哈特曼;林克，塞巴斯蒂安 关于部分关系上的函数依赖和完全层次依赖的推理。 （英语） Zbl 1284.68231号 信息科学。 235, 150-173 (2013). 摘要：我们研究了在SQL的NOTNULL约束存在的情况下，函数依赖和完全层次依赖组合类的隐含问题。讨论了两种不同的隐含概念：一种是依赖项由给定的依赖项集和底层模式隐含，另一种是依存项仅由给定的依存项集隐含。我们为这两个蕴涵概念建立了公理化，并揭示了它们之间的深层关系。 引用于三文件 MSC公司： 第68页，共15页 数据库理论 关键词：公理化;数据库;完全层次依赖;功能依赖性;部分关系 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferrarotti}等人，《信息科学》。235、150——173（2013年；Zbl 1284.68231） 全文： 内政部 参考文献： [1] Abiteboul，S。；船体，R。；Vianu，V.，《数据库基础》（1995），Addison-Wesley:Addison-Whesley Boston，MA，USA·Zbl 0848.68031号 [2] 阿雷纳斯，M。；巴赛罗，P。；利布金，L。；Murlak，F.，关系和XML数据交换（2010），Morgan&Claypool Publishers·Zbl 1216.68003号 [3] 阿雷纳斯，M。；风扇，W。；Libkin，L.，《关于验证XML规范一致性的复杂性》，SIAM J.Compute。，38, 841-880 (2008) ·Zbl 1186.68156号 [4] 阿雷纳斯，M。；Libkin，L.，XML文档的标准格式，ACM Trans。数据库系统。，29, 195-232 (2004) [5] Armstrong，W.W.，数据库关系的依赖结构，Inform。工艺。，74, 580-583 (1974) ·兹比尔0296.68038 [6] Atzeni，P。；Morfuni，N.，数据库关系中空值的函数依赖和约束，Inform。对照，70，1-31（1986）·Zbl 0612.68087号 [7] Beeri，C.，关于关系数据库中函数和多值依赖的隶属度问题，ACM Trans。数据库系统。，5, 241-259 (1980) ·Zbl 0441.68118号 [8] 比里，C。；Bernstein，P.，与规范形式关系模式设计相关的计算问题，ACM Trans。数据库系统。，4, 30-59 (1979) [9] 比里，C。；费金，R。；Howard，J.H.，数据库关系中函数和多值依赖的完全公理化，（SIGMOD国际数据管理会议论文集（1977），ACM:ACM多伦多，加拿大），47-61 [10] 比里，C。；费金，R。；Maier，D。；Yannakakis，M.，《关于非循环数据库方案的可取性》，J.ACM，30，479-513（1983）·Zbl 0624.68087号 [11] 比里，C。；Vardi，M.，元组和等式生成依赖的形式系统，SIAM J.Compute。，13, 76-98 (1984) ·Zbl 0544.68064号 [12] Bernstein，P.，从功能依赖合成第三范式关系，ACM Trans。数据库系统。，1, 277-298 (1976) [13] Biskup，J.，固定和不确定宇宙中多值依赖的推断，Theor。计算。科学。，10, 93-106 (1980) ·Zbl 0418.68021号 [14] Biskup，J.，《重新审视关系数据库模式设计理论的成就》，（数据库中的语义，数据库中的语义学，计算机科学讲义，第1358卷（1995），施普林格：斯普林格布拉格，捷克共和国），29-54 [15] 比斯库普，J。；Dayal，U。；Bernstein，P.，合成独立数据库模式，（《ACM SIGMOD国际数据管理会议论文集》（1979），ACM:ACM Boston，USA），143-151 [16] 比斯库普，J。；Embley，D。；Lochner，J.，《将推理控制简化为规范化数据库模式的访问控制》，Inform。程序。莱特。，106, 8-12 (2008) ·Zbl 1186.68157号 [17] 比斯库普，J。；Link，S.，《关系数据库中数据依赖的适当推断》，《数学年鉴》。Artif公司。整数。，63, 213-255 (2012) ·兹比尔1258.68047 [18] 博扬奇克，M。；马斯切尔，A。；Schwentick，T。；Segoufin，L.，《数据树和XML推理的双变量逻辑》，J.ACM，56（2009），第13条·Zbl 1325.68078号 [19] 卡利，A。；Calvanee，D。；德贾科莫，G。；Lenzerini，M.，《完整性约束下的数据集成》，Inform。系统。，29, 147-163 (2004) [20] Chandra，A。；刘易斯，H。；Makowsky，J.，嵌入式隐含依赖及其推理问题，（第13届ACM计算理论研讨会论文集（1981），ACM:ACM密尔沃基，美国），342-354 [21] Chomicki，J.，《一致的问答：五个简单的部分》（第十一届数据库理论国际会议（ICDT）论文集）。第十一届数据库理论国际会议论文集，计算机科学讲义，第4353卷（2007），施普林格：西班牙巴塞罗那施普林格），1-17 [22] Codd，E.F.，大型共享数据库的数据关系模型，Commun。美国医学会，1377-387（1970）·Zbl 0207.18003号 [24] Codd，E.F.，《扩展数据库关系模型以获取更多含义》，ACM Trans。数据库系统。，4, 397-434 (1979) [25] 克雷斯韦尔，M。；Hughes，G.，《模态逻辑新导论》（1996年），《劳特利奇：劳特利奇伦敦和纽约》·Zbl 0855.0302号 [26] Dalvi，N。；关于C。；Suciu，D.，概率数据库：泥土中的钻石，Commun。ACM，52，86-94（2009） [27] 日期，C。；Darwen，H.，《SQL标准指南》（1997），Addison-Wesley Professional，《阅读：Addison-Whesley Professional》，Reading MA，美国 [28] 戴维森，S。；风扇，W。；Hara，C.，将XML约束传播到关系，J.Compute。系统。科学。，73, 316-361 (2007) ·Zbl 1115.68055号 [29] 德马奇，F。；Lopes，S。；Petit，J.M。；Toumani，F.，《逻辑层面上现有数据库的分析：DBA配套项目》，SIGMOD记录，32，47-52（2003） [30] 德马奇，F。；Petit，J.M.，通过信息型阿姆斯特朗数据库对现有数据库进行语义抽样，Inform。系统。，32446-457（2007年） [31] Delobel，C.，关系数据模型中的规范化和层次依赖，ACM-Trans。数据库系统。，201-222年3月（1978年） [32] Delobel，C。；Adiba，M.，关系数据库系统（1985年），爱思唯尔北荷兰：爱思唯尔北荷兰纽约，美国纽约·兹比尔0573.68058 [33] Deutsch，A。；Ludäscher，B。；Nash，A.，在完整性约束下使用具有访问模式的视图重写查询，Theor。计算。科学。，371, 200-226 (2007) ·Zbl 1108.68040号 [34] Fagin，R.，多值依赖和关系数据库的新范式，ACM-Trans。数据库系统。，2, 262-278 (1977) [36] Fagin，R.，Horn子句和数据库依赖性，J.ACM，29952-985（1982）·Zbl 0493.68092号 [37] 费金，R。；科莱蒂斯，P。；米勒，R。；Popa，L.，《数据交换：语义和查询应答》，Theor。计算。科学。，336, 89-124 (2005) ·Zbl 1080.68019号 [38] 费金，R。；科莱蒂斯，P。；波帕，L。；Tan，W.，《反向数据交换：应对空值》，（第二十届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集（2009），ACM:ACM普罗维登斯，美国），23-32 [40] 风扇，W。；Geerts，F。；贾，X。；Kementsietsidis，A.，捕获数据不一致的条件函数依赖性，ACM Trans。数据库系统。，33（2008），第6条 [42] 菲舍尔，P.C。；萨克斯顿，L.V。；托马斯·S·J。；Van Gucht，D.，依赖与嵌套关系结构之间的交互，J.Compute。系统。科学。，31, 343-354 (1985) ·Zbl 0604.68107号 [43] Galil，Z.，《关系数据库中计算依赖基的近似线性时间算法》，J.ACM，29，96-102（1982）·Zbl 0485.68090号 [44] 戈特洛布，G。；皮克勒，R。；Wei，F.，通过有界树宽的可追踪数据库设计和数据日志外推，Inform。系统。，35, 278-298 (2010) [45] 戈特洛布，G。；Zicari，R.，通过空值打开的封闭世界数据库，（第十四届超大数据库国际会议论文集（1988），IEEE计算机学会：美国洛杉矶IEEE计算机协会），50-61 [46] Graetzer，G.，《一般格点理论》（1998），Birkhäuser出版社：Birkhäuser，美国波士顿 [47] Grahne，G.，不完全信息数据库中的依赖性满意度，（第十届超大数据库国际会议（VLDB）论文集（1984），IEEE计算机学会：新加坡IEEE计算机协会），37-45 [48] Grant，J.，关系数据库中的Null值，Inform。过程。莱特。，6, 156-157 (1977) ·Zbl 0376.68068号 [49] 哈拉，C。；Davidson，S.，《关于嵌套函数依赖的推理》，（第十八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集（1999），ACM出版社：美国费城ACM出版社），91-100 [50] 哈特曼，S。；Kirchberg，M。；Link，S.，《具有功能依赖性的SQL表定义的示例设计》，《VLDB J.》，第21期，第121-144页（2012年） [51] 哈特曼，S。；Link，S.，《通过命题逻辑片段表征嵌套数据库依赖性》，《Ann.Pure Appl》。逻辑，15284-106（2008）·Zbl 1142.68029号 [52] 哈特曼，S。；Link，S.，关于健壮XML密钥片段的高效推理，ACM-Trans。数据库系统。，34（2009），第10条 [53] 哈特曼，S。；Link，S.，XML数据的数字约束，Inform。公司。，208, 521-544 (2010) ·Zbl 1200.68079号 [54] 哈特曼，S。；Link，S.，《当SQL表上的数据依赖关系满足悖论逻辑和S-3》，（第29届ACM SIGMOD-SIGART-SIGACT数据库系统原理研讨会（PoDS）（2010）论文集，ACM:ACM Indianapolis，USA），317-326 [55] 哈特曼，S。；Link，S.，《SQL表定义的数据依赖性隐含问题：公理化、算法和逻辑特征》，ACM Trans。数据库系统。，37（2012），第14条 [56] 哈特曼，S。；林克，S。；Schewe，K.D.，《存在记录、列表、集合和多集合时函数依赖的公理化》，Theor。计算。科学。，355, 167-196 (2006) ·Zbl 1088.68046号 [57] Herrmann，C.，《关于嵌入式多值数据库依赖关系之间含义的不确定性》，Inform。计算。，122, 221-235 (1995) ·Zbl 1096.68608号 [58] Herrmann，C.，《关于嵌入式多值数据库依赖关系之间含义的不确定性的勘误》，Inform。计算。，204, 1847-1851 (2006) ·Zbl 1171.68449号 [59] Imielinski，T.，逻辑数据库中的不完整信息，IEEE数据工程公告。，12, 29-40 (1989) [60] 伊米林斯基，T。；Lipski，W.，《关系数据库中的不完整信息》，J.ACM，31761-791（1984）·Zbl 0632.68094号 [61] Jensen，C。；右侧雪草。；Soo，M.，将现有依赖理论扩展到时态数据库，IEEE Trans。知识。数据工程，8563-582（1996） [62] 卡尔尼，M。；Kroupa，T.，《完全概率设计公理化》，Inform。科学。，186105-113（2012年）·Zbl 1239.62007号 [63] Klug，A。；Price，R.，使用tableaux确定视图相关性，ACM Trans。数据库系统。，7, 361-380 (1982) ·Zbl 0488.68068号 [64] 科勒，H。；哈特曼，S。；Link，S.，《固定和不确定宇宙中的完全层次依赖》，《数学年鉴》。Artif公司。智力。，50, 195-226 (2007) ·Zbl 1129.68031号 [65] 科勒，H。；Link，S.，Armstrong公理和Boyce-Codd-Heath范式下的包语义，Inform。过程。莱特。，110, 717-724 (2010) ·Zbl 1234.68088号 [66] Kolahi，S.，关系和XML数据的依赖保持规范化，J.Compute。系统。科学。，73, 636-647 (2007) ·Zbl 1115.68057号 [67] Langeveldt，W。；Link，S.，Armstrong关系对获得有意义的函数依赖有用性的经验证据，Inform。系统。，35, 352-374 (2010) [68] 莱文，M。；Loizou，G.，不完全关系中函数依赖的公理化，Theor。计算。科学。，206, 283-300 (1998) ·Zbl 0912.68025号 [69] 莱文，M。；Loizou，G.，《不完全关系的数据库设计》，ACM Trans。数据库系统。，24, 80-125 (1999) [70] Lien，E.，《关于数据库模型的等效性》，J.ACM，29，333-362（1982）·Zbl 0485.68088号 [71] Link，S.，绘制多值依赖推理系统的完备性边界，信息学报。，45, 565-591 (2008) ·Zbl 1169.68014号 [72] Link，S.，《关于部分数据库关系中多值依赖的含义》，国际期刊Found。计算。科学。，19, 691-715 (2008) ·Zbl 1156.68372号 [73] 林克，S.，不确定宇宙上多值依赖蕴涵的刻画，计算。系统。科学。，78, 1026-1044 (2012) ·兹伯利1246.68111 [74] Makinouchi，A.，关于关系数据模型中非必要规范化关系的规范形式的思考，（第三届超大数据库国际会议论文集（1977），IEEE计算机学会：IEEE计算机协会，日本东京），447-453 [75] Makowsky，J。；Vardi，M.，《论数据依赖的表达能力》，《信息学报》。，23231-244（1986年）·Zbl 0617.68085号 [76] Mannila，H。；Räihä，K.J.，《示例设计：Armstrong关系的应用》，J.Compute。系统。科学。，33, 126-141 (1986) ·Zbl 0625.68075号 [77] Mannila，H。；Räihä，K.J.，《从关系推断函数依赖的算法》，《数据知识》。工程，1283-99（1994）·Zbl 0805.68034号 [78] Paredaens，J。；De Bra，P。；Gyssens，M。；Van Gucht，D.，关系数据库模型的结构（1989），施普林格：施普林格-海德堡，德国·Zbl 0669.68060号 [79] Pearl，J.，《智能系统中的概率推理：合理推理网络》（1988），摩根考夫曼：摩根考夫曼·圣弗朗西索，美国 [80] Petrov，S.Y.，用于表示系统属性的语言的有限公理化：依赖的公理化，Inform。科学。，47, 339-372 (1989) ·Zbl 0676.68063号 [81] Reiter，R.，《关于封闭世界数据库》，（逻辑和数据库（1978），阻燃出版社：美国纽约阻燃出版社），119-140 [82] 萨吉夫，Y。；Walecka，S.，嵌入多值依赖子类的子集依赖性和完备性结果，J.ACM，29，103-117（1982）·Zbl 0485.68091号 [83] 萨克斯顿，L。；Tang，X.，XML数据集的树多值依赖性，（第五届Web页面信息管理进展国际会议论文集）。第五届网络时代信息管理进展国际会议论文集，《计算机科学讲义》，第3129卷（2004），Springer:Springer Dalian，中国），357-367 [84] 席尔瓦，A。；Melkanoff，M.，《帮助发现关系依赖性的方法》，（数据库形式基础研讨会论文集-数据库理论进展（1979），普莱姆出版社：法国图卢兹普莱姆出版公司），115-133 [85] Sözat，M。；Yazici，A.，模糊数据库关系中模糊函数和多值依赖的完全公理化，ACM模糊集系统。，117, 161-181 (2001) ·Zbl 0985.68021号 [86] 斯托特·帕克，D。；Parsaye-Ghomi，K.，《涉及嵌入多值依赖和传递依赖的推断》，（1980年ACM SIGMOD国际数据管理会议论文集（1980），ACM出版社：美国圣莫尼卡ACM出版社），52-57 [87] Tan，Z。；Zhang，L.，修复XML函数依赖冲突，Inform。科学。，181, 5304-5320 (2011) ·兹比尔1239.68032 [88] 塔里，Z。；斯托克斯，J。；Spacapietra，S.，面向对象模式的对象范式和依赖约束，ACM Trans。数据库系统。，22113-569（1997年） [89] Thalheim，B.，关系数据库中的依赖性（1991），Teubner·Zbl 0743.68014号 [90] Thalheim，B.，多值依赖的概念处理，（第22届概念建模国际会议论文集）。第22届概念建模国际会议论文集，计算机科学讲义，第2813卷（2003），Springer:Springer Chicago，USA），363-375 [91] 托曼，D。；Weddell，G.，《描述逻辑中作为第一流公民的键和功能依赖》，J.Autom。原因。，40, 117-132 (2008) ·Zbl 1140.68064号 [92] 瓦达帕蒂，K。；Naqvi，S.，《在非确定性数据库中使用约束进行高效查询处理》，IEEE Trans。知识。数据工程，7850-864（1995） [93] Vincent，M.，关系数据库设计中4NF的语义基础，Acta Inform。，36, 173-213 (1999) ·Zbl 0947.68047号 [94] 文森特，M。；Liu，J.，多值依赖和XML的4NF，（第15届高级信息系统工程国际会议论文集）。第十五届先进信息系统工程国际会议论文集，计算机科学讲义，第2681卷（2003），施普林格：施普林格-克拉根福，奥地利），14-29 [95] 文森特，M。；刘杰。；Liu，C.，《XML中的强函数依赖及其在范式中的应用》，ACM Trans。数据库系统。，29, 445-462 (2004) [96] Weddell，G.，《语义数据模型泛化功能依赖的推理》，ACM Trans。数据库系统。，17, 32-64 (1992) [97] Wijsen，J.，复杂对象上的时间FD，ACM Trans。数据库系统。，24, 127-176 (1999) [98] Wong，S。；布茨，C。；Wu，D.，关于概率条件独立性的蕴涵问题，Trans。系统。，人与控制论，A部分：系统。人类，30785-805（2000） [99] Wu，M.，第四范式的实际需要，（第二十三届ACM SIGCSE计算机科学教育技术研讨会论文集（1992），ACM：美国堪萨斯城ACM），19-23 [100] Zaniolo，C.，《空值的数据库关系》，J.Compute。系统。科学。，28, 142-166 (1984) ·兹比尔0579.68053 [101] Ziarko，W.，《数据库中数据相关性的发现、分析和表示》，（《数据库中的知识发现》（1991），麻省理工学院出版社：麻省理学学院出版社，美国剑桥），195-212 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。