BD-2st-1.2-w02.tresc-1.1-Slajd16

Klucz obcy (2)

Bardziej formalna definicja klucza obcego jest następująca.

Dane są relacje R1 i R2. Podzbiór FK atrybutów relacji R1 nazywany jest kluczem obcym R1 jeżeli:

- atrybuty w FK mają taką samą domenę jak atrybuty klucza podstawowego PK relacji R2,

- dla każdej krotki t1 relacji R1 istnieje dokładnie jedna krotka t2 relacji R2, taka że t1 [FK] = t2 [PK], lub t1 [FK] = null.

Klucz obcy, zwany również ograniczeneim referencyjnym, gwarantuje, że rekordy z tabeli R1 występują w kontekście związanego z nim rekordu z tabeli R2.

<< Poprzedni slajd | Spis treści | Następny slajd >>