Téma 10 Relační model dat a jazyk SQL. Relace je podmnožina kartézského součinu. K čemu relace?

Transkript

1 Tém 0 Relční model dt jzyk SQL Osh. Relční lge. Opece elční lgey. Rozšíření elční lgey 4. Hodnoty null 5. Úpvy elcí 6. Stučný úvod do SQL 7. SQL elce 8. Zákldní příkzy SQL 9. Hodnoty null tříhodnotová logik v SQL 0. Příkzy SQL po modifikci oshu dtází K čemu elce? Viděli jsme tulky. Poč potřeujeme něco jiného? Je k tomu řd důvodů: Potře igoózního mtemtického modelu Model umožní fomlizci Tulk klient dtázových opecí Přesný model je potřený k tvoě dekltivně fomulovných dotzů k optimlizci jejich povádění Hlvní myšlenkou je popst dtázi jko souhn logických pedikátů nd konečnou množinou pedikátových poměnných definovt tk omezení n přípustné hodnoty komince hodnot Relční model dt jzyk SQL Relční model dt jzyk SQL Co to je elce? Mtemticky: Jsou dány množiny,,, n, pk elcí ozumíme podmnožinu ktézského součinu x x x n. Relce tedy je množin n-tic (,,, n ), kde i i Příkld: klient_jmeno = {Novák, Mtes, un, Novotný } /* množn jmen klientů */ klient_ulice = {Spálená, Hlvní, Honí, } /* množin jmen ulic*/ klient_mesto = {Ph, no, Nymuk, } /* množin jmen měst */ pk = { (Novák, Spálená, Ph), (Mtes, Honí, no), (un, Hlvní, no), (Novotný, Honí, Nymuk) } je elce, tj. podmnožin klient_jmeno x klient_ulice x klient_mesto Vzhledem k tomu, že jde vždy o konečné množiny, lze je vyjádřit výčtem, tedy tulkmi Relce je podmnožin ktézského součinu V množinách neexistuje duplicit Velmi důležité po dtázové plikce Pvky množiny mohou ýt v jkémkoliv pořdí neexistuje uspořádání Příjmení ush Cte Clinton Jeffeson Kenedy Lincoln Om Roosevelt Wshington hm c ill Fnklin Geoge Jimmy Jmén John Theodoe Vyní meičtí pezidenti Thoms Relční model dt jzyk SQL Relční model dt jzyk SQL 4

2 Typy tiutů Kždý tiut v elci má své jméno Množin přípustných hodnot tiutu je definiční doménou tiutu Hodnoty tiutu jsou (téměř vždy) tomické, tj. dále nedělitelné Npř. hodnotou tiutu číslo_účtu smí ýt číslo jednoho účtu, nikoliv množin čísel účtů Speciální hodnot null ptří do kždé domény pázdná (nezdná) hodnot null znčně komplikuje definici mnoh množinových opecí, poto zpočátku tuto hodnotu udeme ignoovt důsledky uvedeme později Relční schém instnce Relční schém,,, n jsou tiuty R = (,,, n ) je elční schém Příkld: Klient_schem = (klient_jmeno, klient_ulice, klient_mesto) (R) znčí elci nd elčním schémtem R Příkld: klient (Klient_schem) Instnce elce (elční instnce) Skutečné hodnoty (elční instnce) jsou definovány výčtem, tj. tulkou Pvek t elce je n-tice, epezentovná řádkem tulky klient_jmeno klient_ulice klient_mesto tiuty (tj. sloupce) Novák Novotný un Mtes Spálená Honí Hlvní Honí Ph Nymuk no no n-tice (řádky) Relční model dt jzyk SQL 5 klient Relční model dt jzyk SQL 6 Klíče (znovu) Nechť K R. K je supeklíč schémtu R, když hodnoty K stčí k jednoznčné identifikci (R) Npř. {klient_jmeno, klient_mesto} je supeklíčem po schém Klient_schem. Supeklíčem je všk i {klient_jmeno} K je kndidát n klíč jestliže K je minimální supeklíč Npř. {klient_jmeno} je kndidátem n klíč po schém Klient_schem, neoť je to supeklíč žádná podmnožin již supeklíčem není Pimání klíč je vyán mezi kndidátními klíči tk, y se ěhem život příslušné elce neměnil Npř. {klient_jmeno} může sloužit jko pimání klíč po nši instnci elce, všk když přijde dlší Novák, všechno ude šptně e-milová des může ýt pimáním klíčem, všk lidé svůj e-mil očs mění (což je jiný typ komplikce) Relční model dt jzyk SQL 7 Cizí klíče Relční schém může oshovt tiut, kteý koesponduje s pimáním klíčem v jiné elci. Tkový tiut se nzývá cizí klíč Npř. tiuty custome_nme ccount_nume elčního schémtu deposito jsou cizí klíče do custome ccount Hodnotmi cizího klíče v efeencující (odkzující) elci smí ýt jen ty hodnoty, kteé se vyskytují jko pimání klíč v elci efeencovné (odkzovné) Důležitý typ omezení efeenční integit nch nch_nme nch_city ssets ccount ccount_nume nch_nme lnce lon lon_nume nch_nme mount deposito custome_nme ccount_nume oowe custome_nme lon_nume custome custome_nme custome_steet custome_city Relční model dt jzyk SQL 8

