功能依赖与规范化
我正在寻找一些学习函数依赖和规范化的好资源。 有没有人知道应该去哪里找？我很难区分一个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...
为什么这段Haskell代码在使用功能依赖时可以通过类型检查，但在使用类型族时会产生一个无法解决的错误？
给定一些类型定义： data A data B (f :: * -> *) data X (k :: *) ...以及这个类型类： class C k a | k -> a 这些（为了最小化示例而高度构造的）函数定义进行类型检查： f :: forall f. (fo...
Data.Map中键/值关系的静态保证
我希望为Data.Map创建一个特殊的智能构造函数，该函数对键值对关系的类型有一定的限制。这就是我试图表达的限制： {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, DataKinds #-} data Field = ...
在数据库管理系统中的非平凡函数依赖
以下表格中存在哪些非平凡函数依赖关系？ A B C 1 1 1 1 1 0 2 3 ...
部分依赖（数据库）
我提出了一个定义，即部分依赖是指字段间接依赖于主键或部分依赖于主键，但也依赖于其他依赖于主键的键。如果另一个字段所依赖的字段被删除，则由于其对主键的依赖，该字段仍将存在。我不确定这是否正确。我已经进行了研究，发现每个定义都很容易误导。我的定义是否正确，如果不正确，那么正确的定义是什么？