Normal Form

释义 Definition

normal form（常译“规范形/标准形”）：指把一个对象（如逻辑公式、矩阵、数据库模式、程序表达式等）按一套规则转换成的标准化表示，便于比较、证明、计算或实现。不同学科中有不同的“normal form”（如合取范式/析取范式、Jordan标准形、数据库第一/第二/第三范式等）。

发音 Pronunciation (IPA)

/ˈnɔːrməl fɔːrm/

例句 Examples

The teacher asked us to write the equation in normal form.
老师让我们把方程写成规范形（标准形）。

By converting the logic statement into a normal form, we can more easily test whether two formulas are equivalent.
把逻辑命题转换为某种规范形后，我们能更容易检验两个公式是否等价。

词源 Etymology

normal 来自拉丁语 norma（“木工用的曲尺、准则/规范”），引申为“标准的、规范的”；form 来自拉丁语 forma（“形状、形式”）。合起来 normal form 字面意思就是“标准的形式”，后来在数学、逻辑与计算机科学中专指“按规则化简/整理后的标准表示”。

相关词 Related Words

• Canonical
• Standard
• Normalize
• Normalization
• Canonicalization
• Conjunctive
• Disjunctive
• Equivalence

文学与著作 Literary Works

• Introduction to Automata Theory, Languages, and Computation（Hopcroft, Motwani, Ullman）——讨论正则表达式、自动机与形式系统时常涉及将表达式化为某种规范形。
• Logic in Computer Science: Modelling and Reasoning about Systems（Huth & Ryan）——讲命题/谓词逻辑、范式与可判定性时使用“normal form”。
• Introduction to the Theory of Computation（Michael Sipser）——在可计算性与形式语言相关章节中常出现“normal form”的表述与用途。
• Database System Concepts（Silberschatz, Korth, Sudarshan）——在数据库“范式”（1NF/2NF/3NF/BCNF）部分大量使用“normal form”。