Зміст:
Визначення - Що означає аксіома Армстронга?
Аксіома Армстронга - це математичне позначення, яке використовується для пошуку функціональних залежностей у базі даних. Задуманий Вільямом У. Армстронгом, це перелік аксіом або правил умовиводу, який може бути реалізований у будь-якій реляційній базі даних. Позначається символом F +.
Техопедія пояснює аксіому Армстронга
Аксіома Армстронга використовується для аналізу, уточнення та підтримки реляційних баз даних. Він має три основні режими або умовиводи, застосовані до набору даних. Вони такі:
- Аксіома рефлексивності: Якщо ім'я користувача (A) та назва (B) представляють ім’я людини, то відносини між обома (A і B) мають мало значення.
- Аксіома збільшення: Якщо ідентифікатор користувача визначає ім’я людини, то ідентифікатор користувача з квотою електронної пошти визначають ім'я та квоту електронної пошти.
- Аксіома транзитивності: Якщо ідентифікатор користувача визначає ім’я людини, а ім’я людини визначає відділ, то відділ може визначити ідентифікатор користувача.