3 Relční lge Relční lge je vlstně poceduální jzyk Šest zákldních opeátoů Selekce (estikce) σ Výě jen někteých pvků elce Pojekce: Výě jen učitých tiutů Sjednocení: Spojení několik elcí v jednu (spojovné elce musí mít stejné schém) Rozdíl (množin): Výě těch pvků pvní elce, kteé nejsou osženy v duhé elci Ktézský součin: x Klsická množinová opece Přejmenování: ρ Změn jmén jednoho či více tiutů Všechny tyto opeátoy pcují s jednou neo dvěm elcemi vytváří elci novou Selekce Zápis σ p () p je selekční pedikát Definice σp () = {t t p(t)} Selekční pedikát p je výoková fomule složená z temů popojených logickými opeátoy: (nd), (o), (not) Kždý tem má tv: tiut op tiut neo konstnt, kde op je jeden z =,, >,, <, Příkld selekce: σ klient_mesto= Ph (klient) C D σ = D > 5 () C D 7 0 Relční model dt jzyk SQL 9 Relční model dt jzyk SQL 0 Pojekce Zápis: ( ),, K, k kde, jsou jmén tiutů je jméno elce Výsledek je definován jko elce s k tiuty ( sloupci ) vytvořená z elce výěem pouze vyjmenovných tiutů Tedy vynecháním zývjících (neuvedených) tiutů Duplicitní pvky (řádky) jsou odstněny elce jsou množiny! Příkld: V elci klient nás nezjímá tiut klient_ulice klient_jmeno, klient_mesto (klient) Sjednocení Zápis: s Definice: s = {t t t s} Relce s musí ýt komptiilní, tj. s musí mít stejnou itu (počet tiutů). Domény tiutů musí ýt po řdě shodné Npř. duhý tiut elce duhý tiut elce s musí mít shodný dtový typ (definiční doménu) Příkld: njít všechny zákzníky nky, kteří mjí vkld neo půjčku custome_nme (deposito) custome_nme (oowe) C C,C () = C Relční model dt jzyk SQL Relce, s: s: s Relční model dt jzyk SQL

