KeyUnique()

Syntax:

KeyUnique(Relation R, Tupel t) : Bool
R: Relation
t: Tupel

Beispiel:

IF (KeyUnique(R, t))

Beschreibung:

Diese Funktion erfüllt zwei Aufgaben. Diese unterscheiden sich dadurch, ob t aus R stammt oder nicht.

Stammt t aus R (ist also die Instanz von t in R enthalten), dann prüft die Funktion, ob es noch weitere Tupel in R gibt, die den gleichen Key haben.

Stammt t nicht aus R, so prüft die Funktion, ob in R bereits ein Tupel mit dem Key von t enthalten ist.

Siehe auch KeyComplete().