×
贾姆·拜泽里埃;卡图埃，迈赫迪;那不勒斯、阿梅迪奥

用模式结构描述形式概念分析中的函数依赖关系。 （英语） Zbl 1320.68064号

安。数学。Artif公司。智力。 72，编号1-2，129-149（2014）.
摘要：从关系计算函数依赖是一个重要的数据库主题，在数据库管理、逆向工程和查询优化中有许多应用。尽管在这些领域已经进行了深入的研究，但它与形式概念分析的数学框架之间存在着紧密的联系。考虑到功能依赖性的发现，确实知道一个关系可以表示为形式上下文的二元关系，其含义等同于这些依赖性。然而，这导致了一种新的数据表示，即相对于原始数据而言，对象数量是二次的。在这里，我们提出了一种避免这种数据表示的替代方法，并展示了如何使用模式结构的形式化描述函数依赖性，这是对经典FCA的扩展，用于处理复杂数据。我们还展示了如何使用该框架来表征另一类依赖性，即退化的多值依赖性。最后，我们在经典基准数据集上进行了一系列实验，讨论并比较了新方法的性能。

引用于11文件

MSC公司：

第68页，共15页 数据库理论
2015年1月6日 伽罗瓦对应、闭包算子（与有序集有关）
68立方英尺 知识表示

关键词：

关联规则;属性含义;数据相关性;图案结构;形式概念分析

软件：

生命周期管理;丹宁色;快速功能设计
PDF格式BibTeX公司 XML格式引用
\textit{J.Baixeries}等人，《数学年鉴》。Artif公司。智力。72，编号1--2，129-449（2014；Zbl 1320.68064）
全文： 内政部 哈尔

参考文献：