4 Rozdíl Zápis: s Definice: s = {t t t s} Relce vstupující do množinového ozdílu musí opět ýt vzájemně komptiilní Relce, s: s s: Relční model dt jzyk SQL Ktézský součin Zápis: x s Definice: x s = {t q t q s} Předpokládejme, že tiuty (R) s(s) jsou disjunktní tj., R S =. Lze použít i n více než dvě elce Nejsou-li tiuty disjunktní, tzn. někteé tiuty (R) mjí stejné jméno jko jmén tiutů v s(s), musí se použít opece přejmenování Relce, s: POZOR: Mohou vznikt tulky gigntické velikosti C D s x s: C D Relční model dt jzyk SQL 4 Opece přejmenování Pomocná opece Fkticky nejde o pvou opeci elční lgey, zvádí se z pgmtických důvodů Umožňuje nově pojmenovt ( tím i efeencovt) výsledek jiné elční opece Umožňuje též pojmenovt elci více jmény Příkld: ρ X vátí výsledek výzu pod jménem X Jestliže elční výz má itu n, pk ρ X ( ),,..., ) ( ) n ( vátí výsledek výzu pod jménem X s tiuty přejmenovnými n,,., n. Skládání opecí Skutečně užitečné elční opece vzniknou tepve skládáním opecí zákldních x s: σ =C ( x s): C D C D Relční model dt jzyk SQL 5 Relční model dt jzyk SQL 6

5 Příkld nkovní dtáze Relce nch(nch_nme, nch_city, ssets) custome(custome_nme, custome_steet, custome_city) ccount(ccount_nume, nch_nme, lnce) lon(lon_nume, nch_nme, mount) deposito(custome_nme, ccount_nume) oowe(custome_nme, lon_nume) Příkldy dotzů Njdi všechny půjčky (lon) přes 00 σ ( lon mount>00 ) Njdi čísl půjček vyšších než 00 Π ( σ ( 00 lon)) Njdi jmén zákzníků mjících vkldový účet v poočce Nymuk Π σ lon _ nume mount> _ nme( nch _ nme = "Nymuk" ( σ ( deposito ccount ))) custome deposito.ccount_nume = ccount.ccount_num e Relční model dt jzyk SQL 7 Příkld nkovní dtáze () Dlší příkldy dotzů Njdi jmén zákzníků mjících půjčku v poočce Nymuk přitom nemjí vkldový účet v žádné poočce Π σ Njdi jmén zákzníků, kteří mjí půjčku vedenou v poočce Nymuk. možnost Π σ. možnost Π custome_nme ( nch_nme= "Nymuk" ( σ Π ( σ oowe.lon_nume = lon.lon_nume custome_nme ( deposito) custome _ nme ( nch _ nme = "Nymuk " custome _ nme ( σ oowe.l on_nume = lon.lon _nume ( σ oowe.lon_nume = lon.lon_nume nch _ nme= "Nymuk" ( oowe lon))) ( oowe ( oowe)) lon)) ( lon ))) Relční model dt jzyk SQL 8 Příkld nkovní dtáze () Příkldy dotzu (použití opece přejmenování) Njdi největší zůsttek vkldového účtu Sttegie: Njdi zůsttky, kteé nejsou největší K tomu účelu přejmenuj elci ccount n temp, ychom mohli poovnávt jednotlivé zůsttky se všemi osttními Použij množinový ozdíl k nlezení těch zůsttků, kteé nejsou mezi těmi, kteé jsme učili v předchozím koku Dotz pk vypdá tkto: П lnce (ccount) П ccount.lnce (σ ccount.lnce < temp.lnce (ccount x ρ temp (ccount) ) ) Relční model dt jzyk SQL 9 Doplňkové opece, půnik Z pktických důvodů se definují dlší opeátoy, kteé umožňují zjednodušení čstých dotzů do dtáze Půnik Přiozené spojení (spojení přes ovnost) Dělení Přiřzení Půnik Zápis: s Definice: s = { t t t s } Předpokld: Relce s jsou vzájemně komptiilní Poznámk: s = ( s) Relce, s: s s: Relční model dt jzyk SQL 0

6 Přiozené spojení Zápis: s Nechť s jsou elce podle schémt R S. s je pk elce podle schémtu R S vytvořená jko: Uvžme všechny páy n-tic t z t s z s Jestliže t t s mjí stejné hodnoty všech tiutů z R S, pk n-tice t se ojeví ve výsledku, přičemž t má stejné hodnoty tiutů jko t n t má stejné hodnoty tiutů jko t s n s Výsledek přiozeného spojení je tedy množin všech komincí řádků z R S, kteé mjí shodné hodnoty stejnojmenných tiutů Příkld: R = (,, C, D) S = (,, D) Výsledné schém = (,, C, D, ) s pk je: ( ( s) ) Π.,.,. C,. D, s. σ. = s.. D= s. D Relční model dt jzyk SQL Relce, s: s: Pktický příkld Přiozené spojení příkld δ 4 C µ D Zmestnnec Jmeno ZmId Oddel Fnt 5 Finnce Pvl 4 Ochod Josef 40 Výo Pet 0 Výo Zmestnnec D s δ Oddeleni Odddel Mnge Finnce Jik Ochod Pet Vyo Kel Oddeleni Jmeno ZmId Oddel Mnge Fnt 5 Finnce Jik Pvl 4 Ochod Pet Josef 40 Výo Kel Pet 0 Výo Kel δ Relční model dt jzyk SQL C µ D δ Opece dělení Zápis: s Učeno po dotzy oshující fázi po všechny Nechť s jsou elce podle schémt R S, kde R = (,, m,,, n ) S = (,, n ) Výsledkem s je elce dle schémtu R S = (,, m ) s = { t t R-S () u s (tu ) }, kde tu znčí zřetězení řádků t u chápné jko jediná n-tice Vlstnost Nechť q = s, pk q je největší elce splňující q x s Definice pomocí zákldních opecí elční lgey Nechť (R) s(s) jsou elce nechť S R s = R-S () R-S (( R-S () x s) R-S,S ()) R-S,S () přeuspořádá tiuty R-S ( R-S () x s ) R-S,S ()) dá ty n-tice t z R-S (), po kteé pltí, že někteá n-tice u s je tková, že tu Relce, s: Pktický příkld Pcuje_po Jmeno Mnge Fnt Jik Pvl Pet Josef Kel Pet Kel Opece dělení příkld δ δ δ εε 4 6 s Šéf Mnge Jik Kel s: Pcuje_po Šéf Jmeno Fnt Josef Pet Relční model dt jzyk SQL Relční model dt jzyk SQL 4

