我正在寻找一些学习函数依赖和规范化的好资源。 有没有人知道应该去哪里找?我很难区分一个FD是否在1NF、2NF或3NF中。 我一直在阅读维基百科并使用谷歌搜索好的研究资料,但是找不到任何用简单术语解释的资料。 也许你们可以分享一下在生活中如何学习FD和规范化。
请考虑: {-# OPTIONS -fglasgow-exts #-} data Second = Second data Minute = Minute data Hour = Hour -- Look Ma', a phantom type! data Time a = Time I...
我只是想确定自己的想法是否正确。 1)完全依赖是指一个或多个主键决定另一个属性。 2)部分依赖是指一个主键决定另一个或多个属性。 3)传递依赖是指非关键字属性决定另一个属性。 我的理解正确吗?
我在https://web.archive.org/web/20130514174856/http://databases.about.com/cs/specificproducts/g/determinant.htm上找到了这篇由Mike Chapple撰写的文章: 定义:数据库表中的决...
根据我的项目规范,我需要创建一个基于逻辑的数据模型,并确定功能依赖关系。 User 表示例数据:user_id username regDate type subscription 1 JohnS 01-01-2012 Administrator ...
一个关于连接的有趣事实是,如果我知道等式中的任意两个变量: a ++ b = c 然后我知道了第三个。 我想在自己的concat中捕捉这个想法,所以我使用了一个函数依赖。 {-# Language DataKinds, GADTs, FlexibleContexts, Flexibl...
给定一些类型定义: data A data B (f :: * -> *) data X (k :: *) ...以及这个类型类: class C k a | k -> a 这些(为了最小化示例而高度构造的)函数定义进行类型检查: f :: forall f. (fo...
我希望为Data.Map创建一个特殊的智能构造函数,该函数对键值对关系的类型有一定的限制。这就是我试图表达的限制: {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, DataKinds #-} data Field = ...
以下表格中存在哪些非平凡函数依赖关系? A B C 1 1 1 1 1 0 2 3 ...
我提出了一个定义,即部分依赖是指字段间接依赖于主键或部分依赖于主键,但也依赖于其他依赖于主键的键。如果另一个字段所依赖的字段被删除,则由于其对主键的依赖,该字段仍将存在。我不确定这是否正确。我已经进行了研究,发现每个定义都很容易误导。我的定义是否正确,如果不正确,那么正确的定义是什么?