目录
关系 (数据库)
在关系模型中，关系是描述现实世界的实体及其之间各种联系的单一的数据结构。由关系的名称和一组具有共同属性的无序的多元组构成。关系可以看做是一个笛卡尔积的有限子集，笛卡尔积中的元组并不是全都有意义，只有有意义的那些才能成为关系。 |- |colspan.
关系键
关系键是关系数据库的重要组成部分。关系键是一个表中的一个或几个属性，用来标识该表的每一行或与另一个表产生联系。.
查看 域键范式和关系键
关系数据库
关系数据库（Relational database），是建立在关系模型基础上的数据库，借助于集合代数等数学概念和方法来处理数据库中的数据。现实世界中的各种实体以及实体之间的各种联系均用关系模型来表示。关系模型是由埃德加·科德于1970年首先提出的，並配合“科德十二定律”。现如今虽然对此模型有一些批评意见，但它还是数据存储的传统标准。标准数据查询语言SQL就是一种基于关系数据库的语言，这种语言执行对关系数据库中数据的检索和操作。 关系模型由关系数据结构、关系操作集合、关系完整性约束三部分组成。.
查看 域键范式和关系数据库
BC正規化
Boyce-Codd范式（Boyce-Codd normal form，缩写BCNF），是数据库规范化的一种正规形式。是在第三范式的基础上加上稍微更严格约束，每个BCNF关系都满足第三范式。BCNF去除了属性间的不必要的函数依赖。 BCNF的定义是： 对上述定义，可以理解为：平凡函数依赖关系是指，如果属性集合X包含了属性集合A，那么就一定有X->A；超键是指能够唯一确定表中各行的属性集合，因此一个超键的最小化就是一个候選鍵；BCNF是说，如果一个属性集合X能“不平凡”地推导出另一个属性集合A，而且X还不能唯一区分表的各行，那么这个表中一定包含了一些冗余信息。 BCNF与第三范式的不同之处在于：第三范式中不允许非主属性被另一个非主属性决定，但第三范式允许主属性被非主属性决定；而在BCNF中，任何属性（包括非主属性和主属性）都不能被非主属性所决定。 任何一个BCNF必然满足：.
查看 域键范式和BC正規化
第三正規化
三正規化（3NF，大陆譯作「--」、臺灣及香港譯作「--」）是資料庫正規化中所使用的一種正規形式，要求所有非鍵屬性都只和候選鍵有相關性，也就是說非鍵屬性之間應該是独立無關的。 如果再對第三正規化做進一步加強就成了BC正規化，它所強調的重點就在於 "資料間的關係是奠基在鍵上、以整個鍵為考量、而且除了鍵之外不考慮其他因素"。.
查看 域键范式和第三正規化
第五范式
关系数据库设计的第五范式 (5NF)，也称投影-连接范式（project-join normal form，PJ/NF）是数据库规范化的一个级别，以去除多个关系之间的语义相关。一张表满足第五范式当且仅当它的每个可由候选键推出。 R于 *，定义为A, B, … Z都是R的属性的子集，且A, B, … Z的连接（join）等于R。R上的 *可由R的候选键推出，当且仅当A, B, …, Z的每一个都包含了R的超键。 表T满足第五范式意味着它不能被无损分解为几个更小的表。分解后的每个小表与表T拥有相同的候选键的情形被排除不予考虑（作为平凡情形）。 第五范式于1979年由在会议论文Normal forms and relational database operators中首次提出。.
查看 域键范式和第五范式
第四正規化
四正規化（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*.
查看 域键范式和第四正規化
蕴涵
蕴涵（implication或entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。.
查看 域键范式和蕴涵
数据库规范化
数据库规范化，又称数据库或资料库的正规化、标准化，是数据库设计中的一系列原理和技术，以减少数据库中数据冗余，增进数据的一致性。关系模型的发明者埃德加·科德最早提出这一概念，并于1970年代初定义了第一范式、第二范式和第三范式的概念，还与Raymond F.
查看 域键范式和数据库规范化
另见
資料庫正規化
亦称为 DKNF。