7 Přiřzovcí opece Přiřzovcí opece ( ) umožňuje pohodlný zápis složitých výzů Dovoluje zpisovt dotzy ve fomě sekvence pogmových příkzů ve tvu séie přiřzení následovných snáze čitelnými výzy Přiřzuje se vždy vhodné pcovní poměnné typu elce Pcovní poměnné jsou pk dostupné v dlších výzech Příkld: Opeci dělení s lze zpst jko temp R-S () temp R-S ((temp x s) R-S,S ()) vysledek = temp temp Relční model dt jzyk SQL 5 Příkld nkovní dtáze dlší dotzy Njdi jmén všech zákzníků, kteří mjí součsně vkldový účet půjčku custome_nme (oowe) custome_nme (deposito) Njdi jmén zákzníků, kteří mjí půjčku, výši této půjčky custome_nme, lon_nume, mount (oowe lon) Njdi jmén všech zákzníků, kteří mjí vkldový účet v poočce Nymuk neo enešov Možnost custome_nme (σ nch_nme = Nymuk (deposito ccount)) custome_nme (σ nch_nme = enešov (deposito ccount)) Možnost custome_nme, nch_nme (deposito ccount) ρ temp(nch_nme) ({( Nymuk ), ( enešov )}) Všimněme si, že Možnost používá konstntní elci temp ve funkci dělitele při dělení ptáme se totiž po všechny uvedené poočky Relční model dt jzyk SQL 6 Pgmtická ozšíření elčních opeátoů Po čsto kldené dotzy se zvádějí ozšířené opece Zoecněná pojekce gegátní funkce Vnější spojení (Oute Join) Zoecněná pojekce zvádí itmetické funkce do seznmu možných výstupních tiutů ( ) je elční výz F, F,, F n jsou itmetické výzy zhnující tiuty ze schémtu výzu konstnty Tkto se získjí odvozené (počítné) tiuty Příkld: Relce cedit_info(custome_nme, limit, cedit_lnce), Uči, kolik může kždá oso ještě uttit: custome_nme, limit cedit_lnce (cedit_info) F, F, L, F n Relční model dt jzyk SQL 7 gegátní funkce opece gegátní funkce pcují s kolekcí hodnot vcí jedinou výslednou hodnotu vg: půměná hodnot min: minimum mx: mximum sum: součet hodnot count: počet hodnot gegátní opece elční lgey vytvářejí elci se syntetickými tiuty přípdným seskupováním pvků G je elční výz G, G,, G m je seznm tiutů, podle nich se má seskupovt (může ýt i pázdný) F i jsou gegátní funkce i jsou jmén tiutů ze schémtu, podle něhož je tvořen,,, ( ), ( ),, ( )( ) G K G ϑ m F F K Fn n Relční model dt jzyk SQL 8

