洛杉矶波莫采夫。;Tsurkov，V.I。 表函数依赖的派生序列的综合分析。 （英语。俄语原件） Zbl 1499.68090号 J.计算。系统。科学。国际。 59，第6号，957-980（2020）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2020年，第6期，第152-176页（2020年）。 摘要：与所有计算程序一样，函数依赖的派生序列是两倍的偏序集：遵循程序中的指令并及时执行。订单一致性是通过理论上将一个订单多次嵌入到另一个订单中来实现的。在下文中，这样的集合被称为级联有序的，并且不需要对它们使用关系数据库理论的术语。可以将派生序列表示为几乎不相交的简单子序列的特殊并集，这里称为点集。这是通过对其进行粘合操作来实现的。形成级联有序点集集的过程在标题中通过术语反映出来合成本文旨在研究这一过程。论文的最后一部分阐述了分析即，将指定的级联顺序集分解为所谓的应收账椎体。这个问题将在随后的论文中得到彻底解决。这里，设计用于从给定谓词计算谓词的逻辑方案被用于证明。算法化常用的流程图使用频率较低。它们的组合应用旨在实现数学证明的自动化。本文的逻辑工具箱是构建人工智能数学模型的前提。 MSC公司： 第68页，共15页 数据库理论 关键词：函数依赖 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Pomortsev}和\textit{V.I.Tsurkov}，J.Compute。系统。科学。国际59，第6号，957--980（2020；Zbl 1499.68090）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2020年，第6期，152--176（2020） 全文： 内政部 参考文献： [1] Maier，D.，《关系数据库理论》（1983），洛克维尔：计算机科学出版社，洛克维尔·Zbl 0519.68082号 [2] I.J.Heath，“关系数据库中不可接受的文件操作”，《ACM SIGFIDET数据描述、访问和控制研讨会论文集》，加利福尼亚州圣地亚哥，美国，1971年。 [3] Ullmann，J.，《Pascal数据库手册》（1985），牛津：牛津大学出版社，牛津·Zbl 0608.68080号 [4] 洛杉矶波莫采夫。；Tsurkov，V.I.，关系数据库中推断函数依赖的代数化，J.Compute。系统。科学。国际，58212（2019）·Zbl 1494.68078号 ·doi:10.1134/S1064230719020151 [5] Pomortsev，L.A.，推理公理完备性的代数解释，Fundam。普里克尔。材料，8195-219（2002）·Zbl 1047.03024号 [6] Pomortsev，L.A.，“关系数据库理论中的函数依赖代数”，Tr.Inst.Sist。分析。兰·迪恩·尼奥顿。姐姐。，29, 169-183 (2007) [7] Kurosh，A.G.，《普通代数讲座》（1962年），莫斯科：Fizmatgiz，莫斯科 [8] Yablonskii，S.V.，《离散数学导论》（1986），莫斯科：瑙卡，莫斯科·Zbl 0663.94002号 [9] Baranov，M.T。；Kostyaeva，T.A。；普鲁德尼科娃，A.V.，《俄语》（1987），莫斯科：普洛斯切尼，莫斯科 [10] Pomortsev，L.A.，“对称相依随机变量序列和序数统计矩的计算”，Tr.Mosk。Mat，Ob-va，46，201-242（1983）·Zbl 0561.62046号 [11] Pomortsev，L.A.，多维随机游动的组合对称分析，Diskret。材料，3，21-41（1991）·Zbl 0738.60068号 [12] Date，C.J.，《数据库系统简介》（2003），纽约：皮尔逊，纽约·Zbl 1058.68045号 [13] 埃梅利切夫，V.A。；O.I.梅尔尼科夫。；萨瓦诺夫，V.I.，《图论讲座》（1990年），莫斯科：瑙卡，莫斯科·兹比尔0711.05002 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。