Relacijski račun

Pri relacijskem računu v nasprotju z relacijsko algebro ne navajamo postopka izvajanja operacij nad relacijami, temveč opišemo lastnosti relacije, ki jo iščemo.

Obstajata dve vrsti relacijskega računa, ki se razlikujeta po vrstah spremenljivk:

• n-terični relacijski račun (tega bomo obravnavali v nadaljevanju)
• domenski relacijski račun

V (v-teričnem) relacijskem računu relacijo opišemo s pomočjo funkcije predikatnega računa F(t) z eno prosto spremenljivko t. Za spremenljivko t lahko zaradi lažje razumljivosti navedemo tudi število mest n (stopnja relacije).

Zapis predikatnega računa: { t⁽ⁿ⁾: F(t) }

Izraz pomeni: iskano relacijo sestavljajo vse tiste relacije t, ki zadoščajo funkciji predikatnega računa F(t) (za katere velja izjava F(t)).

Povezave

• N-terični relacijski račun na Wikipediji