Determinante (Informatik)
Eine Determinante ist ein Begriff der relationalen Entwurfstheorie. Die Determinate beschreibt die Abhängigkeit zwischen Attributen einer Relation. Sie legt fest, welche Attributmengen den Wert der übrigen Attribute bestimmen. Formal bezeichnet sie ein oder mehrere Attribute eines Relationenschemas, von dem andere Attribute des Relationenschemas voll funktional abhängen.
Wenn A und B jeweils eine Menge von Attributen eines Relationenschemas R sind, dann ist A eine Determinante von B, wenn
- B von A funktional abhängt (in Zeichen ) und
- A minimal ist.
Mit anderen Worten: B ist funktional von A abhängig, aber nicht von einer echten Teilmenge von A.
Falls A Determinante von R ist, in Zeichen , also R voll funktional von A abhängt, dann heißt A Schlüsselkandidat von R.
