Канонічна форма
Канонічна форма — така форма, що однозначно репрезентує об'єкт. Її часто плутають зі схожим поняттям нормальна форма.
Формальне визначення
Нехай ми маємо множину, на якій визначене відношення еквівалентності. Воно розбиває множину на класи еквівалентності. Можна вибрати один елемент з кожного класу еквівалентності, та назвати його канонічною формою. Тепер цей елемент однозначно ідентифікує свій клас розбиття. Алгоритм отримання канонічної форми з довільного елементу класу еквівалентності називають канонізацією. Канонізація еквівалентна визначенню класу еквівалентності.
Приклади
Програмування
В програмуванні зведення даних до якогось виду канонічної форми називається «нормалізацією даних» (англ. data normalization)[1].
Наприклад, нормалізація бази даних це процес організації полів і таблиць реляційної бази даних для мінімізації надлишковості.[2]
| Цей розділ потребує доповнення. |
Див. також
Зноски
 | Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |