Канонічна форма
Канонічна форма — така форма, що однозначно репрезентує об'єкт. Її часто плутають зі схожим поняттям нормальна форма.
Формальне визначення
ред.Нехай ми маємо множину, на якій визначене відношення еквівалентності. Воно розбиває множину на класи еквівалентності. Можна вибрати один елемент з кожного класу еквівалентності, та назвати його канонічною формою. Тепер цей елемент однозначно ідентифікує свій клас розбиття. Алгоритм отримання канонічної форми з довільного елементу класу еквівалентності називають канонізацією. Канонізація еквівалентна визначенню класу еквівалентності.
Приклади
ред.Програмування
ред.В програмуванні зведення даних до якогось виду канонічної форми називається «нормалізацією даних» (англ. data normalization)[1].
Наприклад, нормалізація бази даних це процес організації полів і таблиць реляційної бази даних для мінімізації надлишковості.[2]
Цей розділ потребує доповнення. |
Див. також
ред.Зноски
ред.- ↑ https://www.bmc.com/blogs/data-normalization/
- ↑ Description of the database normalization basics. support.microsoft.com. Процитовано 20 листопада 2019.
|
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |