Upitni Jezici - kondor.etf.rs

Relacioni Račun sa Torkama
Neproceduralni upitni jezik, u kome svaki upit
ima oblik
{t | P (t ) }
To je skup svih torki t takvih da je predikat
P istinit za t
• t je promenljiva torka, a t [A ] označava
vrednost torke t na atributu A
• t ∈ r označava da je torka t u relaciji r
• P je formula predikatnog računa