Канонічна форма

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Канонічна форма — така форма, що однозначно репрезентує об'єкт. Її часто плутають зі схожим поняттям нормальна форма.

Формальне визначення[ред. | ред. код]

Нехай ми маємо множину, на якій визначене відношення еквівалентності. Воно розбиває множину на класи еквівалентності. Можна вибрати один елемент з кожного класу еквівалентності, та назвати його канонічною формою. Тепер цей елемент однозначно ідентифікує свій клас розбиття. Алгоритм отримання канонічної форми з довільного елементу класу еквівалентності називають канонізацією. Канонізація еквівалентна визначенню класу еквівалентності.

Приклади[ред. | ред. код]

Програмування[ред. | ред. код]

В програмуванні зведення даних до якогось виду канонічної форми називається «нормалізацією даних» (англ. data normalization)[1].

Наприклад, нормалізація бази даних це процес організації полів і таблиць реляційної бази даних для мінімізації надлишковості.[2]

Див. також[ред. | ред. код]

Зноски[ред. | ред. код]

  1. https://www.bmc.com/blogs/data-normalization/
  2. Description of the database normalization basics. support.microsoft.com. Процитовано 20 листопада 2019.