{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,5,15]]，“日期-时间”：“2024-05-15T23:28:12Z”，“时间戳”：1715815692980}，“引用-计数”：26，“发布者”：“计算机协会（ACM）”，“问题”：“1”，“内容-域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“short-container-title”：[“J.ACM”]，“published-print”：{“date-parts”：[[1984,1]]}，“DOI”：“10.1145\/2422.322414”，“type”：“journal-article”，“created”：{“date-parts”：[[2002,7,27]]，“date-time”：“2002-07-27T11:25:57Z”，“timestamp”：1027769157000}，”page：“30-46”，“update-policy”：”http://\/dx.DOI。org\/10.1145\/crossmark-policy“，”source“：”Crossref“，“is-referenced-by-count”：112，“title”：[“On the Structure of Armstrong Relations for Functional Dependencies”]，“prefix”：“10.1145”，“volume”：“31”，“author”：[{“given”：”Catriel“，“family”：“Beri”，“sequence”：“first”，“affiliation”：[}“name”：“希伯来语大学计算机科学系，Givat Ram，91904 Jerusaler，Israel”}]}，{“Givent”：“Martin”，”family“：“Dowd”，“sequence”：“additional”，“affiliation”：[{“name”：“新泽西州新不伦瑞克罗格斯大学数学系”}]}，“affiliation”：[{“name”：“新泽西州新不伦瑞克罗格斯大学数学系”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[1984,1]]}，“reference”：[[{”key“：”e_1_1_2“，“first page”：“580”，“author”：“ARMSTRONG W.W.”，“year”：“1974”，“unstructured”：“ARMSTRONG，W.W.l_~燕麦酶重新分配的惩罚结构Billy&lrl\/'TO e.11\”11\”\/4，！~O l'tll Holland，阿姆斯特丹，1974年，第580-583页。ARMSTRON，W.W.l_~燕麦酶重新配置的惩罚结构BILy&lrl\/'TOe.11\”11\，“doi断言者”：“publisher”，“doi”：“10.1145\/32061.320620”}，｛“key”：“e_1_2_3_2”，“doi断言者”：“publisher”，“doi”：“10.1145\/320064.320066”}，｛“key”：“e_1_2_4_2”，“首页”：“47”，“卷标题”：“Proc ACM-SIGMOD Int.Conf.on Management of Data”，“author”：“BEERI C.”，“year”：“1977”，“nonstructured”：“BEERI，C.，FAGIN，R.和霍华德，J.H。数据库关系的函数依赖关系和多值依赖关系的完全公理化。《ACM-SIGMOD国际数据管理会议程序》（1977年8月，多伦多），ACM，纽约，第47-61页。10.1145 \/509404.509414 BEERI，C.，FAGIN，R.，AND HOWARD，J.H.数据库关系中函数依赖和多值依赖的完整公理化。《ACM-SIGMOD国际数据管理会议程序》（1977年8月，多伦多），ACM，纽约，第47-61页。10.1145\/509404.509414“}，{“key”：“e_1_2_1_5_2”，“首页”：“171”，“volume-title”：“Calif.”，“author”：“CASANOVA M.A.”，“year”：“1982”，“unstructured”：“CASANOVA，M.A.，FAON，R.，AND PAPAPADIMITRIOU，C.包含依赖及其与函数依赖的交互。Sl AM~计算（待显示）；扩展摘要出现在Proc。第一届ACM SIGACT-SIGMOD数据库系统原理（加利福尼亚州洛杉矶，1982年），ACM，纽约，第171-176页。10.1145 \/588111.588141 CASANOVA，M.A.，FAON，R.和PAPADIMITRIOU，C.包含依赖性及其与功能依赖性的相互作用。SlAM~计算（出现）；扩展摘要出现在Proc。第一届ACM SIGACT-SIGMOD数据库系统原理（加州洛杉矶，1982年），ACM，纽约，第171-176页。10.1145\/588111.588141“}，{“key”：“e_1_2_1_6_2”，“first page”：”65“，“volume-title”：“Data-Base Systems，Courant Computer Soence Symposia 6”，“author”：“CODD e.F.”，“unstructured”：“CODD，e.F.数据库关系模型的进一步规范化。在数据库系统中，Courant-Computer Soence Symbosia 6，R。Rustin，Ed.，普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，第65-98页。CODD，E.F.数据库关系模型的进一步规范化。在数据库系统中，Courant Computer Soence Symposia 6，R.Rustin，Ed.，Prentice Hall，Englewood Cliffs，N.J.，第65-98页DEMETROVICS，J，关于候选密钥的数量。Inf Proc Lett 7，6（1978年10月），266-269。DEMETROVICS，J，关于候选密钥的数量。Inf Proc Lett 7，6（1978年10月），266-269.“，“journal-title”：“Inf Proc-Lett”}，{“key”：“e_1_1_8_2”，“first page”：”3“，”volume“：”5“，”author“：”DEMETROVICS J.“，”year“：”1981“，”unstructured“：”DEMETROVICS，J.，AND GYEPESI，G.关于功能依赖性和它的一些推广。Acta Cyberne 5，3（1981），295-305。德米特洛维奇，J.，AND GYEPESI，G.关于功能依赖性及其一些推广。《赛博学报》5，3（1981），295-305。给定集合子集之间的极值问题。《保罗·鄂尔多斯：计数的艺术：ng---Selected Wrtttngs》，J.Spencer主编，麻省理工学院出版社，1973年，第482-506页。ERDOS，P.和KLEITMAN，D.给定集合子集之间的极值问题。《保罗·埃尔多斯：计数的艺术：ng——精选的罗特格斯》，J.斯宾塞编辑，麻省理工学院出版社，1973年，第482-506页。“}，{“键”：“e_1_1_10_2”，“卷标”：“J Symb Logic 41。1（Mar，“author”：“FAGIN R.”，“year”：“1976”，“unstructured”：“有限模型上的FAGIN，R.概率。J Symb Logic 41。1（1976年3月），50-58。FAGIN，R.有限模型上的概率。J符号逻辑41。1（1976年3月），50-58.“}，{”key“：”e_1_2_1_11_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/320557.320571“}”，{“key”：“e_1_i_12_12_2”，“首页”：“6”，“卷”：“21”，“作者”：“FAGIN R.”，“年份”：“1977”，“非结构化”：“FAGIN，R.函数依赖关系数据库和命题逻辑。IBM~Res Devel 21，6（1977年11月），534-5 44、。FAGIN，R.关系数据库和命题逻辑的功能依赖性。IBM~Res Devel 21，6（1977年11月），534-544.“，”journal-title“：”Res Devel}，{“key”：“e_1_1_13_2”，“volume-title”：“Proc 7th IBM Syrup.on Mathematical Foundation of Compuler Scrence”，“author”：“FAG N，R”，“year”：“1982”，“unstructured”：“FAG e N、R。阿姆斯特朗数据库。在第7号程序中，IBM糖浆。《Compuler Scrence的数学基础》（神奈川，日本，1982年5月）；1982年4月，在加利福尼亚州圣何塞市IBM Resoareh实验室担任Res.Rep.ILI3440。FAGeN，R.Armstrong数据库。在Proc 7th IBM糖浆中。《计算机尖叫的数学基础》（日本神奈川，1982年5月）；还以研究代表ILI3440的身份出现，IBM Resoareh Lab.，San Jose，Calif.，1982年4月。“}，{”key“：”e_1_1_14_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/800141.804660“}”，{“key”：“e_2_1_15_2”，“volume-title”：“NP-完整性理论指南”，“author”：“GAREY M.R.”，“year”：“1979”，“unstructured”：“GAREY，M.R.，AND JOHNSON，D.S.公司。《计算机与难处理性：NP完全性理论指南》，弗里曼，旧金山，1979年。GAREY，M.R.，AND JOHNSON，D.S.《计算机与难处理性：NP-完全性理论指南》，弗里曼，旧金山，1979年。“}，{“key”：“e_1_1_16_2”，“volume-title”：“南加州”，“author”：“GINSBURG S.”，“year”：“1982”，“unstructured”：“GINSBURG，S.，AND HULL，R。功能依赖和Boyee-Codd范式族的特征。加州洛杉矶南加州大学技术代表。，1982年2月。GINSBURG，S.和HULL，R.功能依赖和Boyee-Codd范式族的特征。技术代表，加利福尼亚州洛杉矶市南加州大学，1982年2月。“}，{”key“：”e_1_1_17_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/322326.322331“}”，{“key”：“e_2_1_18_2”，“volume-title”：“Drpartemenf d'lnformauque，University6 de Montrral”，“author”：“GOLD e.M.”，“year”：“1974”，“unstructured”：“GOLD，e.M。属性相关性的公理化。出版物编号173年5月，蒙特拉尔大学，纳尔诺马图克博士。GOLD，E.M.属性依赖的公理化。出版物编号173，Drpartemenf d'lnformauque，蒙特拉大学，1974年5月。“}，{”key“：”e_1_2_1_19_2“，”volume-title“：”GRATZER，G.UniversalAlgebra“，”year“：”1979“，”unstructured“：”格拉泽，G.UniversialAlge布拉，第二版Springer-Verlag，纽约，1979。“，”第一页“：”2“，”卷“：”17“，”作者“：”LUCCHES“，”年份“：”1978“，”非结构化“：”LUCCHES l，C.l.，AND OSBORN，S.l.关系候选关键字，J.Compute Syst。ScL 17,2（1978年10月），270-279。LUCCHESl，C.L.和OSBORN，S.L.关系候选键，J.计算系统。ScL 17，2（1978年10月），270-279。”，“期刊标题”：“计算机系统杂志。ScL“}，{“key”：“e_1_1_21_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/322261.322263”}，}，“key“：”e_1_i_1_22_22_2“，”volume-title“：”Advances m Database Theory，Itol.1，H.Gallaire，J.Minker，and J-m“，”author“：”SILVA，m“，“year”：“1981”，“unstructured”：”SILVA，A，m.，and MELKANOFF，m.A。一种帮助发现关系依赖关系的方法。数据库理论进展，Itol。1、H.Gallaire、J.Minker和J-M。Nwolas，编辑，Plenum Pubhshing，纽约，1981年。SILVA，A，M.和MELKANOFF，M.A.帮助发现关系依赖性的方法。数据库理论进展，Itol。1，H.Gallaire，J.Minker，and J-M.Nwolas，Eds.，Plenum Pubhshing，New York，1981.“}，{”key“：”e_1_2_1_23_2“，”doi-asserted-by“：”crossref“，”first page“：“544”，“doi”：“10.1007\/BF01171114”，“volume”：“27”，“author”：“SPERNER e.”，“year”：“1928”，“unstructured”：“SPERNER，e.，Eine Satuber Untermensen einer endlichen Menge.Math。宙27（1928）, 544 - 548 . 斯佩纳，E.，Eine Satz uber Untermensen einer endlichen Menge。数学。宙。27（1928），544-548。“，“新闻标题”：“门格。数学。宙。“}，{”key“：”e_1_1_24_2“，”series-title“：”SIAM J Compute.（待显示）“，”volume-title“：“带参数调制的输入分辨率的最坏情况指数下限”，“author”：“~TATMAN R.”，“unstructured”：“~ TATMAN，R.带参数调制输入分辨率的最大情况指数下限。SIAM J compute.（待显示）。~TATMAN，R。具有副调制的输入分辨率的最坏情况指数下限。SIAM J计算。（出现）。“}，{”key“：”e_1_1_25_2“，”volume-title“：”2rid“，”author“：”ULLMAN J.D.“，”year“：”1982“，”unstructured“：”ULLMAN，J.D.Prtnc~ ples of Database Systems，2rid。马里兰州罗克维尔计算机科学出版社，1982。ULLMAN，J.D.Prtnc~ples of数据库系统，2ride。马里兰州罗克维尔计算机科技出版社，1982年。“}”，{“key”：“e_2_1_27_2”，“首页”：“431“，“volume-title”：“程序。1975年美国国家计算机会议44”，“作者”：“ZLOOF M.M.”，“非结构化”：“ZLOOF，M.M.举例查询。程序中。1975年，《国家计算机会议》，44，AFIPS出版社，弗吉尼亚州阿灵顿，第431-438页。ZLOOF，M.M.查询示例。程序中。1975年国家计算机会议44，AFIPS出版社，弗吉尼亚州阿灵顿，第431-438页。：{“date-parts“：[[2022,12,30]]，“date-time”：“2022-12-30T07:14:54Z”，“timestamp”：1672384494000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2422.322414”}}，”subtittle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1984,1]]}”，“references-count”：26，“journal-count”问题“：{”问题“：“1”，“published-print”：{“date-parts”：[[1984,1]]}}，“alternative-id“：[”10.1145\/2422.322414“]，”URL“：”http://\/dx.doi.org\/10.1145\/2423.22414“，”关系“：{}，”ISSN“：[“0004-5411”，“1557-735X”]，“ISSN-type”：[{“value”：“0004-5511”，”type“：”print“}，{“value”：“1557-73 5X”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-pa rts“：[[1984,1]]}，”断言“：[{“value”：“1984-01-01”，“order”：2，“name”：“published”，“标签“：”已发布“，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}