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

(Перенаправлено з Канонічний вигляд)

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

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

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

Приклади ред.

Програмування ред.

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

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

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

Зноски ред.

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