自动模式(范式)分解工具-NFDtool

最新推荐文章于 2021-04-27 17:26:27 发布
最新推荐文章于 2021-04-27 17:26:27 发布
阅读量308 收藏 1
点赞数
分类专栏： 数据库工具 文章标签： 数据库 javascript github
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44923512/article/details/114765534
版权

软件简介

可用于计算闭包、计算候选码、计算最小依赖集、实现范式分解（可分解为2NF、3NF、BCNF并演示分解过程），适用于本科教学或数据库辅助设计。已在gitee上开源共享，欢迎大家一起完善。

效果图

软件功能

  • 计算闭包

    • 计算增广集
    • 计算传递依赖
    • 计算闭包

  • 计算关键字

    • 计算主码
    • 计算候选码

  • 计算最小依赖集

    • 依赖分解
    • 去除多余依赖
    • 去除多余属性
    • 计算最小依赖集

  • 模式分解

    • 分解为2NF
    • 分解为3NF
    • 分解为BCNF
    • 分解过程展示

下载链接

联系方式：1102418305@qq.com

下载地址： https://gitee.com/formalization/schema_decomposition

一只咸鱼\0
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
数据库系统概论 第六章 关系数据库理论（3）数据依赖公理系统，Armstrong公理系统，函数依赖闭包，模式分解，无损连接性，函数依赖，模式分解算法
VAN
06-26 554
第4讲 数据依赖的公理系统 数据以来的公理系统是模式分解算法的理论基础 函数依赖的一个有效而且完备的公理系统–Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 从一组函数依赖求得蕴含的函数依赖，例如问X->Y是否被F所蕴含，求给定关系模式的码 逻辑蕴含 1.Armstrong公理系统 2.导出规则 3.函数依赖闭包 设F为属性集U上的一组函数依赖，X ⊆U， XF 由F根据Armstrong公理导出}，XF ={ A|X→A能 +称为属性集X关于函数依赖集F的闭 传
数据库模式分解方法_自动数据分解的经验方法
weixin_26735933的博客
09-13 1422
数据库模式分解方法For every data scientist, data availability is a crucial pre-requisite for their work. Most commonly, data are acquired from internal and external (paid) sources via APIs. On one hand, data s...
BCNF,3NF分解
03-11
面向3NF且保持函数依赖的分解 输入：关系模式R及其上的最小函数依赖集F。 输出：R的保持函数依赖的分解，其中每一个关系模式是关于F在其上投影的3NF。 算法实现： 1)如果R中存在一些不在F中出现的属性，则将它们单独构成一个关系模式，并从模式R中消去； 2)如果F中有一个函数依赖X→A，且XA=R，则R不用分解，算法终止； 3)对F中的每一个函数依赖X→A，构造一个关系模式XA。如果X→A1,X→A2,…,X→An均属于F，则构造一个关系模式XA1A2…An。
mysql 范式化_MySQL-范式和反范式
weixin_39928461的博客
01-25 127
1.第一范式(1NF)(列不能再拆分)原子性，字段不可分(列的信息)，只要是关系型数据库，就自动满足1NF；2.第二范式(2NF)(主键唯一，且被依赖)在第一范式基础上建立的，即满足第二范式的必须先满足第一范式。要求DB表中的每个实例或行必须可以被唯一区分，通常设计一个主键来实现，其他属性完全依赖主键。3.第三范式(3NF)(表与其他表间没有关联)必须满足第二范式，要求一个数据库表中不包含已在其他...
AXCPT_注意力测试范式_AX-CPT_
10-02
AXCPT，全称为Attentional X-Continuous Performance Test，是一种基于认知心理学的注意力测试范式。这个测试变种，即AX-CPT，是经典CPT（连续性能测试）的扩展，旨在评估个体在长时间任务执行过程中的持续注意力、...
6-8 关系模式的分解.pdf
04-23
在这一过程中，规范化规则被用来对关系模式进行分解，直到满足既定的范式标准，如第一范式（1NF）、第二范式（2NF）、第三范式（3NF）等。 模式分解的3个定义包括： 1. 分解的无损连接性（lossless join）：指的是...
数据库-范式及范式分解复习知识
最新发布
03-07
1. **模式分解**：判断关系模式`R`是否满足好的范式。如果不满足，则需要对`R`进行分解，将其分解为多个子关系模式{`R1, R2, ..., Rn`}。 2. **无损分解**：确保分解后的子关系模式能够无损地重建原始关系模式。 3. ...
数据库考试题 模式分解例题 范式规范化 3NF BCNF
01-12
"数据库考试题 模式分解例题 范式规范化 3NF BCNF" 数据库考试题是数据库管理系统（DBMS）中的一个重要组成部分，对于数据库的管理和使用有着重要的影响。本文将对数据库考试题进行整理和总结，帮助读者更好地理解...
数据库3-4 关系范式及模式分解1
08-03
数据库设计是IT领域中至关...在设计数据库时，我们需要仔细分析数据间的依赖关系，合理地进行模式分解，以达到这些范式的要求。通过这一系列规范，我们可以确保数据库设计的正确性和健壮性，从而更好地支持业务需求。
数据库——判断范式的方法及转换
weixin_43978029的博客
05-24 1897
数据库——判断范式的方法及转换 给定关系模式和FD集，判断关系模式所属范式的解题步骤： 1.求候选码（请看上一章内容），确定主属性和非主属性（包含在候选码中的属性是主属性，不包含其中的属性是非主属性）； 2.看是否有非平凡的FD（即函数依赖），其左部不含候选码； 3.若不存在，则是BCNF（BC范式）； 4.否则：若这些FD的右部都是主属性，则是3NF； 5.否则：若任何候选码的任何真子集都不确定非主属性，则是2NF； 6.否则：为1NF。 相关概念： 函数依赖：由X可以推出Y，即X->Y，称Y函数
设计数据库 ER 图太麻烦？不妨试试这两款工具，自动生成数据库 ER 图！！！
楼下小黑哥
04-30 2万+
告别手动画图，提高效率~
markdown编辑器判断范式的简单使用(一）
m0_53678120的博客
04-27 338
一、 因为X2→X4X_2 \rightarrow X_4X2​→X4​ 所以(X1,X2)→X4(X_1,X_2) \rightarrow X_4(X1​,X2​)→X4​ 又因为(X1,X2)→X3(X_1,X_2) \rightarrow X_3(X1​,X2​)→X3​ 所以(X1,X2)→(X1,X2,X3,X4)(X_1,X_2) \rightarrow (X_1,X_2,X_3,X_4)(X1​,X2​)→(X1​,X2​,X3​,X4​) 所以候选码为（X1X_1X1​,X2X_2X2​)
Armstrong 公理
China学习者
04-04 7206
Armstrong公理的推论编辑 合并规则：若X→Y，X→Z同时在R上成立，则X→YZ在R上也成立。 分解规则：若X→W在R上成立，且属性集Z包含于W，则X→Z在R上也成立。 伪传递规则：若X→Y在R上成立，且WY→Z，则XW→Z。 函数依赖的公理系统 一、Armstrong公理系统设关系模式R，其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则： ① A1自反律：若Y⊆X⊆U
经验模式分解（EMD）——简介及Matlab工具箱安装
热门推荐
qrlhl的博客
08-15 12万+
　　最近在做脑电信号分析，在导师的建议下学习了一点经验模式分解（下面简称EMD）的皮毛，期间也是遇到了很多问题，在这里整理出来，一是为了自己备忘，二是为了能尽量帮到有需要的朋友。 一、EMD简介 　　经验模态分解（Empirical Mode Decomposition,EMD）法是黄锷（N. E. Huang）在美国国家宇航局与其他人于1998年创造性地提出的一种新型自适应信号时频处理方...
数据依赖的Armstrong公理系统
sunshine博客
06-02 6346
关系模式R <U，F >来说有以下的推理规则： 1.自反律（Reflexivity）：若Y Í X Í U，则X →Y为F所蕴含（平凡函数依赖） 2.增广律（Augmentation）：若X→Y为F所蕴含，且Z Í U，则XZ→YZ为F所蕴含 3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含（传递函数依赖） 4.合并规则：由X→Y，X→Z...
mysql 21天_把整个Mysql拆分成21天，轻松掌握，搞定（中）
weixin_39796533的博客
01-19 83
第8天作业，继续select1)查找idoxu表，名称(c_name)包含“i”的数据2)查找istester表，id包含 “1” 的数据3)查找istester表，id包含 “1” 的数据，按id降序4)查找istester表，id包含“1”的数据，取id最大的三个前一天作业答案参考，1)查询istester表id = 1的内容select * from istester where id = ...
关系模式3nf范式分解
05-25
关系模式的3NF范式分解是将一个复杂的关系模式分解成多个符合3NF范式的较简单的关系模式的过程。具体步骤如下： 1. 检查当前关系模式是否已经符合3NF范式，如果是，则无需分解。 2. 如果当前关系模式不符合3NF范式...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值