正規化

制約って拘束(条件)と言い換えられる。で、拘束が入ると、自由度が(1以上)落ちる。落ちた結果がきれいに着地するかどうかは別だけど。
関数従属性とか結合従属性(これはまだよくわかってない)とかは、うまく着地できるタイプの制約かと。一般的によくある制約でもあるし。
でも、制約→自由度落ち→正規化できるかもーというのはありそうな流れに思える。
実際の問題領域ごとに一般的な制約以上の制約は多分あるだろうし、それをもとに冗長性と除いたりとかできる場合があるかも。

全然知らない事はのびのび書けていい。