[1] Abiteboul，S.，Hull，R.，Vianu，V.：数据库基础。Addison-Wesley，雷丁（1995）·Zbl 0848.68031号
[2] Agrawal，R.、Mannila，H.、Srikant，R.，Toivonen，H.，Verkamo，A.I.：关联规则的快速发现。摘自：《知识发现和数据挖掘进展》，第307-328页。AAAI/MIT出版社（1996）
[3] Babin，M.A.，Kuznetsov，S.O.：计算函数依赖最小覆盖的前提是很难的。自由裁量权。申请。数学。161(6), 742-749 (2013) ·Zbl 1263.68046号 ·doi:10.1016/j.dam.2012.10.026
[4] Baixeries，J.：Armstrong和对称依赖的晶格表征（博士论文）。加泰罗尼亚政治大学（2007）
[5] Baixeries，J.，Balcázar，J.L.：使用形式概念分析描述退化多值依赖关系和armstrong关系。收录于：Ganter，B.，Godin，R.（编辑）ICFCA，计算机科学课堂讲稿第3403卷，第162-175页。斯普林格（2005·Zbl 1078.68768号
[6] Baudinet，M.，Chomicki，J.，Wolper，P.：约束生成依赖。J.计算。系统。科学。59(1), 94-115 (1999) ·Zbl 0939.68030号 ·doi:10.1006/jcss.1999.1632
[7] Beeri，C.，Dowd，M.，Fagin，R.，Statman，R.：关于函数依赖的armstrong关系的结构。J.ACM 31（1），30-46（1984）·Zbl 0629.68096号 ·doi:10.1145/2422.322414
[8] Beeri，C.，Vardi，M.Y.：元组和等式生成依赖的形式系统。SIAM J.计算。13（1），76-98（1984）·Zbl 0544.68064号 ·数字对象标识代码：10.1137/0123006
[9] Belohlávek，R.，Vychodil，V.：具有相似关系的数据表：功能依赖、完整规则和非冗余基。收录于：Lee，M.-L.，Tan，K.-L.，Wuwongse，V.（编辑）DASFAA，计算机科学讲义第3882卷，第644-658页。斯普林格（2006）·Zbl 0462.68082号
[10] Bohannon，P.，Fan，W.，Geerts，F.，Jia，X.，Kementsietsidis，A.：数据清理的条件函数依赖性。收录于：Chirkova，R.、Dogac，A.、Øzsu，M.T.、Sellis，T.K.（编辑）ICDE，第746-755页。IEEE（2007）·兹比尔1026.06008
[11] Caspard，N.，Monjardet，B.：有限集上闭包系统、闭包算子和蕴涵系统的格：综述。自由裁量权。申请。数学。127(2), 241-269 (2003) ·Zbl 1026.06008号 ·doi:10.1016/S0166-218X（02）00209-3
[12] Davey，B.A.，Priestley，H.A.：格与秩序导论。剑桥大学出版社，剑桥（1990）·Zbl 0701.06001号
[13] Diallo，T.，Novelli，N.，Petit，J.-M.：发现（经常）常量条件函数依赖。IJDMMM 4（3），205-223（2012）·doi:10.1504/IJDMMM.2012.048104
[14] Fan，W.：为提高数据质量而重新审视依赖关系。参见：第二十七届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，PODS’08，第159-170页。ACM，纽约（2008）
[15] Fan，W.，Geerts，F.，Li，J.，Xiong，M.：发现条件函数依赖。IEEE传输。知识。数据工程23（5），683-698（2011）·doi:10.1109/TKDE.2010.154
[16] Ganter，B.，Kuznetsov，S.O.：图案结构及其投影。摘自：Delugach，H.S.，Stumme，G.（编辑）《概念结构：扩大基础》，第九届概念结构国际会议论文集（ICCS 2001），LNCS 2120，第129-142页。斯普林格（2001）·Zbl 0994.68147号
[17] Ganter，B.，Wille，R.：形式概念分析。柏林施普林格（1999）·Zbl 0909.06001号 ·doi:10.1007/978-3-642-59830-2
[18] Graetzer，G.、Davey，B.、Freese，R.、Ganter，B.、Greferath，M.、Jipsen，P.、Priestley，H.、Rose，H.，Schmidt，E.、Schmidts，S.、Wehrung，F.、Wille，R.：一般格理论。弗里曼，旧金山（1971）
[19] Guigues，J.-L.，Duquenne，V.：《家族》（Familles minimales d’implications），《信息论》（informatives résultant d’un tableau de donnes binaires）。数学。科学。Hum.95，5-18（1986）·Zbl 1504.68217号
[20] Huhtala，Y.，Kärkkäinen，J.，Porkka，P.，Toivonen，H.：Tane：一种发现函数和近似依赖关系的有效算法。计算。J.42（2），100-111（1999）·Zbl 0944.68054号 ·doi:10.1093/comjnl/42.2.100
[21] Kanellakis，P.C.：关系数据库理论的要素。在：van Leeuwen，J.（编辑）《理论计算机科学手册》，B卷，第1073-1156页。麻省理工学院出版社，剑桥（1990）·Zbl 0900.68090号
[22] Kaytoue，M.，Kuznetsov，S.O.，Napoli，A.：用形式概念分析重新审视数值模式挖掘。参见：Walsh，T.（ed.）IJCAI 2011，《第22届国际人工智能联合会议论文集》，西班牙加泰罗尼亚巴塞罗那，2011年7月16日至22日，第1342-1347页。IJCAI/AAAI，巴塞罗那（2011）·Zbl 0544.68064号
[23] Kaytoue，M.，Kuznetsov，S.O.，Napoli，A.，Duplessis，S.：在形式概念分析中利用模式结构挖掘基因表达数据。信息科学。181（10），1989-2001（2011）·doi:10.1016/j.ins.2010.07.007
[24] Kuznetsov，S.O.：基于形式概念分析的机器学习。自动化。遥控器62（10），1543-1564（2001）·Zbl 1069.68580号 ·doi:10.1023/A:1012435612567
[25] 库兹涅佐夫，S.O.：数据分析中的伽罗瓦联系：苏联时代和现代俄罗斯研究的贡献。收录于：Ganter，B.、Stumme，G.、Wille，R.（编辑）《形式概念分析、基础和应用》。计算机科学课堂讲稿3626，第196-225页。斯普林格（2005）·Zbl 1152.68628号
[26] Kuznetsov，S.O.，Obiedkov，S.A.：比较生成概念格的算法的性能。J.实验理论。Artif公司。智力。14(2-3), 189-216 (2002) ·Zbl 1024.68020号 ·doi:10.1080/09528130210164170
[27] Lopes，S.、Petit，J.-M、Lakhal，L.：功能和近似依赖挖掘：数据库和fca观点。J.实验理论。Artif公司。智力。14(2-3), 93-114 (2002) ·Zbl 1024.68027号 ·doi:10.1080/09528130210164143
[28] Maier，D.：关系数据库理论。计算机科学，Rockville（1983）·Zbl 0519.68082号
[29] Medina，R.，Nourine，L.：功能依赖、条件功能依赖和关联规则的统一层次结构。收录于：Ferré，S.，Rudolph，S.（编辑）ICFCA，计算机科学讲义第5548卷，第98-113页。施普林格（2009）·Zbl 1248.68184号
[30] Medina，R.，Nourine，L.：条件功能依赖：fca观点。在：Kwuida，L.，Sertkaya，B.（编辑）ICFCA，《计算机科学讲义》第5986卷，第161-176页。施普林格（2010）·Zbl 1274.68493号
[31] Nedjar，S.、Pesci，F.、Lakhal，L.、Cicchetti，R.：多维数据库分析的一致概念格。收录于：Valtchev，P.，Jäschke，R.（编辑）ICFCA，计算机科学讲义第6628卷，第219-234页。施普林格（2011）·兹比尔1326.68288
[32] Ramakrishnan，R.，Gehrke，J.：数据库管理系统，第2版。奥斯本/麦格劳-希尔，伯克利（2000）·Zbl 1058.68050号
[33] Sagiv，Y.，Delobel，C.，Parker，D.S.Jr.，Fagin，R.：关系数据库依赖性和命题逻辑片段之间的等价性。J.ACM 28（3），435-453（1981）·Zbl 0462.68082号 ·数字对象标识代码：10.1145/322261.322263
[34] Simovici，D.A.，Cristofo，D.，Cristofo，L.：数据库中的杂质测量。《学报》38（5），307-324（2002）·Zbl 1025.68034号 ·doi:10.1007/s002360100078
[35] Simovici，D.A.，Tenney，R.L.：关系数据库系统，第1版。奥兰多学院（1995）
[36] Song，S.，Chen，L.：差异依赖：推理和发现。ACM事务处理。数据库系统。36(3), 16:1-16:41 (2011) ·doi:10.1145/2000824.2000826
[37] Song，S.，Chen，L.：有效发现匹配依赖的相似约束。数据知识。工程87（0），146-166（2013）。doi:10.1016/j.datak.2013.06.003。http://www.sciencedirect.com/science/article/pii/S0169023X13000700 ·doi:10.1016/j.datak.2013.06.003
[38] Song，S.，Chen，L.，Yu，P.S.：异构数据的可比依赖性。VLDB J.22（2），253-274（2013）·doi:10.1007/s00778-012-0285-7
[39] Ullman，J.：《数据库系统和基于知识的系统原理》，第1-2卷。计算机科学，Rockville（1989）
[40] Uno，T.，Kiyomi，M.，Arimura，H.：Lcm ver.2：频繁/闭合/最大项集的高效挖掘算法。收录人：Bayardo，R.J.Jr.，Goethals，B.，Zaki，M.J.（编辑）FIMI，CEUR研讨会论文集第126卷。CEUR-WS.org（2004）
[41] Valtchev，P.，Missaoui，R.，Godin，R.：知识发现和数据挖掘的形式概念分析：新挑战。摘自：Eklund，P.W.（编辑）ICFCA，《计算机科学讲义》第2961卷，第352-371页。斯普林格（2004）·兹比尔1198.68246
[42] Wille，R.：为什么概念格支持数据库中的知识发现？J.实验理论。Artif公司。智力。14(2-3), 81-92 (2002) ·Zbl 1022.68042号 ·doi:10.1080/09528130210164161
[43] Wyss，C.，Giannella，C.，Robertson，E.L.：Fastfds：一种启发式驱动的深度优先算法，用于从关系实例扩展抽象中挖掘函数依赖关系。摘自：《第三届数据仓库和知识发现国际会议论文集》，DaWaK’01，第101-110页。施普林格，伦敦（2001）·Zbl 0986.68805号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。