Prolog 联合失败
我试图了解 Prolog 中联合(内置谓词)的使用.在许多情况下，它似乎在它应该成功的时候却失败了.它似乎与列表元素的顺序有关.以下所有情况均失败(它们返回“false".). ?- union([1,2,3],[],[2,3,1]).?-联合([1,5,3]，[1,2]，[1,5,3,2]).?-联合([4,6,2,1]，[2]，[1,2,4,6]).?-联合([1,2]，[]，[2,1]).
..
functional-dependencies相关内容
如何找到给定关系的最高范式
我浏览了互联网和书籍，但在如何确定这种关系的范式上仍有一些困难 R(a, b, c, d, e, f, g, h, i)FD =乙→乙BI→CDEH→AGG→DE 到目前为止，我知道唯一的候选键是 BHI(如果我应该用 F 来计算，那么 BFHI).因为根本没有使用属性 F.完全独立于给定的 FD. 那么我应该如何处理属性 F? 如何确定关系 R 的最高范式? 解决方案 那么我
..
为什么此实例无法满足覆盖条件?
为什么在缺少 UndecidableInstances 的情况下，以下实例声明无法满足覆盖条件?似乎，如果在上下文中满足功能依赖关系，则在新实例中满足它. {-#语言功能依赖项#-}{-#语言UndecidableInstances#-}Foo a b类|a->b在哪里实例(Foo a b，Foo a'b')=>Foo(a，a')(b，b')其中 如果我尝试使用类型家族复制相同的东西，就没
..
Haskell功能依赖冲突
为什么会导致冲突? class Foo a b |b->一个地方foo :: a->b->布尔实例Eq a =>Foo a wherefoo =(==)实例Eq a =>Foo a(a-> a)其中foo x f = f x == x 请注意，如果删除功能依赖项，则代码将编译. 我的印象是，功能依赖项仅应禁止以下内容，而实际上它们可以编译！ class Foo a b |b->一
..
ER模型对功能依赖性解决方案的解释
我正在尝试了解将ER模型转换为功能依赖性的一项练习的解决方案. ERM中的R(对于实体关系模型)代表“关系"，就像在n元关联中一样.类似地，RM中的R(对于关系模型)按照其在数学中的连接含义使用“关系"作为n元关系/关联和关系.如此相关/关联的一组值的元组，这些元组参与或满足这种关系.但是这些ER&RM“关系"不是参与项或FK(外键)，它们通过方法&声称是ER或关系型但又不是关系型的演示文稿
..
证明无损或有损分解
我试图解决一个有关证明给定分解是有损还是无损的问题 通过应用测试无损连接属性.F = {AB→C，C→E，B→D，E→A}是功能依赖项的集合在R上一世.R(ABCDE)分解为R1(AB)，R2(ADE)和R3(BCD)ii.R(ABCDE)分解为R1(BCD)，R2(ACE)和R3(BD) ** 我对解决方案的尝试: ** 仅当给定表之间具有公共属性并且公共属性是候选
..
设计无损连接，保留相关性的3NF数据库
我需要设计数据库来跟踪以下属性: stdnum//学生编号邮政编码//邮政编码phone_number//学生电话号码城市//学生地址:城市 还列出了功能依赖项: stdnum->邮政编码stdnum->电话号码邮政编码->城市phone_number->城市 我需要找到属性的无损联接，保留依存关系，第三范式分解. 我尝试了不同的分解，但是没有人遵循所有要求(它们是:无损联接，保
..
说到功能依赖关系，A→B是否与B→A相同?
这可能非常简单，但我只需要与你们确认一下即可. 在数据库方面，文学中的箭头是否暗示着平等? 意思是，A→B是否被视为与B→A相同，特别是在涉及数据库和功能依赖项时? 解决方案 请阅读有关FD(功能依赖项)的参考. FD是属性集A& A的形式"A→B"的表达式.B.因此，如果A和B不同，则A→B是与B→A不同的FD. 对于关系值或变量R，"A→B保留在R中"和"A→B
..
在一组关系上证明FD-需要解决方案检查
我在证明与阿姆斯特朗公理的功能相关性时遇到问题.我为此感到挣扎: 让R(A，B，C，D，E)是一个关系模式，并且F = {A→CD，C→E，B→D} 证明:F:BC->DE 我所拥有的: 给出B-> D 公元前1月的C号->DC 在BC 2分解->D，BC->C BC的传递性->C，BC->E BC省的联盟->D和4，BC->DE 不确定这是否是正确的解决方案
..
这种分解依赖性是否得到保留?
我试图弄清楚如何查看分解是否保留了依赖关系.关系为:R(ABCDEF)，并且具有以下FD.AB-> CE，C-> EB，E-> D，C->D.然后将关系拆分为:R1(BF)，R2(ACB)和R3(CDE).这种依赖关系得到保留吗? 我的印象是，要计算此结果，您需要对FD的所有左侧进行封闭.这给出了: AB + = ABCEBD，其中包括AB-> CE C + = CEBD，其中包
..
阿姆斯特朗公理证明
我在证明与阿姆斯特朗公理的功能相关性时遇到问题.我正在努力奋斗的那个和.假设R(A，B，C，D，E)为关系模式，并且F = {A→CD，C→E，B→D}1.证明:F:BC-> DE 我所拥有的: 1给定B-> D1.增强C在1，BC-> DC 2.在BC-> D BC-> C 上分解 3.BC-> C，BC-> E 的传递性 4.BC-> D和4，BC-> DE上的联合
..
查找功能依赖性
如何根据此案例研究确定功能依赖性和候选键? 课程模块，可由讲师，学生或访客执行用户.课程模块由学科代码和学科名称组成.什么时候管理员创建课程，它将存储课程ID，主题代码，讲师ID，课程名称和..... 学生必须报名参加课程和课程注册包括注册ID，学生信息，注册日期，完成日期和.... 根据我的假设，课程ID->{主题代码，主题名称} ，但同时 管理员ID->(课程ID，学科代码
..
在为空的情况下的功能依赖性
假设我们有一个包含3列A，B和C列的表 A B C---------------1 2 32 4 54 6 755 这里的"n"表示空. 我们可以说A-> B和A-> C吗?我知道功能依赖项的定义，但在使用空值的情况下我感到困惑. 解决方案 如果将null视为值，则答案为是. A->B，C 保存在给定的数据中.但是，要成为一个值会带来某些要求.所有适用于该域(例如整数)的运算
..
部分依赖(数据库)
我提出了一个定义，即当字段间接依赖于主键或部分依赖但还依赖于依赖于主键的其他键时，部分依赖就是这样，如果删除了另一个字段所依赖的字段，则该依赖关系由于它依赖于主键，因此该字段仍将存在.我不确定是否正确.我已经研究过，每个定义听起来都具有误导性.我的定义正确吗?如果不是，那么 解决方案 在删除某个确定属性时，在关系中持有的FD(功能依赖项)是部分的，从而提供了在关系中持有的FD.不完全的FD
..
声明用于N个N个元素矩阵与N个元素列向量相乘的类型类
在Haskell中，如果您具有类型的“族"(例如，对于N的某些值，则为N个元素的矩阵)和“相关"类型的并行族(例如，N个元素的向量) ，对于相同的N值)，以及需要每个族中一种特定类型的操作(例如，将N×N元素矩阵与N元素列向量相乘)，则可以声明类型该操作的课程? 对于这个特定的示例，我想它看起来像这样: class MatrixNxN m where --| Multiplica
..
当x-> y和z-> y（其中z不是x的子集）时，FD（功能依赖）是否完全为fd？
我已经看到了很多有关完全功能依赖的示例，但是他们经常这样说： x-> y这样y不应由任何适当的形式确定 但是，如果y是由x的适当子集或子集以外的属性确定的，那该怎么办。 假设我有一个学生表，该表由rollno（主键），姓名，电话号码唯一性不为null，电子邮件地址唯一性不为null。 由于rollno是主键，因此将其设为x并命名为y。 现在x-> y，但是电话或电子邮
..
无法保留功能依赖性的分解
什么时候BCNF分解不能保留功能依赖性...我试图说出R =（V，W，X，Y，Z） 解决方案 BCNF分解的重点是消除不是 键形式为 key的功能依赖项->其他所有内容 因此，如果表具有FD，例如A-> B，那么A不是键，则意味着您在表中重新存储冗余数据。因此，您将创建一个具有A和B列的新表，其中A为键，然后从原始表中删除B。 更改，您将不再遭受删除异常的困扰，也不必为了更改A
..
跳过标准化步骤？
只是好奇：有人出于某种原因不能一步一步完成所有必要的标准化 吗？归一化是否最终会重绘功能依赖关系（FD）图？我们从FD图/图形开始，最后要以图形表示（顶点是属性，如果b是a上的FD，则属性a，b之间有一条边）表示（编辑）BCNF中的关系？ 编辑：我的意思是：我们从FD图开始，这是一个图配对属性a，b，如果b是A上的FD，即我们加入a和b，边缘为iff b = f（a）。 从该图我们想要获
..
归一化后的功能依赖性
我正在努力理解规范化过程的一个方面，在我对2NF（或3NF）的关系进行规范化之后，我不太了解如何处理功能依赖性。 让我用一个例子来描述它。 我的课本中的练习要求将与2NF，然后与3NF的关系归一化。给予关系 R =（ABCDEF），F = {AD-> FE，BC-> E，FEA-> D ，AC-> DE，F-> E，BD-> A，F-> C，ABC-> AEF，B-> F} 在
..
您如何确定功能依赖性和主键？
在我的Oracle数据库编程课程中，我们的最终实验评估的第一部分要求我们： 标识数据库的主键当前显示的表 查找我们将要使用的表的所有功能依赖项。 绘制该表的依赖关系图（s） 该表以1NF开头。 从我所做的研究来看，似乎我需要实质上组合所有可能的FD，这不仅会占用大量时间，而且考虑到他希望我们然后在依赖关系图中映射这些关系，这似乎很奇怪。基本上，这将导致所有内容链接到所有内容，
..