这个函数依赖推导正确吗？答案

【问题标题】：is this functional dependency derivation correct?这个函数依赖推导正确吗？
【发布时间】：2016-01-31 13:28:38
【问题描述】：

假设我有两个函数依赖

A -> EF
B -> GH

有没有公理可以推导出下面的关系？

AB -> EFGH

【问题讨论】：

如果A 和B 是唯一的或A + B 是唯一的，则将A 和B 连接到一列，然后将EF 和GH 连接在一列中，然后尝试定义这两列之间的关系。还要提及您正在使用的数据库引擎

标签： sql normalization

【解决方案1】：

你可以推导出：

AB -> EFGH

来自：

A -> EF
B -> GH

通过以下步骤：

1.  A -> EF       (by hypothesis)
2.  B -> GH       (by hypothesis)
3.  AB -> BEF     (by augmentation, adding B to the left and right part of 1)
4.  AB -> AGH     (by augmentation, adding A to the left and right part of 2)
5.  AB -> ABEFGH  (by union)
6.  AB -> EFGH    (by decomposition)

使用Armstrong Axioms，基本公理（增强）和派生公理（联合、分解）。

【讨论】：

【解决方案2】：

我不确定你想做什么。

但是使用病态样本我可以将我的工作与地理数据联系起来，因为有类似的东西

我有起点Sp 和终点Ep

 Sp -> x1y1
 Ep -> x2y2

我有一条线，在这种情况下SpEp 是唯一的

 SpEp -> x1y1x2y2

但是在那一刻SpEp变成line_id

但我几乎不会称之为公理。

【讨论】：