固有性

[24] 固有性 (uniqueness) は Unicode 正規化形の最も重要な設計目標とされています。 2つの等価な文字列の正規化形は完全に一致します >>6 7。すなわち、

• [25] 2つの文字列が正準等価 (canonical equivalent) なら、 両者に NFC を適用した結果は一致します。また、両者に NFD を適用した結果は一致します。 >>6 7
• [26] 2つの文字列が互換性等価 (compatibility equivalent) なら、 両者に NFKC を適用した結果は一致します。また、両者に NFKD を適用した結果は一致します。 >>6 7
• [27] NFC, NFD, NFKC, NFKD はいずれも冪等です。 >>6 7
  • [28] これは >>25、>>26 から導かれます。 >>6 7
  • [46] 訂正 #5 による変更以前は実は冪等でないケースが存在しました。

安定性

[29] ここでいう安定性 (stability) は正規化に直接関係しない文字がそのまま無変更で残ることをいいます。具体的には、

• [30] 互換性分解を持った文字は、 NFC や NFD を適用しても元の文字のまま結果に含まれます。 >>6 7
• [31] 結合文字が含まれていなければ、 NFC によって文字列は変化しないことを原則とします。 >>6 7
  • [32] 合成除外表に含まれるものは例外です。 >>6 7
• [33] 合成に無関係な結合文字が含まれていても、合成の結果には影響しません。 >>6 7
  • [34] 合成済文字に対応する基底文字と結合文字に加え、更に別の結合文字があったとしても、 結合文字同士の順序の如何を問わず、結局合成は行われ、それに加えてその別の結合文字が残ります。

効率性

[35] 正規化は効率的 (efficiency) に実装可能であるとされています >>6 7。 具体的には、

• [36] 正規化形が効率良く実装可能であって、とりわけ既に NFC または NFD である文字列に対して NFC を高速に得ることが可能です。 >>6 7
• [37] 合成を行う正規化形は、必ずしも最初の形を生成するものではありません。 最小形の計算は高価である可能性があるためです。 >>6 7

強い正規化安定性

[10] 強い正規化安定性 (strong normalization stability) : Unicode 4.1 とそれ以降において、 ある版で割り当て済みの文字のみから構成される文字列を正規化した結果は、 その文字列を以降の任意の版で正規化した結果と一致します。 >>9

[11] そのために、一旦割り当てられた文字の分解写像と正準結合クラスが改訂によって変化しないことが保証されています。 >>9

[12] この安定性は割り当て済みの文字のみで構成される場合についてのものであり、 未割当の符号位置が含まれているときには必ずしも保証されません。

[38] この安定性が保証されるのは Unicode 4.1 以降ですが、実際には Unicode 3 以降においても Corrigendum #2, Corrigendum #3, Corrigendum #4, Corrigendum #5 の影響を受けない範囲では成立します。 >>6 11.2

弱い正規化安定性

[13] 弱い正規化安定性 (weak normalization stability) : Unicode 3.1 とそれ以降において、ある版で割り当て済みの文字のみから構成される文字列を正規化した結果得られる文字列は、 以降の任意の版においても正規化済みです。また、それ以前で Unicode 3.1 までの版であって、 その文字列に含まれる文字すべてが含まれる版においてもまた、正規化済みです。 >>9、>>6 11.1

[14] そのために、一旦割り当てられた文字の分解写像がいくつかの例外ケースを除き改訂によって変化しないこと、 正準結合クラスが改訂によって変化しないことが保証されています。 >>9

[15] 強い正規化安定性が保証されれていれば、弱い正規化安定性もまた保証されます。

[18] 「XY」の2文字から「Z」の1文字への合成を追加する場合、 弱い正規化安定性が満たされるためには、 3文字すべてが新しい文字であるか、または X と Y のどちらかだけが古い文字であるかでなければなりません。 >>6 3

[20] また、正規化に影響するような既存の文字の特性の変更も認められないことになります。 >>6 3

Unicode 3.1 以前の非互換性

[22] Unicode 3.1.0 が「合成版」ということは、逆にそれまでの版と現在とでは互換性がない変更が行われていることを意味します。

[23] たとえば Unicode 2.1.9 においてハングル音節に関する互換性写像が削除され、 正規化の結果が変化しています。 >>6 6

[43] Unicode 3.0.1 と 3.1 の間に発行された訂正 #2 では、 誤って合成除外表から欠落していた1文字について、 合成除外表に追加され、非互換性が生じています。

Unicode 3.1 から Unicode 4.1 までの非互換性

[39] UAX #15 では、強い正規化安定性が保証されていない Unicode 4.1 よりも前の版との互換性が必要な時の対処方法として、

• [40] Unicode 4.1 以前の動作に近づける >>6 11.3
• [41] 動作が変わってしまった文字の利用を禁止する >>6 11.4

... の2通りを挙げて説明しています。

[44] Unicode 3.1 と 4.1 の間には訂正 #3と訂正 #4が発行され、 6文字について正準分解が修正されています。

[45] Unicode 4.0.1 と 4.1 の間には訂正 #5 が発行され、「妨害」 の定義が修正されて正規化の冪等性 (>>27) が保たれるようになっています。 それ以前も冪等性は設計目標に入っていましたが、定義の誤りにより厳密には成立していませんでした。