de praktijk: tabellen ISO Het Relationele Database Model alternatieve voorstellingen de onderliggende theorie: relaties relatie schema en instantie

Transcriptie

1 de pktijk: tellen ISO Het Reltionele Dte Model Pof. d. Pul De een dte ett uit een ntl tellen elke tel heeft een nm en een ntl ttiuten elk ttiuut heeft een nm en een dt type een tel-intntie heeft een ntl ijen v: een intntie vn de ccount tel: Geeed op: Dte Sytem oncept, 5th Ed..3 de ondeliggende theoie: eltie Lt (ttiuten) D, D,. D n vezmelingen vootellen; een eltie i een deelvezmeling vn D x D x x D n een eltion een vezmeling n-tuple (,,, n ) wij elke i D i Vooeeld: cutome_nme = {Jone, Smith, uy, Lindy} cutome_teet = {Min, Noth, Pk} cutome_city = {Hion,, Pittfield} = { (Jone, Min, Hion), (Smith, Noth, ), (uy, Noth, ), (Lindy, Pk, Pittfield) } i een eltie ove cutome_nme x cutome_teet x cutome_city ltentieve vootellingen Het mkt niet uit of we een tel cutome ove de ttiuten cutome_nme, cutome_teet en cutome_city chijven l = { (Jone, Min, Hion), (Smith, Noth, ), (uy, Noth, ), (Lindy, Pk, Pittfield) } of dt we hem tekenen l tel. ttiute (o column) cutome_nme cutome_teet cutome_city Jone Smith uy Lindy Min Noth Noth Pk cutome Hion Pittfield tuple (o ow).4.5 eltie chem en intntie chem = tuctuu: nm vn de eltie, ttiuunmen en wdenvezmeling intntie = vezmeling tupel of ijen in een tel cutome_nme cutome_teet cutome_city Jone Smith uy Lindy Min Noth Noth Pk cutome Hion Pittfield ttiute (o column) tuple (o ow) ekenen met tellen: eltionele lge poceduele tl: we eplen hoe een vg moet woden entwood 6 iopetie electie: σ pojectie: veeniging: vechil: teich poduct: x henoeming: ρ de opetie mken vn of tellen wee een nieuwe tel.6.7

2 Reltion de electie vn ijen D nottie: σ p () etekeni vn de electie p i het electie pedict, i een eltie (chem) de electie etekent in de vezmelingenlee dt voo elke intnce : σ p () = {t t nd p(t)} σ = ^ D > 5 () D p i een logiche fomule met temen veonden doo: (en), (of), (niet) en elke tem i : <ttiute> opetie <ttiute> of <contnte> wij opetie =,, >,. < of i v: σ nch_nme= Peyidge (ccount).8.9 de pojectie (of electie vn kolommen) etekeni vn de pojectie tel : nottie: ( ),, K, k wij,, k ttiuten zijn en een eltie voo elke intntie geldt dt ( ),, K, k = { t, i {,,k } t(i) = (i) }, () V: l ccount een eltie i met de ttiuten ccount_nume, nch_nme, lnce dn vewijdeen we het nch_nme ttiute met : = ccount_nume, lnce (ccount).0. volgode vn ewekingen i elngijk wt i e mi met de volgende quey om het ekeningnumme en ldo te vekijgen vn de ekeningen geopend in filil Peyidge? σ nch_nme= Peyidge (Π ccount_nume, lnce (ccount) ) de collecte uitweking i: Π ccount_nume, lnce (σ nch_nme= Peyidge (ccount) ) electie en pojectie mogen om wel vewield woden: σ lnce > 0000 (Π ccount_nume, lnce (ccount) ) of Π ccount_nume, lnce (σ lnce > 0000 (ccount) ) de henoeming opetie wodt geuikt om ttiuutnmen te vendeen (tewijl de inhoud vn de tel ongewijzigd lijft) lt ook toe om n een hele tel te vewijzen onde een ndee nm. vooeeld: ρ x (E) noemt het eultt vn E om tot X; ρ x(,, n) (E) noemt het eultt vn een uitdukking E met n ttiuten om tot X, met ttiuten,, n...3

3 de veeniging (unie) etekeni vn de veeniging tellen, : nottie: 3 etekeni: = {t t of t } voowden om te mogen geuiken:., moeten evenveel ttiuten heen : 3. de oveeenkomtige ttiuten moeten dezelfde wdenvezmelingen heen. 3. ij vechillende ttiuutnmen: henoeming v: geef lle klnten met een ekening of lening: cutome_nme (depoito) cutome_nme (oowe).4.5 de vechil opetie etekeni vn het vechil tellen, : : 3 nottie: etekeni: = {t t en t } voowden om te mogen geuiken:., moeten evenveel ttiuten heen. de oveeenkomtige ttiuten moeten dezelfde wdenvezmelingen heen. 3. ij vechillende ttiuutnmen: henoeming v: geef lle klnten die een ekening heen m geen lening: cutome_nme (depoito) cutome_nme (oowe).6.7 exttje: : de doonede etekeni vn de doonede tellen, : 3 nottie: etekeni: = ( ) voowden om te mogen geuiken zijn uited dezelfde l voo het vechil : v: geef lle klnten die een ekening en een lening heen: cutome_nme (depoito) cutome_nme (oowe) de doonede i niet nodig (wodt uitgedukt doo tweeml een vechil) m wel hndig.8.9

