Що таке ключ

Наборатрібутов даного відносини (тобто таблиці) називаетсявозможнимключом, есліотображеніе, що породжується цим набором з даного відносини, є функцією.

З усіх можливих ключів користувач може вибрати тільки один, і призначити його ключем. В Access це робиться за допомогою кнопки або команди "Ключове поле" (меню "Правка" з контекстного меню в режимі "Конструктор таблиці"). На бланку "Конструктор таблиці" ключ позначається спеціальним символом

Мал. 1. Так відображається на бланку конструктора таблиць

інформація про те, що атрибут Код є ключем.

Ключ - це один з можливих ключів, який призначається користувачем.

Що станеться, якщо користувач призначив якийсь атрибут ключем?

По-перше, Access перевірить, чи може запропонований користувачем атрибут бути ключем. Якщо немає, то на екрані з'явиться відповідна діагностика.

По-друге, Access буде стежити, щоб відповідне ставлення і надалі залишалося функцією. Система не допустить змін таблиці, що порушують це властивість.

У користувача є й інший спосіб перетворення відносини в функцію. Це так званий унікальний індекс. Але заради економії місця ми тут його стосуватися не будемо.

Навіщо потрібен ключ. Призначивши атрибут ключем або унікальним індексом, користувач отримує можливість створювати певного типу зв'язку; крім того, це дозволяє прискорити пошук інформації з даного атрибуту.

Ключ - це тільки одне з понять, яке можна легко і просто пояснити через функцію. Іншими важливими поняттями, які також можна пояснити через функцію, є відносини "один-ко-многим", "багато-до-одного", і т.п.

Що таке ставлення "один-ко-многим"

Визначення 1. Відображення має тип "багато-до-одного", якщо воно є функцією.

Зауважимо, що при цьому в одне значення може відображатися кілька значень аргументу.

Визначення 2. Відображення має тип "один-ко-многим", якщо для кожного значення результату відображення є рівно одне значення аргументу, відповідне цього результату.

Зауважимо, що при цьому одне значення аргументу може відображатися в кілька значень результату.

Визначення 3. Відображення має тип "один-до-одного", якщо кожному значенню аргументу відповідає рівно одне значення результату відображення і навпаки.

Такі відображення часто називають ще взаємно однозначними.

Відображення має тип "один-до-одного" в тому і тільки тому випадку, якщо воно одночасно має тип "один-ко-многим" і тип "багато-до-одного".

Відображення зручно зображувати такою схемою:

Мал. 2. Схема відображення

Стрілки на цій схемі показують, яке значення аргументу в яке значення результату переходить при цьому відображенні.

Тепер можна дані вище визначення переформулювати на "мові стрілок".

Відображення має тип "багато-до-одного" (тобто є функцією), якщо з кожного значення аргументу виходить рівно одна стрілка (див. Рис. 5).

Мал. 3. Схема функції

Відображення має тип "один-ко-многим", якщо в кожне значення результату входить рівно одна стрілка (див. Рис. 6).

Мал. 4. Схема відображення "один-ко-многим"

Відображення має тип "один-до-одного", якщо з кожного значення аргументу виходить рівно одна стрілка і в кожне значення результату входить теж рівно одна стрілка (див. Рис. 7).

Мал. 5. Схема взаємно однозначного відображення

Корисно ввести поняття відображення, зворотного даному.

Назвемо відображення G зворотним до відображення F, якщо відображення G виходить з F заміною всіх стрілок на протилежні (див. Рис. 6),

Мал. 6. Схема відображення, зворотного до показаному на рис. 5

Використовуючи поняття зворотного відображення, легко сформулювати такі очевидні спостереження:

відображення має тип "один-ко-многим", якщо і тільки якщо зворотне йому відображення має тип "багато-до-одного";

відображення має тип "один-ко-многим", якщо і тільки якщо зворотне йому відображення є функцією.

"Що таке добре і що таке погано"