Vnější spojení

Vnější spojení
KINO *F PROGRAM
Program-Název.K-Kapacita-Název.F-Datum
-Scala-600-Top gun-3.11.1999
-Scala-600-Kmotr-4.11.1999
-Kapitol-480-Nováček-6.11.1999
-Kapitol-480-Top Gun-4.11.1999
-Kapitol-480-Top Gun-5.11.1999
-Kapitol-480-Kmotr-4.11.1999
-Jadran-300-NULL-NULL
-Art-280-NULL-NULL
-Morava-300-NULL-NULL
-Lucerna-300-NULL-NULL

Relační kalkul
• jako dotazovací jazyk můžeme využít i jazyk predikátové logiky
• nejrozšířenější je n-ticový relační kalkul (NRK), který používá pohled na relaci jako na množinu n-tic (řádků tabulky, záznamů) - vhodný pro sémantiku SQL
• velmi rozšířený je i doménový relační kalkul (DRK), který pracuje s hodnotami jednotlivých n-tic (vhodný pro QBE)

N-ticový relační kalkul
• obsahuje n-ticové proměnné, sloužící pro n-tice určitého typu (vzhledem k relaci z databáze) - kino typu KINO, ...
• umožňuje pracovat i s komponentami proměnné (atributy) kino.KAPACITA, ...
• dále se ve výrazech jazyka budou vyskytovat konstanty (hodnoty z nějaké domény)
• konstanty+proměnné+atributy = termy

Atomické formule
• další symboly jazyka jsou predikátové symboly (budeme je značit ) < > <= >= = <>
• atomické formule jsou tvaru
– R(x), kde R je jméno relace a x je n-ticová proměnná
– x.A  y.B, kde x,y jsou proměnné a A,B jsou atributy
– x.A  ‘k’, kde x je proměnná, A je atribut a ‘k’ je konstanta