【摘 要】
：
研究经典函数依赖与属性蕴含之间的关系.首先介绍Tarski量词消除理论,分别研究Tarski量词消除理论下的函数依赖表示方式和属性蕴含表示方式,得出无量词Tarski代数下函数依赖
【机 构】
：
山西师范大学数计学院,山西临汾,041000火箭军工程大学导弹工程学院,西安,710025;
论文部分内容阅读
研究经典函数依赖与属性蕴含之间的关系.首先介绍Tarski量词消除理论,分别研究Tarski量词消除理论下的函数依赖表示方式和属性蕴含表示方式,得出无量词Tarski代数下函数依赖与属性蕴含表示的统一数学模型;然后,进一步从形式概念分析的角度进行深入研究,得出不同转换背景下函数依赖与属性蕴含两者成立的关系,并从函数的观点分析两者的根本语义差别;最后,基于Armstrong公理的满足性讨论函数依赖与属性蕴含所满足的Armstrong公理,基于Duquenne-Guigues基的满足性得出最小依赖集与Duquenne-Guigues基的关系,并对函数依赖与属性蕴含之间的关系进行全面总结.
其他文献
本文通过对横排头枢纽工程闸墩混凝土的碳化及其影响因素进行分析，提出了对横排头枢纽工程闸墩混凝土防治碳化的措施，以达到延长工程的使用寿命。
合同能源管理是20世纪70年代发展起来的一种基于市场运作的节能新机制，基于这种机制运作、以赢利为直接目的的专业节能服务公司，目前在美国、加拿大和欧洲已发展成为一种新兴的
采用 PPP 模式将大片废弃但仍有利用价值的旧工业区再生利用，既能改善财政赤字，鼓励具有相关改造经验的社会资本积极参与，又可提高城市辨识度，保留一代人的精神寄托。因此，PPP模式
随着我国汽车保有量和机动车驾驶人数量快速上升，道路交通安全形势日益严峻、道路交通安全事故严重威胁居民生命财产安全和社会稳定，因此急需采用多种方式保障道路交通安全。受
研究一类二阶非线性系统的输出反馈控制问题.利用有限时间控制和有限时间收敛观测器技术,提出一种基于观测器的有限时间输出反馈控制器,可以保证系统的状态在有限时间内收敛
简要阐述房屋建筑工程结构施工测量放线方案的编制方法，并结合实际举例详细说明建筑工程结构施工测量放线方案。
受相机景深的限制,单次成像无法对不同景深的内容全部清晰成像.多聚焦图像融合技术可以将不同聚焦层次的图像融合为一幅全聚焦的图像,其中如何得到准确的聚焦映射是多聚焦图像融合中的关键问题.对此,利用卷积神经网络强大的特征提取能力,设计具有公共分支和私有分支的联合卷积自编码网络以学习多源图像的特征,公共分支学习多幅图像之间的公共特征,每幅图像的私有分支学习该图像区别于其他图像的私有特征.基于私有特征计算图
随着我国市场经济体制的不断完善，建筑市场也在不断发展与完善，建筑企业在承揽工程、施工组织、资产结构及经营管理等方面都发生了很大的变化。而现代企业成本管理理论又要求企