Relationentheorie AIFB SS2001 1 1.1.1Relationen in 1NF und relationale Datenbanken(1/5) Attribut a Wertebereichdom(a) (domain) AttributemengeA = {a 1,...,

Präsentation zum Thema: "Relationentheorie AIFB SS2001 1 1.1.1Relationen in 1NF und relationale Datenbanken(1/5) Attribut a Wertebereichdom(a) (domain) AttributemengeA = {a 1,...,"—  Präsentation transkript:

1 Relationentheorie AIFB SS2001 1 1.1.1Relationen in 1NF und relationale Datenbanken(1/5) Attribut a Wertebereichdom(a) (domain) AttributemengeA = {a 1,..., a n } alle a i paarweise verschieden (ggf.Rollennamen) Reihenfolge der a i beliebig, aber im folgenden fest: a 1, a 2,..., a n Wertebereichdom(A) ::= dom(a 1 ) ×... × dom(a n ) Relation im mathematischen Sinn: Teilmenge X dom(A) Darstellung in Tabellenform: A a1a1 a2a2... anan

2 Relationentheorie AIFB SS2001 2 1.1.1Relationen in 1NF und relationale Datenbanken(2/5) Relation über A im DB-Sinn: Variable r, die (ausgewählte) Werte X Tab(A) annehmen kann. Auswahl durch sogenannte semantische Integritätsbedingungen Relationstyp R (im Sinne von Datentyp): R = (A | ) –A : wie oben – :Menge von semantischen Integritätsbedingungen –R :Name des Relationstyps Wertebereich von R: –val(R) ::= {X Tab(A) | (X)} – (X): : (X) – (X): X erfüllt Integritätsbedingung Menge aller Tabellen über A: Tab(A) ::= {X | X dom(A)} Potenzmenge von dom A in bestimmter Darstellung.

3 Relationentheorie AIFB SS2001 3 1.1.1Relationen in 1NF und relationale Datenbanken(3/5) Schreibweise: r: (A | ) bzw. r:R (oder auch r:R(A | )) –format(r) = A –typ(r)= (A | ) (oder R) –val(r)= val(R) relationale Datenbank/relationales DB-Schema –D: ({r i : (A i | i )| i= 1,..., n} | D ) – D = Menge von interrelationalen Integritätsbedingungen – i = Menge von intrarelationalen Integritätsbedingungen in r i –(i = 1,.., n) Relationsschema, zur Definition einer Relation r eines bestimmten Typs R = (A | )