8 Relce : Příkld gegátních opecí funkcí ϑ sum(c) (): Relce ccount seskupená podle nch_nme: nch_nme ϑ sum(lnce) (ccount): C sum(c) 7 nch_nme ccount_nume Nymuk Nymuk Ph Ph enešov nch_nme Nymuk Ph enešov lnce sum(lnce) Relční model dt jzyk SQL 9 Vnější spojení Vnější spojení je opece, kteá ozšiřuje přiozené spojení zmezuje ztátě infomce Učí se přiozené spojení pk se přidjí pvky z jedné ze spojovných elcí, kteé nesplňují poždvky n ovnost stejnojmenných tiutů Podle toho, ze kteé elce se přidávjí pvky, ozlišuje se levé vnější spojení pvé vnější spojení Lze též přidt pvky z oou spojovných elcí pk jde o plné vnější spojení Při doplňování mohou vznikt pvky s neznámými neo nedefinovnými hodnotmi, po jejichž epezentci se zvádí hodnot null Relční model dt jzyk SQL 0 Typy příkldy vnějšího spojení lon lon_nume nch_nme mount L-70 Ph 000 L-0 Nymuk 4000 L-60 enešov 700 přiozené spojení levé vnější spojení pvé vnější spojení plné vnější spojení oowe custome_nme lon_nume Jonáš L-70 Kovář L-0 Slám L-55 lon oowe lon_nume nch_nme mount custome_nme L-70 Ph 000 Jonáš L-0 Nymuk 4000 Kovář lon oowe lon_nume nch_nme mount custome_nme L-70 Ph 000 Jonáš L-0 Nymuk 4000 Kovář L-60 enešov 700 null lon oowe lon_nume nch_nme mount custome_nme L-70 Ph 000 Jonáš L-0 Nymuk 4000 Kovář L-55 null null Slám lon oowe lon_nume nch_nme mount custome_nme L-70 Ph 000 Jonáš L-0 Nymuk 4000 Kovář L-60 enešov 700 null L-55 null null Slám Relční model dt jzyk SQL Hodnoty Null null se užívá po neznámou hodnotu neo po oznčení situce, že hodnot neexistuje itmetický výz oshující null dává výsledek null gegátní funkce ignoují hodnoty null Po eliminci duplikátů seskupování se null uvžuje jko jkákoliv jiná hodnot; dvě null hodnoty se povžují z identické Pedikáty zhnující null vyždují tříúovňovou logiku s doplňkovou hodnotou unknown Logik s pvdivostní hodnotou unknown: OR: (unknown o tue) = tue, (unknown o flse) = unknown (unknown o unknown) = unknown ND: (tue nd unknown) = unknown, (flse nd unknown) = flse, (unknown nd unknown) = unknown NOT: (not unknown) = unknown Selekční pedikát vyhodnocený jko unknown se povžuje z flse Relční model dt jzyk SQL

