设U为属性集总体，F是U上的一组函数依赖，对关系模式R，Armstrong公理系统包含以下推理规则：A1. 自反律(Reflexivity rule)：若Y包含于X，X包含于U，则X → Y为F所蕴含。A2. 增广律(Augmentation rule)：若X → Y为F所蕴含，且Z包含于U，则XZ → YZ为F所蕴含。A3. 传递律(Transitivity rule)：若X → Y及Y → Z为F所蕴含，则X → Z为F所蕴含。
Armstrong公理系统-数据库理论精选教程
相关推荐
Armstrong公理系统的数据库安全性实验
Armstrong公理系统是一种有效且完备的数据库安全性探索工具：从F出发，依据Armstrong公理推导出的每个函数依赖都可以在F+中找到；而F+中的每个函数依赖，也可以由F根据Armstrong公理推导得出。
SQLServer
2
2024-07-23
Armstong公理系统的完整性与有效性-关系数据库设计
Armstong公理系统的完整性与有效性指的是，从集合F出发根据Armstrong公理推导出的每个函数依赖都必须在F中逻辑蕴含的函数依赖。换言之，只要F中的依赖成立，根据公理推导的依赖也成立。完整性要求F中逻辑蕴含的每个函数依赖都能通过Armstrong公理从F出发推导出来。换句话说，F+中的所有函数依赖都能被公理推导出。总体而言，Armstrong公理系统是正确且完备的。
SQLServer
1
2024-07-31
数据库理论综述
《数据库系统概论》是中国首部系统阐述数据库原理、技术和方法的教材，内容丰富、先进，概念准确，结构完整，语言精炼。该书曾荣获国家级优秀教材奖和全国高等学校优秀教材一等奖。《数据库系统概论(第4版)》自出版以来被多所高校采用，对推动我国数据库教育发展做出了重要贡献。全书系统全面阐述数据库系统的基础理论、基本技术和基本方法，并提供实验环境和实验指导，进一步加强了实验和课程设计等教学环节。
MySQL
0
2024-09-27
oracle 数据库精选资料
Oracle 数据库权威教程
Oracle 实战项目案例
Oracle
3
2024-05-26
精选成语数据库
为您提供无重复的30976条成语，涵盖范围广泛，内容包括成语汉字、拼音、解释、出处和例句，方便您学习和查阅。数据库已按成语汉字排序，方便查找。
Access
4
2024-05-28
数据库系统的理论与应用详解
本教程重点复习数据库系统及其应用，分章节详细解析，帮助读者更好地把握重点，为考试做好充分准备。
MySQL
3
2024-07-18
数据库系统的理论与实际应用
数据库系统的基本原理和实际应用是现代信息技术中的核心组成部分。
SQLServer
2
2024-07-22
Oracle数据库SQL技巧精选
程序员可以利用Oracle数据库中的特殊字符来精确匹配不同的文本格式，如换页符、换行符和制表符等。
Oracle
3
2024-07-19
数据库习题及答案精选
这里汇总了一些关于数据库的习题及其详细答案，适合希望加深对数据库理解的学习者。每道题目都附带了清晰的解析，帮助读者更好地掌握相关知识。
MySQL
1
2024-08-01