Databázové systémy. Přednáška č. 5

Transkript

1 Databázové systémy Přednáška č. 5

2 Relační algebra - příklad STUDENT rodné_č příjmení jméno rok_nást spec Nový Petr 1996 INMA Hrozná Jana 1995 INFY Novotná Ivana 1996 INZT Dlouhý Jan 1995 INMA Petřík Tomáš 1996 INMA

3 Relační algebra - příklad Jaké specializace studenti studují? spec(student) spec INMA INFY INZT

4 Relační algebra - příklad Kteří studenti nastoupili na fakultu v roce 1996? rok_nást= 1996 (STUDENT) rodné_č příjmení jméno rok_nást spec Nový Petr 1996 INMA Novotná Ivana 1996 INZT Petřík Tomáš 1996 INMA

5 Relační algebra - příklad Jaké příjmení mají studenti, kteří nastoupili na fakultu v roce 1996? příjmení rok_nást= 1996 (STUDENT) příjmení Nový Novotná Petřík

6 Relační algebra - příklad KREDITY rodné_č zkratka dat_zap dat_zk známka PSY PSY MIEK ZMNG IDBS

7 Relační algebra - příklad Jaké jsou studijní výsledky jednotlivých studentů? STUDENT natural join KREDITY rodné_č příjmení jméno rok_n spec zkratka dat_zap dat_zk zn Nový Petr 1996 INMA PSY Nový Petr 1996 INMA PSY Nový Petr 1996 INMA MIEK Hrozná Jana 1995 INFY ZMNG Hrozná Jana 1995 INFY IDBS

8 Relační algebra - příklad Kteří studenti si zapsali předmět PSY1? příjmení,jméno,spec zkratka= PSY1 (STUDENT natural join KREDITY) příjmení jméno spec Nový Petr INMA

9 Formální neprocedurální jazyk Dotaz v relačním kalkulu specifikuje co se má zjistit a ne jak to zjistit Založený na druhu symbolické logiky zvané predikátový kalkul V databázovém prostředí má dvě formy: n-ticově-orientovaný doménově-orientovaný

10 Predikát Pravdivostní funkce s argumenty P je predikát, pak {x P(x)} je množina všech x, pro které P dává pravdivou hodnotu Spojení pomocí operátorů: (AND) (OR) (NOT)

11 N-ticově orientovaný relační kalkul Hledá n-tice, pro které je predikát pravdivý Založen na použití n-ticových proměnných (ta nabývá hodnot z dané relace tj. proměnná, která má jako přípustné hodnoty n-tice relace) Obor hodnot n-ticové proměnné specifikujeme následovně: RANGE OF Z IS Zaměstnanec {Z P(Z)} určuje všechny Z, pro které platí P(Z)

12 Zaměstnanec N N 1 kontroluje Pracuje v Garantuje 1 N N N viděl N Pobočka 1 Nabízí Nemovitost N N N Vlastní 1 Má pronajatu Klient 1 Vlastník

13 Najdi všechny údaje o zaměstnancích s platem vyšším než ,- Kč: RANGE OF Z IS Zamestnanec {Z Z.plat > 15000} Z.plat znamená hodnotu atributu plat pro n-tici Z

14 Na určení toho, kolika instancí se predikát týká, se používají dva kvantifikátory: Existenční kvantifikátor Univerzální kvantifikátor ( there exists ) ( for all )

15 RANGE OF P IS Pobočka P (P.č_pob=Z.č_pob P_mesto= London ) znemená: Existuje n-tice pobočky, která má totéž č_pob jako č_pob aktuální n-tice Z a má sídlo v Londýně

16 P (P.mesto = Paris ) tj. pro všechny n-tice pobočky, adresa není v Paříži P (P.mesto = Paris ) tj. neexistuje pobočka v Paříži

17 N-ticové proměnné se nazývají volné proměnné. Když jsou kvalifikovány pomocí nebo nazývají se vázané proměnné.

18 Vyjmenujte managery, kteří mají plat vyšší než ,- Kč. RANGE OF Z IS Zaměstnanec {Z.prijmeni,Z.jmeno Z.prac_zar = Manager Z.plat > 25000}

19 Vyber zaměstnance, kteří se starají o nemovitost v Praze RANGE OF Z IS Zamestnanec RANGE OF N IS Nemovitost {Z N (N.c_zam=Z.c_zam N.mesto= Praha }

20 Najdi jména zaměstnanců, kteří se nestarají o žádnou nemovitost RANGE OF Z IS Zamestnanec RANGE OF N IS Nemovitost {Z.prijmeni,Z.jmeno ( N (Z.czam=N.c_zam))} nebo: {Z.prijmeni,Z.jmeno N ( (Z.czam=N.c_zam))}

21 Zobraz jména a komentáře všech nájemců, kteří si prohlédli nemovitost v Praze RANGE OF K IS Klient RANGE OF P IS Prohlidka RANGE OF N IS Nemovitost {K.prijmeni,K.jmeno,P.pozn P (K.ck=P.c_k) N (P.c_nem = N.c_nem N.mesto= Praha )}

22 Doménově-orientovaný relační kalkul Používá proměnné, které nabývají hodnoty z domén Když P(d 1, d 2, d n ) je predikát s proměnnými d 1, d 2, d n, potom {d 1, d 2, d n P(d 1, d 2, d n )} vyjadřuje množinu všech doménových proměnných d 1, d 2, d n, pro které je pravdivý predikát P(d 1, d 2, d n )

23 Najdi jména managerů, kteří mají plat vyšší než ,- Kč {prijmeni, jmeno prac-zar, plat (Zamestnanec(prijmeni,prac_zar,plat) prac-zar= Manager plat > 25000}