4 het cteich (ctein)) poduct etekeni vn het cteich poduct tellen, : x : γ γ D γ E D E nottie: x etekeni: x = {t q t en q } l en gelijknmige ttiuten heen dn moeten we ze henoemen we geuiken vk een tndd henoeming met ehulp vn de telnm: l ttiuten, heeft en ttiuten, dn geuiken we vk x l een tel met ttiuten.,.,.,...0. het nk vooeeld nch (nch_nme, nch_city, et) cutome (cutome_nme, cutome_teet, cutome_city) ccount (ccount_nume, nch_nme, lnce) lon (lon_nume, nch_nme, mount) depoito (cutome_nme, ccount_nume) oowe (cutome_nme, lon_nume) vooeeld-vgen vgen geef lle leningen met een edg vn mee dn 00 σ mount > 00 (lon) geef het leningnumme vn lle leningen met een edg vn mee dn 00 lon_nume (σ mount > 00 (lon))..3 vooeelden geef de nmen vn de klnten die een ekening of lening heen ij de nk (of lleei, wnt of heeft die etekeni) cutome_nme (oowe) cutome_nme (depoito) geef de nmen vn de klnten die een ekening en een lening heen ij de nk cutome_nme (oowe) cutome_nme (depoito) moeilijkee vooeelden geef de nmen vn lle klnten die een lening heen ij het filil Peyidge cutome_nme (σ nch_nme= Peyidge (σ oowe.lon_nume = lon.lon_nume (oowe x lon))) geef de nmen vn lle klnten die een lening heen ij het filil Peyidge m die geen ekening heen ij (eende welk filil vn) de cutome_nme (σ nch_nme = Peyidge (σ oowe.lon_nume = lon.lon_nume (oowe x lon))) cutome_nme (depoito).4.5

5 vechillende coecte uitwekingen geef de nmen vn lle klnten die een lening heen ij het filil Peyidge Quey cutome_nme (σ nch_nme = Peyidge ( σ oowe.lon_nume = lon.lon_nume (oowe x lon))) Quey cutome_nme (σ lon.lon_nume = oowe.lon_nume ( (σ nch_nme = Peyidge (lon)) x oowe)) moeilijke tuuk vgen geef het hoogte ldo dt vookomt in de nk. ttegie: zoek eet de ldi die niet het hoogte zijn (e i een hoge) henoem ccount zodt we pen vn ldi met elk kunnen vegelijken geuik de vechil opetie om het ldo te vinden dt niet vookomt in de voige vezmeling ldi. de quey wodt dn: lnce (ccount) - ccount.lnce (σ ccount.lnce < d.lnce (ccount x ρ d (ccount))).6.7 leutel tupel (ijen) in een tel zijn ltijd uniek (een tel intnce i een vezmeling). een dte kn zo ontwopen woden dt ook ommige deelijen (pojectie op ttiuten) ltijd uniek zijn: upeleutel: deelijen zijn uniek kndidt leutel: deelijen zijn uniek en nog kleinee deelijen zijn dt niet pimie leutel: een doo de ontwepe uitgekozen kndidt leutel opgven opgve. met mee vgen dn in het oek: de dte ett uit volgende tellen: employee (peon_nme, teet, city) wok (peon_nme, compny_nme, ly) compny (compny_nme, city) mnge (peon_nme, mnge_nme) de leutel heen hieij elng!.8.9 opgven Stel volgende vgen in de eltionele lge:. geef de nmen vn lle edienden die wonen in Eindhoven. geef de nmen vn lle edienden die niet in Eindhoven wonen 3. geef de nmen vn lle edienden die zichzelf l mnge heen 4. geef de nm vn de mnge met een li vn mee dn geef de nm vn de edienden met een mnge met een li vn mee dn opgven Stel volgende vgen in de eltionele lge: 6. geef de nmen vn de edienden die mee vedienen dn hun mnge 7. geef de nm vn de edijven die gevetigd zijn in een td w nog een nde edijf gevetigd i 8. geef de nmen vn lle edienden die wonen in de td w ze weken 9. geef de nmen vn lle edienden die wonen in een ndee td dn hun mnge 0. geef de nm vn de edijven die gevetigd zijn in een td w geen enkele ediende vn dt edijf woont.30.3

6 opgven Stel volgende vgen in de eltionele lge:. geef de nm vn edienden wien mnge voo een nde edijf wekt dn zij zelf. geef de nmen vn de edijven die wekneme heen die in Eindhoven wonen 3. geef de nmen vn de edijven die geen wekneme heen die in Eindhoven wonen 4. geef de nm vn de ediende met het hoogte li 5. geef de nm vn de mnge met het hoogte li opgven Wt etekenen de volgende vgen?. Π city (compny) Π city (employee). Π compny.city (compny) Π compny.city ( σ employee.peon_nme = wok.peon_nme wok.compny_nme = compny.compny_nme employee.city = compny.city (employee wok compny) ) 3. Π m.peon_nme ( σ wok.ly < m.ly wok.peon_nme = mnge.peon_nme m.peon_nme = mnge.mnge_nme (wok mnge ρ m (wok) ) ).3.33 exttje: : de join opetie Vk vookomende opetie: neem eltie (,) en (,c) en tel de volgende vg: Geef de vn de -en wvoo e een i met c = lh. Dit wodt: Π ( σ. =..c = lh ( ) ) E i een hndige fkoting : de join of : = Π.,.,.c ( σ. =. ( ) ) Du de lh quey wodt: Π ( σ.c = lh ( ) ).34