多个关系之间的语义相关。一张表满足第五范式当且仅当它的每个可由候选键推出。R于 *{A, B, … Z}，定义为A, B, … Z都是R的属性的子集，且A, B, … Z的连接（join）等于R。R上的 *{A, B, … Z}可由R的候选键推出，当且仅当A, B, …, Z的每一个都包含了R的超键。表T满足第五范式意味着它不能被无损分解为几个更小的表。分解后的每个小表与表T拥有相同的候选键的情形被排除不予考虑（作为平凡情形）。第五范式于1979年由在会议论文"Normal forms and