9 Modifikce elcí v dtázi K modifikci oshu dtáze potřeujeme opece Deletion (výmz = odstnění pvku z elce) Insetion (vložení pvku do elce) Updting (ktulizce změn pvku v elci) Vše se elizuje opeátoem přiřzení Výmz (deletion) kde je elce je elční výz učující mzné pvky Příkldy Vymž všechny záznmy v poočce enešov ccount ccount σ nch_nme = enešov (ccount ) Vymž všechny záznmy o půjčkách se zůsttkem 0 ž 50 lon lon σ mount 0 nd mount 50 (lon) Vložení Vložení v elční lgeře je opět přiřzení kde je elce, do níž vkládáme je elční výz Vložení jediného pvku se elizuje tk, že ude konstntní výz popisující pvek Vložit lze njednou i více pvků, pokud ude elční výz komptiilní s Příkld Vlož do dtáze infomci, že zákzník Kovář má účet -97 se zůsttkem 00 v poočce enešov ccount ccount {( -97, enešov, 00)} deposito deposito {( Kovář, -97 )} Relční model dt jzyk SQL Relční model dt jzyk SQL 4 ktulizce Mechnismus po změnu hodnoty zvolených tiutů, niž y se měnily hodnoty všech tiutů Použije se zoecněná pojekce ( F ), F, K, Fl, F i je uď i-tý tiut, pokud i-tý tiut nemá ýt změněn, neo F i je výz sestvený z konstnt tiutů, kteý dává novou hodnotu tiutu Příkldy Připočti úok 5% ccount ccount_nume, nch_nme, lnce *.05 (ccount) Přičti úok 6% k účtům se zůsttkem přes % ke všem osttním ccount ccount_nume, nch_nme, lnce *.06 (σ lnce>0000 (ccount )) ccount_nume, nch_nme, lnce *.05 (σ lnce 0000 (ccount)) Stuktuovný dotzovcí jzyk SQL Stuctued Quey Lnguge (SQL) jzyk po kldení dotzů do dtáze oshuje jk příkzy DML (mnipulce s dty), tk i po definici dt (DDL) Svojí syntxí připomíná přiozenou ngličtinu SQL se opíá o výzy elční lgey xistuje mnoho dilektů SQL liší se ůznými ozšířeními či speciálními gegátními funkcemi skld vestvěných pedikátů se ovněž může lišit Poeeme jen zákldní konstukty jzyk konkétní vinty vždy závisí n příslušném dilektu použitého dtázového systému Poznámk k syntxi SQL identifikátoy jmén tiutů NROZLIŠUJÍ mlá velká písmen (tj. nch_nme RNCH_NM nch_nme Relční model dt jzyk SQL 5 Relční model dt jzyk SQL 6

10 Konstukce cete tle Relce v SQL je definován příkzem cete tle ( D, D,..., n D n, (integitní-omezení ),..., (integitní-omezení k )) je jméno vytvářené elce i jsou jmén tiutů schémtu elce D i jsou příslušné dtové typy hodnot domén tiutů i Integitní omezení jsou stnddně tvu not null pimy key(,..., L ) Příkld cete tle nch ( nch_nme ch(5) not null, nch_city ch(0), ssets intege, pimy key(nch_nme) ) Zákldní stuktu SQL dotzu Typický SQL dotz má tv: select,,..., n fom R, R,..., R m whee p i jsou tiuty, R i jsou elce p je pedikát Tento dotz je ekvivlentní elčnímu výzu σ K ( p ( R R R n,, K, m Výsledek dotzu je elce Důležité pozntky SQL je dekltivní (dotzovcí) jzyk, ztímco elční lge je poceduální Zození SQL dotzů n elční výzy převádí dekltivní dotzy n poceduy Povedení ( výpočet výsledku ) dotzu ude implementovt poceduy opecí elční lgey )) Relční model dt jzyk SQL 7 Relční model dt jzyk SQL 8 Kluzule select Kluzule select uvádí tiuty výsledné elce dotzu odpovídá elční opeci pojekce Příkldy: Získej jmén pooček z elce (tulky) lon: select nch_nme fom lon V elční lgeře nch_nme (lon) N ozdíl od elcí SQL připouští duplikáty v elcích i ve výsledcích dotzů To nušuje elční model, všk může význě zychlit zpcování liminci duplikátů lze vynutit použitím klíčového slov distinct z select. Získej jmén pooček z elce (tulky) lon odstň duplikáty select distinct nch_nme fom lon Nopk klíčové slovo ll explicitně říká, y se duplikáty ponechly select ll nch_nme fom lon Relční model dt jzyk SQL 9 Kluzule select (pok.) Hvězdičk v kluzuli select znčí všechny tiuty select fom lon Kluzule select může oshovt itmetické výzy oshující opece +,,, / konstnty neo tiuty Dotz select lon_nume, nch_nme, mount 00 fom lon vátí elci shodnou s lon ž n to, hodnot tiutu mount ude vynásoen 00 Jde vlstně o zoecněnou pojekci Π lon_nume, nch_nme, mount 00 (lon) Relční model dt jzyk SQL 40

11 Kluzule whee Kluzule whee učuje podmínky, kteé musí splňovt výsledek Odpovídá selekčnímu pedikátu elční lgey Příkld Njdi čísl půjček z poočky enešov vyšší než 00 select lon_nume fom lon whee nch_nme="enešov" nd mount>00 Poovnání Výsledky mohou ýt kominovány logickými spojkmi nd, o not Poovnání lze plikovt i n výsledky itmetických výzů SQL zhnuje i poovnávcí opeáto etween Npř.: Njdi čísl půjček se zůsttky mezi (tj ) select lon_nume fom lon whee mount etween nd což odpovídá elčnímu výzu Π lon_nume(σ(mount 90000) (mount 00000)(lon)) Relční model dt jzyk SQL 4 Kluzule fom Kluzule fom uvádí seznm elcí, kteých se dotz týká Odpovídá ktézskému součinu elcí Příkz select fom oowe, lon vátí ktézský součin elcí oowe x lon Njdi jmén, čísl půjček výši dluhů všech zákzníků mjících půjčku v poočce Nymuk select custome_nme, oowe.lon_nume, mount fom oowe, lon whee oowe.lon_nume = lon.lon_nume nd nch_nme = "Nymuk" odpovídá elčnímu výzu Π custome_nme, oowe.lon_nume, mount ( σ oowe.lon_nume = lon.lon_nume nch_nme="nymuk" (oowe x lon)) Relční model dt jzyk SQL 4 Opece přejmenování SQL umožňuje elce tiuty pomocí kluzule s old-nme s new-nme Njdi jmén, čísl půjček dlužné částky všech zákzníků pojmenuj sloupec lon_nume jko lon_id select custome_nme, oowe.lon_nume s lon_id, mount fom oowe, lon whee lon_id = lon.lon_nume Domácí úkol: Přepište tento dotz do fomy elčního výzu n-tice jko poměnné Poměnné ve tvu n-tic se definují jko poměnné v kluzuli fom s použitím kluzule s Příkld Njdi jmén zákzníků, čísl jejich půjček výši dluhů přes všechny poočky select custome_nme,.lon_nume, L.mount fom oowe s, lon s L whee.lon_nume = L.lon_nume Njdi jmén pooček, kteé mjí součet vkldů (ssets) větší někteá z pooček v Pze select distinct T.nch_nme fom nch s T, nch s S whee T.ssets > S.ssets nd S.nch_city = "Ph " Relční model dt jzyk SQL 4 Relční model dt jzyk SQL 44

12 SQL připouští duplikáty Po zjištění doé nlogie SQL množinového modelu potřeujeme tzv. multisety Multiset je množin s opkujícími se pvky Potřeujeme multisetové veze elčních opeátoů mezi elcemi σ θ ( ): Je-li c kopií n-tice t v, t splňuje selekční pedikát θ,, pk ude c kopií t v σ θ ( ). Π ( ): Po kždou kopii t v ude kopie Π (t ) i v Π ( ) x : Je-li c kopií t v c kopií t v, pk ude c c kopií n-tice t t v x Příkld: Multisetové elce (, ) (C) jsou = {(, ) (,)} = {(), (), ()} Pk Π ( ) ude {(), ()}, Π ( ) x dá {(,), (,), (,), (,), (,), (,)} SQL sémntik příkzu select,,,..., n fom,,..., m whee P je ekvivlentní multisetové vezi výzu ( )) ( σ K,, K, n P m Relční model dt jzyk SQL 45 Množinové opece v SQL Množinové opeátoy union, intesect except jsou SQL ekvivlentem elčních (množinových) opecí, Njdi zákzníky mjící vkldový účet neo půjčku (neo ooje) (select custome_nme fom deposito) union (select custome_nme fom oowe) Njdi zákzníky mjící jk vkldový účet tk půjčku (select custome_nme fom deposito) intesect (select custome_nme fom oowe) Njdi zákzníky mjící vkldový účet nemjící půjčku (select custome_nme fom deposito) except (select custome_nme fom oowe) SQL má dále opeáto in, kteý testuje příslušnost či členství v množině ekvivlent Relční model dt jzyk SQL 46 gegátní funkce v SQL Tyto funkce pcují s multisety hodnot vcí hodnotu jedinou jink jsou shodné s dříve uvedenými gegátními funkcemi vg, min, mx, sum count Njdi půměný vkld v poočce enešov select vg(lnce) fom ccount whee nch_nme = "enešov" Uči počet vkldtelů select count (distinct custome_nme) fom deposito Hodnoty null v SQL Pedikát is null slouží k testu null hodnot Npř.: V elci lon vyhledej čísl půjček s null hodnotou tiutu mount select lon_nume fom lon whee mount is null itmetické opece zhnující null dávjí null Npř.: 5 + null vcí null gegátní funkce null hodnoty ignoují Je zveden tříhodnotová logik s unknown Npř.: 5 < null, null <> null neo null = null se vždy vyhodnotí jko unknown Konstukt p is unknown se vyhodnotí jko pvdivý, pokud pedikát p má hodnotu unknown Relční model dt jzyk SQL 47 Relční model dt jzyk SQL 48

13 Vnořené dotzy SQL má mechnismus po vnořování dotzů (suquey) někdy zvné pod-dotzy Vnořený dotz má ovyklý tv select-fom-whee, je všk znořen do jiného dotzu Nejčstěji se používá k elizci testu členství v elci, poovnávání množin učování kdinlity elcí Příkld: Njdi zákzníky mjící jk vkldový účet tk i půjčku select distict custome_nme fom oowe whee custome_nme in (select custome_nme fom deposito) Vnořený dotz Pohledy Čsto je nevhodné poskytovt uživteli všechn dt tedy celý logický model dtáze všechny uložené elce nkovní úředník n jisté pozici potřeuje znát jméno zákzník poočku, kde má půjčku, ne všk výši půjčky. (select custome_nme, nch_nme fom oowe, lon whee oowe.lon_nume = lon.lon_nume ) Mechnismus pohledů (view) umožňuje skýt učitá dt Lze tk vytvořit jkoukoliv elci, kteá není součástí konceptuálního modelu zpřístupnit ji uživteli jko "vituální elci". Tková "vituální elce" se nzývá pohled. Zvede se příkzem cete view ve tvu cete view v s <fomulce dotzu> kde v je jméno pohledu Jkmile je pohled definován, jeho jméno lze používt jko zktku celého definičního dotzu Relční model dt jzyk SQL 49 Relční model dt jzyk SQL 50 SQL příkzy po modifikci dtáze Výmz (deletion) Příkz má stuktuu delete-fom-whee s gumenty nlogickými konstuktu select-fom-whee Vymž všechny vkldové účty v poočce Nymuk delete fom ccount whee nch_nme = Nymuk Vložení (insetion) inset into elce vlues <komptiilní_elce> Přidej záznm do tulky ccount inset into ccount (nch_nme, lnce, ccount_nume) vlues ('eoun', 00, '-97') ktulizce (updte) updte elce set tiut = výz whee podmínk Přidej 6% pémie ke vkldovým účtům přes 000 updte ccount set lnce = lnce.06 whee lnce > 000 Relční model dt jzyk SQL 5 Spojení elcí v SQL Zákldní syntxe je <Typ> join on <podmínk> using (,...) Úplná SQL syntxe je popsán v příslušných dilektech stnddizce je jen částečná Typicky se používá jko součást pod-dotzu v kluzuli fom. Typ spojení "přívlstek" klíčového slov join Jde o úplnou ekvivlenci se spojeními z elční lgey Typy: inne join, left oute join, ight oute join, full oute join Spojovcí podmínk učuje, n zákldě čeho má dojít ke spojení kteé tiuty udou ve výsledném spojení Příkld Njdi všechny zákzníky, kteří mjí uď půjčku neo vkldový účet, le ne ooje select custome_nme fom (deposito full oute join oowe ) whee ccount_nume is null o lon_nume is null Relční model dt jzyk SQL 5

14 Dotzy Relční model dt jzyk SQL 5