这个函数依赖性推导是否正确?

时间:2015-10-31 02:46:22

标签: sql normalization

让我们说,我有两个功能依赖

A -> EF
B -> GH

我们可以通过哪些公理来推断下面的关系?

AB -> EFGH

2 个答案:

答案 0 :(得分:2)

你可以推导出:

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)

使用enter image description here,基本公理(扩充)和派生公理(联合,分解)。

答案 1 :(得分:0)

我不确定你想做什么。

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

我有起始点Ep和端点 Sp -> x1y1 Ep -> x2y2

SpEp

我有一条线,在这种情况下 SpEp -> x1y1x2y2 是唯一的

SpEp

但在那一刻line_id成为@echo off setlocal cls echo enter your name echo name: echo enter name above rem Move cursor to one line below screen size, rem you must adjust this value to fit your screen. for /L %%i in (1,1,34) do echo/ rem Move cursor to screen home and hide timeout "Waiting..." message for /F %%a in ('timeout /T 1 ^> CON') do rem set /P "name=name: " echo/ echo/ echo/ echo Name read: "%name%"

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