徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
下载
比浏览器更快的访问!
 

第四正規化

指数 第四正規化

四正規化(4NF,中国大陆譯作「--」、臺灣及香港譯作「--」)是資料庫正規化中所使用的一種正規形式,是BC范式之后的另一层次的规范化。第二范式、第三范式、BC范式关注于属性集合之间的函数依赖;而第四范式关注更一般形式称作多值依赖。 于1977年提出。 数据库的一个表遵从第四范式,当且仅当对于任意一个非平凡的多值依赖X \twoheadrightarrow Y, X是一个超键。"A relation schema R* is in fourth normal form (4NF) if, whenever a nontrivial multivalued dependency X \twoheadrightarrow Y holds for R*, then so does the functional dependency X → A for every column name A of R*.

4 关系: 多值依赖关系键BC正規化比萨饼

多值依赖

关系数据库的一个表中的列头分为不相交的三组:X, Y, Z。在一行的特定上下文中,称上述列组的数据值为x, y, z。多值依赖X Y,意味着如果选择表中的任何值x(记作xc),从而确定该表中所有的xcyz列表,如果xc关联着同一个y的值,不论z的任何取值。实质上,z的存在不提供任何信息能约束到y的可能值。也可以表述为,定义域的每一个值,都能确定值域中的一个值的集合。 平凡多值依赖 X Y是或者Y是X的子集,或者X与Y一起形成了该关系的整个属性集合。 函数依赖是多值依赖的特例。函数依赖X → Y,那么每个x确定了确切一个y值,而不能是多个。.

新!!: 第四正規化和多值依赖 · 查看更多 »

关系键

关系键是关系数据库的重要组成部分。关系键是一个表中的一个或几个属性,用来标识该表的每一行或与另一个表产生联系。.

新!!: 第四正規化和关系键 · 查看更多 »

BC正規化

Boyce-Codd范式(Boyce-Codd normal form,缩写BCNF),是数据库规范化的一种正规形式。是在第三范式的基础上加上稍微更严格约束,每个BCNF关系都满足第三范式。BCNF去除了属性间的不必要的函数依赖。 BCNF的定义是: 对上述定义,可以理解为:平凡函数依赖关系是指,如果属性集合X包含了属性集合A,那么就一定有X->A;超键是指能够唯一确定表中各行的属性集合,因此一个超键的最小化就是一个候選鍵;BCNF是说,如果一个属性集合X能“不平凡”地推导出另一个属性集合A,而且X还不能唯一区分表的各行,那么这个表中一定包含了一些冗余信息。 BCNF与第三范式的不同之处在于:第三范式中不允许非主属性被另一个非主属性决定,但第三范式允许主属性被非主属性决定;而在BCNF中,任何属性(包括非主属性和主属性)都不能被非主属性所决定。 任何一个BCNF必然满足:.

新!!: 第四正規化和BC正規化 · 查看更多 »

比萨饼

--或者匹薩(Pizza、在香港一般直稱Pizza或簡稱薄餅)是一種著名的意大利料理。薄餅的字義是「混合著不同食材、番茄及起司烘焗而成的餅」,发源地是意大利的那不勒斯,在全球颇受欢迎,如今比萨饼店分佈於世界各地。比萨饼的做法通常是以发酵過的圆面饼皮上面覆盖番茄酱、奶酪及其他配料,並由烤炉烤制而成。奶酪的種類以莫薩里拉乾酪(Mozzarella)較常見,也有混用几种奶酪的形式,包括帕馬森乾酪(Parmesan)、羅馬乳酪(Romano)、意大利鄉村軟酪(Ricotta)或蒙特里傑克乳酪(Monterey Jack)等。 据统计,在意大利大约有兩萬多间比萨饼店,全球最大的比萨饼连锁店是美国的必胜客,達美樂披薩则是全美第二大披萨连锁店。.

新!!: 第四正規化和比萨饼 · 查看更多 »

重定向到这里:

第四范式

传出传入
嘿!我们在Facebook上吧! »