Tarski代数视角下函数依赖与属性蕴含的关系

摘要：

研究经典函数依赖与属性蕴含之间的关系.首先介绍Tarski量词消除理论,分别研究Tarski量词消除理论下的函数依赖表示方式和属性蕴含表示方式,得出无量词Tarski代数下函数依赖与属性蕴含表示的统一数学模型;然后,进一步从形式概念分析的角度进行深入研究,得出不同转换背景下函数依赖与属性蕴含两者成立的关系,并从函数的观点分析两者的根本语义差别;最后,基于Armstrong公理的满足性讨论函数依赖与属性蕴含所满足的Armstrong公理,基于Duquenne-Guigues基的满足性得出最小依赖集与Duquenne-Guigues基的关系,并对函数依赖与属性蕴含之间的关系进行全面总结.

关键词：Tarski代数、函数依赖、属性蕴含、转换背景、Armstrong公理、Duquenne-Guigues基

所属期刊栏目：35

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金面上项目61074072, 61374120

在线出版日期：2020-06-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1659-1666