Il modello relazionale. Il Modello Relazionale. Il modello relazionale. Relazione. Dominio. Esempio

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Il modello relazionale. Il Modello Relazionale. Il modello relazionale. Relazione. Dominio. Esempio"

Transcript

1 Il Moello elzionle Proposto E. F. o nel 1970 per vorire l inipenenz ei ti e reso isponiile ome moello logio in DM reli nel 1981 si s sul onetto mtemtio i relzione, questo ornise l moello un se teori he permette i imostrre ormlmente proprietà i ti e operzioni le relzioni hnno un rppresentzione nturle per mezzo i telle 1 2 elzione, seene non si stto il moello usto nei primi DM, è ivenuto lentmente il moello più importnte l punto he è oggi omunemente usto in qusi tutti i DM isponiili livello ommerile l rgione priniple ell popolrità i questo moello è he ornise linguggi semplii e i tipo ihirtivo, m l tempo stesso potenti, on ui esprimere le operzioni per l' essoe l mnipolzione ei ti D 1, D 2,, D n (n insiemi nhe non istinti) il prootto rtesino D 1 D 2 D n, è l insieme i tutte le tuple orinte ( 1, 2,, n ) tli he 1 D 1, 2 D 2,, n D n un relzione su D 1, D 2,, D n è un sottoinsieme el prootto rtesino D 1 D 2 D n D 1, D 2,, D n sono i omini ell relzione un relzione su n omini h gro n il numero i tuple è l rinlità ell relzione nelle pplizioni reli, l rinlità è sempre init 3 4 Dominio Esempio Un ominio è un insieme (nhe ininito) i vlori: Esempi: l' insieme ei numeri interi l' insieme elle stringhe i rtteri ilunghezz 20 l' insieme{0,1} D 1 ={,} D 2 ={x,y,z} prootto rtesino D 1 D 2 un relzione r D 1 D 2 x y z x y z x z y z 5 6 1

2 elzione mtemti, proprietà Notzioni In se lle einizione, un relzione mtemti è un insieme i tuple orinte: ( 1, 2,, n ) tli he 1 D 1, 2 D 2,, n D n un relzione è un insieme, quini: non è einito lun orinmento r le tuple le tuple i un relzione sono istinte l un ll ltr un tupl è l proprio interno orint: l i-esimo vlore i isun proviene ll i -esimo ominio; è ioè einito un orinmento r i omini i r un relzione i gro k: si t un tupl i r si i un intero pprtenente ll' insieme{1,...,k} t[i] enot l i-esim omponente i t i r={(0,), (0,),(1,)} i t=(0,) un tupl i r t[2] = t[1] = Moello relzionle Moello relzionle Un relzione può essere vist, lterntivmente, ome un tell, in ui ogni rig è un tupl e ogni olonn orrispone un omponente lle olonne sono ssoiti ei nomi, etti nomi i ttriuto l oppi (nome i ttriuto, ominio) è ett ttriuto l insieme egli ttriuti i un relzione ne ostituise lo shem e un relzione h nome e ttriuti i nomi rispettivmente 1, 2,..., k, lo shem è spesso inito on ( 1, 2,..., k ) inoltre U = { 1, 2,..., k } viene usto per enotre l' insieme i tuttii nomi i ttriuto ell relzione 9 10 Esempio Moello relzionle Ino_ittà ittà egione Popolzione om Lzio Milno Lomri Genov Liguri Pis Tosn hem: Ino_ittà(ittà,egione,Popolzione) In quest einizione el moello relzionle, le omponenti elle tuple sono enotte trmite i nomi i ttriuti (notzione per nome in ontrsto on l notzione per posizione) to uno shem i relzione ( 1, 2,..., k ), un tupl t su tle shem può essere rppresentt trmite l notzione [ 1 :v 1, 2 :v 2,..., k :v k ] ove v i (i=1,...,k) è un vlore pprtenente l ominio i i (inito on om( i )) inoltre t[ i ] enot il vlore ell' ttriuto i ell tupl t

3 Esempio Vlori nulli t=[ittà: om, egione: Lzio, Popolzione: ] è un tupl einit sullo shem Ino_ittà t[ittà] = om Il vlore ell ttriuto ittà per l tupl t è om Non sempre sono isponiili inormzioni sulle entità el ominio pplitivo rppresentto nell se i ti: lune tuple possono non vere un vlore per un qulhe ttriuto si introue un vlore speile (vlore nullo) he enot l mnnz i vlore (spesso enotto on '? ) Il onetto i hive Esempio 15 Dt un relzione, l hive ell relzione è un insieme i ttriuti he istingue tr loro le tuple ell relzione più preismente, un insieme X i ttriuti i un relzione, è hive i se verii entrme le seguenti proprietà: 1 qulsisi si lo stto i, non esistono ue tuple istinte i he ino lo stesso vlore per tutti gli ttriuti in X 2 nessun sottoinsieme proprio i X verii l proprietà (1) 16 Nell' esempio preeente: hive(ino_ittà) = (ittà) se non esistono ittà on lo stesso nome in regioni iverse hive(ino_ittà) = (ittà,egione) se esistono ittà on lo stesso nome in regioni iverse Il onetto i hive hivi nite Un hive non può vere vlori nulli un relzione può vere più i un insieme X he verii le proprietà viste in luni si, può essere neessrio segliere un hive se il sistem usto non support più hivi in tl so, il termine hivi nite viene usto per inire le possiili hivi il termine hive primri viene usto per inire l hive seleziont Un riterio nell selt ell hive primri onsiste nello segliere tr le hivi nite quell più requentemente ust nelle interrogzioni un ltro riterio è segliere l hive he ontiene il minor numero i ttriuti

4 Il onetto i hive estern Il onetto i hive estern Dte ue relzioni e ' tli he: i un insieme i ttriuti X ' i ome hive un insieme Y i ttriuti Y è hive estern i su ' se Y è un sottoinsieme i X in ltre prole, se un relzione h tr i suoi ttriuti un insieme i ttriuti he ostituise l hive i un relzione, llor tle insieme i ttriuti è un hive estern i su ' ' è ett relzione rierit Le hivi esterne permettono i ollegre tr loro tuple i relzioni iverse e ostituisono un menismo, etto per vlore, per moellre le ssoizioni tr entità un tupl he eve rierire un' ltr tupl inlue tr i suoi ttriuti uno o più ttriuti il ui vlore è il vlore ell hive ell seon tupl Esempio Impiegti 21 Deinimo ue relzioni he ontengono inormzioni rigurnti i ipenenti i un' ziene i iprtimenti in ui l' zienè orgnizzt Le relzioni sono einite ome segue: Impiegti (Imp#, Nome, Mnsione, Dt_,tipenio, Premio_P,Dip#) hive(impiegti) = Imp# hive_estern(impiegti) = Dip# (relzione rierit: Diprtimenti) Diprtimenti(Dip#, Nome_Dip,Uiio#, Divisione#, Dirigente) hive(diprtimenti) = Dip# 22 Diprtimenti Integrità reerenzile L' integrità reerenzile rppresent un importnte vinolo i integrità semnti se un tupl t rierise ome vlori i un hive estern i vlori v 1,...,v n llor eve esistere nell relzione rierit un tupl t' on vlori i hive v 1,...,v n le relzioni Impiegti e Diprtimenti veriino l' integrità reerenzile si onsieri l seguente tupl e si ssum he si inserit nell relzione Impiegti: [Imp#: 7899, Nome: mith, Mnsione: tenio, Dt_:03-Di-81, tipenio:2000, Premio_P: 100, Dip#: 50] tle tupl viol l' integrità reerenzile in qunto non esiste un iprtimento (nell relzione Diprtimenti) he i numero

5 Integrità reerenzile lger elzionle I linguggi per si i ti (QL) permettono ll' utente i speiireper quli relzioni e quli ttriuti è neessrio mntenere l' integrità reerenzile (e le zioni eseguire in so i violzione) Operzioni nel Moello elzionle lger elzionle Le operzioni sulle relzioni possono essere espresse in ue ormlismi i se: lger relzionle: le interrogzioni (query) sono espresse pplino opertori speilizzti lle relzioni lolo relzionle: le interrogzioni (query) sono espresse per mezzo i ormule logihe he evono essere veriite lle tuple ottenute ome rispost ll' interrogzione i ue ormlismi (sotto opportune ipotesi) sono equivlenti Esistono inque operzioni i se: Unione Dierenz Prootto rtesino Proiezione elezione queste operzioni einisono ompletmente l lger relzionle lger elzionle lger elzionle Ogni operzione restituise ome risultto un relzione: è pertnto possiile pplire un operzione l risultto i un' ltr operzione (proprietà i hiusur) esistono operzioni izionli, he possono essere espresse in termini elle inque operzioni i se Tli operzioni non ggiungono potere espressivo ll' insieme elle operzioni i se, m sono utili ome revizioni; i queste l più importnte è l' operzione i join rispetto ll notzione per nome el moello relzionle, può essere utile introurre un ulteriore operzione i renming he permette i moiire i nomi egli ttriuti

6 lger elzionle - Unione lger elzionle - Unione 31 L unione i ue relzioni,, init on è l insieme elle tuple in, o in entrme l unione i ue relzione può essere tt solo se hnno lo stesso gro; inoltre il primo ttriuto i eve vere ominio omptiile on il primo ttriuto i, il seono ttriuto i eve vere ominio omptiile on il seono ttriuto i, e osì vi le tuple uplite vengono eliminte il gro ell relzione risultto è ugule l gro elle relzioni operni 32 D E g F g lger elzionle - Dierenz lger elzionle - Dierenz L ierenz i ue relzioni e, init on - è l insieme elle tuple he sono in m non in l ierenz (ome l unione) può essere eseguit solo se le relzioni hnno lo stesso gro e gli ttriuti hnno omini omptiili il gro ell relzione risultto è ugule l gro elle relzioni operni D E g - F lger elzionle Prootto rtesino lger elzionle Prootto rtesino Il prootto rtesino i ue relzioni e, i gro k 1, k 2, inito on: X è un relzione i gro k 1 +k 2 le ui tuple sono tutte le tuple he hnno: ome prime k 1 omponenti le tuple i ome seone k 2 omponenti le tuple i Nell relzione risultto i nomi ei primi k 1 ttriuti sono i nomi egli ttriuti ell relzione e i nomi egli ultimi k 2 ttriuti sono i nomi egli ttriuti ell relzione se le ue relzioni hnno ttriuti on lo stesso nome, è neessrio rienominre gli ttriuti in un elle ue relzioni

7 lger elzionle Prootto rtesino lger elzionle - Proiezione 37 D E F g X D E g g g F 38 L proiezione i un relzione su un insieme i ttriuti ={ 1, m }, U, init on: Π è un relzione i gro m le ui tuple hnno ome ttriuti solo quelli speiiti in pertnto l proiezione gener un insieme T i m-tuple tli he se t=[ 1 :v 1, m :v m ] è in T llor esiste un tupl t in tle he per ogni i in, t[ i ]=t [ i ] nell relzione risultto gli ttriuti hnno l orine speiito in 1,, m ( ) lger elzionle - Proiezione lger elzionle - Preiti 39 Π, ( ) ( ) Π ( ) Π, 40 Un preito F su un relzione h un elle seguenti orme: preito semplie ominzione oolen i preiti semplii (tli ominzioni sono ottenute on i onnettivi ND, O e NOT) lger elzionle - Preiti lger elzionle Esempi i preiti Un preito semplie h un elle seguenti orme: op ostnte op e sono ttriuti i, op è un opertore relzionle i onronto >,<,>=,<=,=, e., ostnte è un ostnte omptiile on il ominio i = preito semplie orm 1) = preito semplie orm 2) = O = ominzione oolen = ND = ominzione oolen NOT = ominzione oolen

8 lger elzionle - elezione lger elzionle - elezione L selezione su un relzione, to un preito F, init on: σ F ( ) è un relzione he ontiene tutte e sole le tuple he veriino il preito F il gro ell relzione risultto è ugule l gro ell relzione operno; i nomi egli ttriuti ell relzione risultto sono gli stessi ell relzione operno se nessun tupl i verii il preito F, llor il risultto è un relzione vuot e k è il gro i, l selezione gener un insieme T i k-tuple si t=[ 1 :v 1, k :v k ] un k-tupl in T t è tle he: F( 1 /t[ 1 ],, k /t[ k ]) è ver, ove l notzione i /t[ i ] ini l sostituzione in F el nome i ttriuto i (se tle nome ompre in F) on il vlore t[ i ] ell ttriuto i nome i in t lger elzionle - elezione lger elzionle - ienominzione 45 = O= σ ( ) ( ) = σ NOT= σ ( ) σ ( ) = ND= 46 L rienominzione i un relzione rispetto un list i oppie i nomi i ttriuti ( 1, 1 ),, ( m, m ) tle he i è un nome i ttriuto i, enott on: ρ 1, m 1,, m rienomin l ttriuto i nome i on il nome i l rienominzione è orrett se il nuovo shem ell relzione h ttriuti on nomi tutti istinti ( ) lger elzionle - ienominzione lger elzionle Esempi 47 L rienominzione: ρ,,,, mi lo shem (,,) in (,,) ( ) 48 Q1: selezionre i nomi egli impiegti he hnno uno stipenio mggiore i 2000 Π ( σ ( Impiegti ) Nome tipenio > 2000 Nome osi lhi Neri Dre Veri 8

9 lger elzionle - Esempi lger relzionle - Operzioni i se Π Q2: selezionre i nomi e i numeri i iprtimento egli impiegti he hnno uno stipenio mggiore i 2000 e hnno mnsione i ingegnere ( σ ( Impiegti ) Nome, Dip# tipenio > 2000 ND Mnsione = 'ingegnere' i = ( 1,..., k ) uno shem i relzione inihimo on () l' insieme i tutte le relzioni su tle shem _ _ : () () () r1 r2 = {t t r1 t r2} 49 Nome Neri Dre Dip# _ \ _ : () () () r1 \ r2 = {t t r1, t r2} lger relzionle - Operzioni i se lger elzionle - Join 51 _ _ : (1) (2) (1 2) on 1 2 = r1 r2 = {t1 t2 t1 r1, t2 r2} _ π ' _ : () (') on ' π ' (r) = {t['] t r} σ F _ : () () σ F (r) = {t t r, F(t)} 52 Il join i ue relzioni e sugli ttriuti i e i, inito on θ' è einito ome σ θ' ( ) il join è quini un prootto rtesino seguito un selezione il preito θ è etto preito i join lger elzionle - Join lger elzionle - Join 53 Il gro ell relzione risultto è ugule ll somm ei gri elle relzioni operni spesso il join è inito on le seguenti notzioni:.θ. oppure [θ ] il join prene il nome i equijoin quno l opertore θ nel preito i join è l opertore i uguglinz D = E E 1 2 D 3 E < D D E

10 lger elzionle Join nturle lger elzionle Join nturle L operzione i join nturle è un sempliizione el join si onsieri l interrogzione ritrovre tutti gli impiegti e gli uii ove lvorno. e usimo il join, tle interrogzione è espress ome: Π Nome, Uiio Impiegto Impiegto.Dip# = Diprtimento.Dip# Diprtimento ( ) notre he questo join impone l uguglinz egli ttriuti he ppiono in entrme le relzioni E un tipo i join molto requente l operzione i join nturle ini un tipo i join sto sull eguglinz egli ttriuti omuni ue relzioni h senso solo nell notzione on nome, ierenz elle ltre operzioni lger elzionle Join nturle lger elzionle Join nturle, relzioni, { 1,, k }=U U insieme egli ttriuti presenti si nello shem i he nello shem i, {I 1,,I m }= U U insieme egli ttriuti nello shem i o nello shem i l espressione he einise il join nturle è Π I1,...,Im ( σ ( ( ρ ( ) 1,...,k.1,...,.k Nell ormul preeente ini l ormul 1=.1 ND 2 =.2 ND ND k =.k il join nturle esegue pertnto un join uguglino gli ttriuti on lo stesso nome elle ue relzioni e poi elimin gli ttriuti upliti il join nturle si ini on lger elzionle Join nturle lger relzionle - Divisione 59 D e D e e 60 si suppong he gli impiegti ell se i ti i esempio sino ssegnti ei orsi i ggiornmento; ogni impiegto in genere prteip più orsi e vievers ogni orso è seguito più impiegti; vengono inoltre rppresentte le inormzioni reltivmente i orsi si suppong, pertnto, he sino einite le seguenti relzioni egue (Imp#, orso#) orsi (orso#, rgomento, Durt) 10

11 lger relzionle - Divisione lger relzionle - Divisione un possiile ontenuto elle ue relzioni è il seguente: egue orsi Imp# orso# orso# rgomento Durt D si i ti si i ti istemi oper. 4 onsierimo l seguente interrogzione: "trovre il numero i impiegto egli impiegti he seguono tutti i orsi il ui rgomento è si i ti il numero i orso ei orsi il ui rgomento è si i ti è ottenuto ome segue: 1 = Π orso# (σ rgomento = ' si i ti' (orsi)) il risultto ell' espressione 1 è il seguente insieme i numeri i orso {10,30} lger relzionle - Divisione lger relzionle - Divisione il risultto ell interrogzione è to, pertnto, tutti quegli impiegti he ppiono nell relzione egue on ognuno ei numeri i orso eterminti 1 il risultto ell nostr interrogzione è pertnto solo l' impiegto il ui numero è 7369 l' operzione he permette i eseguire l' interrogzione preeente è l' operzione i ivisione Dte ue relzioni e on insiemi i ttriuti U e U, rispettivmente, e tli he U U, l' operzione i ivisione i per è enott e è espress ome segue: Π (U - U) () - Π (U - U) ((Π (U - U) () x ) - ) l' espressione estr el - etermin tutte letuple i he non sono ssoite lmeno un tupl i lger relzionle - Divisione lger relzionle - Divisione 65 l' interrogzione ell' esempio preeente è espress ome segue = egue egue Π orso# (σ rgomento = ' si i ti' (orsi)) = Π orso# (σ rgomento = ' si i ti' (orsi)) = {10, 30} U U = {Imp#, orso#} = {orso#} 66 1) Π (U - U) () = Π Imp# () = Imp# ) Π (U - U) () x = Π Imp# () x = Imp# orso# Imp# orso# X =

12 lger relzionle - Divisione lger relzionle - Divisione 3) (Π (U - U) () x ) - = (Π Imp# () x ) - = 4) Π (U - U) ((Π (U - U) () x ) - ) = Π Imp# ((Π Imp# () x ) - ) = Imp# Imp# orso# Imp# orso# Imp# orso# - = ) Π (U - U) () - lolto l psso (1) Π (U - U) ((Π (U - U) () x ) - ) lolto l psso (4) Imp# Imp# Imp# - = lger relzionle - Intersezione lger relzionle - Intersezione L intersezione i ue relzioni,, init on è l insieme elle tuple ontenute in e in l intersezione i ue relzione può essere tt solo se hnno lo stesso gro; inoltre il primo ttriuto i eve vere ominio omptiile on il primo ttriuto i, il seono ttriuto i eve vere ominio omptiile on il seono ttriuto i, e osì vi il gro ell relzione risultto è ugule l gro elle relzioni operni L intersezione è un operzione erivt può intti essere einit ome segue: = - ( - ) ioè: si eterminno le tuple he stnno in m non in (-) si tolgono tutte le tuple he non stnno in ( - ( - )) le tuple risultnti stnno si in he in lger relzionle - Intersezione lger relzionle - Intersezione Esempio D E g F - - (-)

13 lger relzionle - Operzioni erivte lger relzionle - Operzioni erivte 73 i = ( 1,..., k ) uno shem i relzione inihimo on () l' insieme i tutte le relzioni su tle shem _ _ : () () () r1 r2 = r1 \ (r1 \ r2) = {t t r1, t r2} _ x F _ : (1) (2) (1 2) on 1 2 = r1 x F r2 = σ F (r1 r2) = {t1 t2 t1 r1, t2 r2, F(t1,t2)} 74 _ x _ : (1) (2) (1 2) r1 x r2 = {t t[1] r1, t[2] r2} - se 1 2 = r1 x r2 = r1 r2 - se 1 = 2 r1 x r2 = r1 r2 _ _ : (1) (2) (1 \ 2) on 1 2 r1 r2 = {t t2 r2 t1 r1 t.. t1[1\2] = t, t1[2] = t2} lolo elzionle lger vs. lolo L lger relzionle è un linguggio proeurle: nello speiire un espressione lgeri, oimo inire le operzioni neessrie per lolre il risultto ell query, insieme ll orine in ui queste operzioni evono essere svolte nel lolo relzionle viene t un esrizione ormle el risultto, senz speiire ome ottenerlo lolo relzionle - Vrinti lolo relzionle Due vrinti el lolo relzionle: Tuple reltionl lulus (T) le vriili rppresentno tuple Domin reltionl lulus (D) le vriili rppresentno vlori i omini veremo solo T In T un query è un espressione ell orm {t:u P(t)} ossi è einit ome l insieme i tutte le tuple einite su un insieme i ttriuti U tli he il preito P è vero per t notzione: t. ini il vlore ell tupl t per l ttriuto, t ini he t è nell relzione esempio: eterminre tutti gli impiegti il ui stipenio è mggiore i 2000 {t: U Impiegti t Impiegti t.tipenio>2000}

14 lolo relzionle - Esempi lolo relzionle - Esempi Trovre il nome egli impiegti il ui stipenio è mggiore i 2000 {t:{nome} s(s Impiegti s.tipenio>2000 s.nome=t.nome)} t è un vriile he ini tuple pprtenenti un relzione he h ome shem {Nome} l notzione t(q(t)) ini he esiste un tupl t tle he Q(t) è ver Trovre i nomi e gli uii egli impiegti he hnno uno stipenio mggiore i 2000 {t:{nome,uiio} s(s Impiegti s.tipenio>2000 s.nome=t.nome u(u Diprtimenti s.dip#=u.dip# u.uiio=t.uiio))} lolo relzionle - Esempi lolo relzionle - intssi Trovre i nomi egli impiegti he hnno uno stipenio mggiore i 2000 oppure lvorno in un iprtimento ell ivisione D1 {t:{nome} s(s Impiegti s.nome=t.nome s.tipenio>2000 u(u Diprtimenti s.dip#=u.dip# u.divisione= D1 )))} tomi gli tomi sono: s ( è un nome i relzione e s è un vriile) l tupl s pprtiene ll relzione s.θu. (s e u sono vriili, θ è un opertore relzionle i onronto, e sono nomi i ttriuti) il vlore i nell tupl s è in relzione θ on il vlore i nell tupl u s. θ (s è un vriile, θ è un opertore relzionle i onronto, è un nome i ttriuto, è un ostnte) il vlore i nell tupl s è in relzione θ on il vlore lolo relzionle - sintssi lolo relzionle - intssi 83 Formule ogni tomo è un ormul, tutte le oorrenze elle vriili ell tomo sono liere se φ1 e φ2 sono ormule, llor φ1 φ2, φ1 φ2, φ1 sono ormule, le oorrenze elle vriili sono liere o legte seon i ome sono in φ1 e φ2 se φ è un ormul llor s(φ), s(φ) sono ormule tutte le oorrenze i s in φ sono legte l quntiitore (oppure ) se φ è un ormul llor (φ) è un ormul 84 Vriili liere e legte t un ormul F e un vriile x, x è lier in F se e solo se x non è quntiit x (quntiizione universle) x (quntiizione esistenzile) 14

15 lolo relzionle - Esempi lolo relzionle - intssi s(s Impiegti s.tipenio>2000) è un ormul legle, tutte le oorrenze i s sono legte s(s Impiegti x.tipenio>2000 x.dip#= y.dip#) è un ormul legle, tutte le oorrenze i s sono legte mente quelle i x e y sono liere Espressioni el lolo Un espressione (o query) el lolo su tuple h l orm {x:u (x)} ove U è un insieme i ttriuti, è un ormul legle el lolo, x è lier in (x) e è l uni vriile lier in (x) lolo relzionle - Esempi lolo relzionle Esprimere l lger on il T L espressione {y:{dip#} x(x Impiegti x.tipenio>2000 x.dip#=y.dip#)} è un espressione orrett i T he è soistt tutti i numeri ei iprtimenti he hnno lmeno un impiegto he gugn più i 2000 L espressione {y:u Impiegti y(y Impiegti y.mnsione= ingegnere )} non è un espressione orrett i T, in qunto y non è lier Unione: {t:u t t } Dierenz: - {t: U t t } Prootto rtesino: x sino U ={ 1,, n } e U ={ 1,, m } gli insiemi egli ttriuti i e {t: U U x( y(x y x. 1 =t. 1 x. n =t. n y. 1 =t. 1 y. m =t. m ))} lolo relzionle Esprimere l lger on il T lolo relzionle Potere espressivo Proiezione: Π 1, k () {t:{ 1,, k } x(x x. 1 =t. 1 x. k =t. k } elezione: σf() {t:u t F } ove F è l ormul F on ogni ttriuto sostituito t. L lger relzionle e il lolo relzionle hnno lo stesso potere espressivo? ioè: tutto le operzioni esprimiili meinte espressioni ell lger relzionle possono essere espresse meinte espressioni el lolo relzionle e vievers?

16 lolo relzionle Potere espressivo lolo relzionle Potere espressivo L semnti i un interrogzione (in lger o in lolo) è un unzione he trsorm un se i ti relzionle (insieme i relzioni) in un nuov se i ti relzionle lger e lolo hnno lo stesso potere espressivo se per ogni interrogzione Q1 in uno ei ue ormlismi esiste un interrogzione Q2 nell ltro l ui semnti è l stess unzione Non tutte le espressioni el lolo possono essere trotte in equivlenti espressioni ell lger esempio: l espressione {t:u t } seene sintttimente orrett, se lmeno uno ei omini egli ttriuti i è un insieme ininito, quest espressione è soistt un numero ininito i tuple il risultto non sree un relzione! lolo relzionle Potere espressivo lolo relzionle - Potere espressivo 93 Nozione i ormul inipenente l ominio un ormul è inipenente l ominio se l su vlutzione gener sempre lo stesso risultto nhe supponeno i estenere i omini ssoiti gli ttriuti presenti nell se i ti on nuovi vlori, non presenti nell se i ti i prtenz si introue un onizione sinttti (sety) per grntire quest proprietà (non l veimo) Ie: mi restringo interrogzioni il ui risultto ipene solo vlori ontenuti nell se i ti i prtenz 94 l nozione i inipenenz l ominio è però ineiiile i introue quini un onizione sinttti (sety) suiiente grntire l inipenenz l ominio non veimo quest onizione lolo relzionle Potere espressivo Perhé ue linguggi? 95 L espressione {t:u t } non è se il lolo relzionle se e l lger relzionle hnno lo stesso potere espressivo l truzione un ormlismo ll ltro può essere eettut in tempo polinomile nell imensione ell espressione 96 lger relzionle linguggio proeurle utile per il sistem lolo relzionle linguggio ihirtivo utile per l utente i linguggi i interrogzione nei sistemi reli si sno sul lolo l lger relzionle viene utilizzt ome linguggio interno l interrogzione utente viene ompilt in un espressione ell lger relzionle il sistem utilizz le proprietà ell lger per stilire qule espressione permette i risolvere l interrogzione inizile nel moo più eiiente 16

17 Esempio Determinre i nomi egli impiegti he lvorno nell ivisione D1 lolo {t:{nome} s(s Impiegti s.nome=t.nome u(u Diprtimenti s.dip#=u.dip# u.divisione= D1 )))} lger ( ( () Π Nome σ Divisione= D1 Impiegti Diprtimenti ) Esempio (ontinu) Poihé l ttriuto Divisione U Diprtimenti, è possiile ntiipre l selezione () Π Nome Impiegti σ Divisione= D1( Diprtimenti) upponimo he: Impiegti onteng n 1 tuple ( ) Diprtimenti onteng n 2 tuple (rgionevolmente n 2 <= n 1) i iprtimenti ell ivisione D1 sono n 3 (n 3 <= n 2 ) osti (): join:n 1 n 2,selezione: n 1, proiezione: n 1, totle: n 1 n 2 +2n 1 (): selezione: n 2, join: n 1 n 3, proiezione: n 1, totle: n 1 n 3 +n 1 +n2 osto() > osto() il sistem seglie l espressione () 17

Il modello relazionale. Il Modello Relazionale. Il modello relazionale. Relazione. Dominio. Esempio

Il modello relazionale. Il Modello Relazionale. Il modello relazionale. Relazione. Dominio. Esempio Il Moello elzionle Proposto E. F. o nel 1970 per vorire l inipenenz ei ti e reso isponiile ome moello logio in DM reli nel 1981 si s sul onetto mtemtio i relzione, questo ornise l moello un se teori he

Dettagli

La rappresentazione per elencazione consiste nell elencare tutte le coppie ordinate che verificano la relazione

La rappresentazione per elencazione consiste nell elencare tutte le coppie ordinate che verificano la relazione RELAZIONI E FUNZIONI Relzioni inrie Dti ue insiemi non vuoti e (he possono eventulmente oiniere), si ie relzione tr e un qulsisi legge he ssoi elementi elementi. L insieme A è etto insieme i prtenz. L

Dettagli

ESERCIZI IN PIÙ ESERCIZI DI FINE CAPITOLO

ESERCIZI IN PIÙ ESERCIZI DI FINE CAPITOLO L RLZIONI L FUNZIONI serizi in più SRIZI IN PIÙ SRIZI I FIN PITOLO TST Nell insieme ell figur, l relzione rppresentt goe ell o elle proprietà: TST L relzione «essere isenente i», efinit nell insieme egli

Dettagli

Componenti per l elaborazione binaria dell informazione. Sommario. Sommario. Approfondimento del corso di reti logiche. M. Favalli.

Componenti per l elaborazione binaria dell informazione. Sommario. Sommario. Approfondimento del corso di reti logiche. M. Favalli. Sommrio Componenti per l elorzione inri ell informzione Approfonimento el orso i reti logihe M. Fvlli Engineering Deprtment in Ferrr Porte logihe 2 Il livello swith 3 Aspetti tenologii 4 Reti logihe omintorie

Dettagli

! è l'insieme A degli attributi di ! $ B IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI IL PROBLEMA DELLE VISTE MATERIALIZZATE

! è l'insieme A degli attributi di ! $ B IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI IL PROBLEMA DELLE VISTE MATERIALIZZATE IL PROBLEMA DELLE VISTE MATERIALIZZATE IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI Le viste nei DBMS relzionli Utilità elle viste mterilizzte per l'eseuzione i interrogzioni Venite(ProutI, NegozioI,

Dettagli

La parabola. Fuoco. Direttrice y

La parabola. Fuoco. Direttrice y L prol Definizione: si definise prol il luogo geometrio dei punti del pino equidistnti d un punto fisso detto fuoo e d un rett fiss dett direttrie. Un rppresentzione grfi inditiv dell prol nel pino rtesino

Dettagli

A.A.2009/10 Fisica 1 1

A.A.2009/10 Fisica 1 1 Mhine termihe e frigoriferi Un mhin termi è un mhin he, grzie un sequenz i trsformzioni termoinmihe i un t sostnz, proue lvoro he può essere utilizzto. Un mhin solitmente lvor su i un ilo i trsformzioni

Dettagli

] + [ ] [ ] def. ] e [ ], si ha subito:

] + [ ] [ ] def. ] e [ ], si ha subito: OPE OPERAZIONI BINARIE Definizione di operzione inri Dto un insieme A non vuoto, si him operzione (inri) su A ogni pplizione di A in A In generle, un'operzione su A viene indit on il simolo Se (x, y) è

Dettagli

13. EQUAZIONI ALGEBRICHE

13. EQUAZIONI ALGEBRICHE G. Smmito, A. Bernrdo, Formulrio di mtemti Equzioni lgerihe F. Cimolin, L. Brlett, L. Lussrdi. EQUAZIONI ALGEBRICHE. Prinipi di equivlenz Si die identità un'uguglinz tr due espressioni ontenenti un o più

Dettagli

Lezione 7: Rette e piani nello spazio

Lezione 7: Rette e piani nello spazio Lezione 7: Rette e pini nello spzio In quest lezione i metteremo in un riferimento rtesino ortonormle dello spzio. I primi oggetti geometrii he individuimo sono le rette e i pini. Per qunto rigurd le rette

Dettagli

Numeri razionali COGNOME... NOME... Classe... Data...

Numeri razionali COGNOME... NOME... Classe... Data... I numeri rzionli Cpitolo Numeri rzionli Verifi per l lsse prim COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

Esercitazione n. 2. Gian Carlo Bondi VERO/FALSO

Esercitazione n. 2. Gian Carlo Bondi VERO/FALSO Eseritzioni svolte 2010 Suol Duemil 1 Eseritzione n. 2 Aspetti eonomii e lusole el ontrtto i omprvenit Risultti ttesi Spere: gli spetti tenii, giuriii e eonomii el ontrtto i omprvenit. Sper fre: eterminre

Dettagli

FUNZIONI MATEMATICHE. Una funzione lineare è del tipo:

FUNZIONI MATEMATICHE. Una funzione lineare è del tipo: FUNZIONI MATEMATICHE Le relzioni mtemtihe utilizzte per desrivere fenomeni nturli, in iologi ome in ltre sienze, possono ovvimente essere le più svrite. Per lo più si trtt di equzioni lineri, qudrtihe,

Dettagli

Sondaggio piace l eolico?

Sondaggio piace l eolico? Songgio pie l eolio? Durnte l inugurzione i Stell sono stti istriuiti ei questionri per vlutre l inie i grimento ell eolio prte ell popolzione Sono stti ompilti e quini nlizzti 50 questionri Quest presentzione

Dettagli

Monomi e polinomi. Verifica per la classe prima COGNOME... NOME... Classe... Data...

Monomi e polinomi. Verifica per la classe prima COGNOME... NOME... Classe... Data... Cpitolo Monomi e polinomi Monomi Verifi per l lsse prim COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

F (r(t)), d dt r(t) dt

F (r(t)), d dt r(t) dt Cmpi vettorili Un cmpo vettorile è un funzione vlori vettorili F : A R, con A R n, ove in questo cso l imensione el ominio e el coominio è l stess. F ( 1, 2,..., n ) (f 1 ( 1, 2,..., n ), f 2 ( 1, 2,...,

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri i Primo Gro Clsse Prim Suol..........................................................................................................................................

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria di Primo Grado Classe Prima. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri i Primo Gro Clsse Prim Suol..........................................................................................................................................

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe Prima. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe Prima. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri Superiore Clsse Prim Suol..........................................................................................................................................

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe Terza. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe Terza. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri Superiore Clsse Terz Suol..........................................................................................................................................

Dettagli

3. Funzioni iniettive, suriettive e biiettive (Ref p.14)

3. Funzioni iniettive, suriettive e biiettive (Ref p.14) . Funzioni iniettive, suriettive e iiettive (Ref p.4) Dll definizione di funzione si ricv che, not un funzione y f( ), comunque preso un vlore di pprtenente l dominio di f( ) esiste un solo vlore di y

Dettagli

d coulomb d volt b trasformatore d alternatore b amperometro d reostato

d coulomb d volt b trasformatore d alternatore b amperometro d reostato ppunti 7 TEST DI VERIFICA 1 Unità i misur ell ri elettri: henry weer volt oulom 2 Unità i misur ell pità elettri: oulom henry fr volt 3 Gener orrente lternt: umultore resistenz 4 Misur l tensione: resistometro

Dettagli

VERSO L ESAME DI STATO LA DERIVATA DI UNA FUNZIONE

VERSO L ESAME DI STATO LA DERIVATA DI UNA FUNZIONE VERSO L ESAME DI STATO LA DERIVATA DI UNA FUNZIONE Soluzioni di quesiti e prolemi trtti dl Corso Bse Blu di Mtemti volume 5 [] (Es. n. 8 pg. 9 V) Dell prol f ( ) si hnno le seguenti informzioni, tutte

Dettagli

Piero Gallo Fabio Salerno. Task. Corso di informatica. Gli archivi sequenziali. il libro si estende sul web

Piero Gallo Fabio Salerno. Task. Corso di informatica. Gli archivi sequenziali. il libro si estende sul web Piero Gllo Fio Slerno Tsk Corso i informti 2 il liro si estene sul we Gli rhivi sequenzili il liro si estene sul we LEZIONE L orgnizzzione sequenzile L orgnizzzione logi sequenzile Con rhivio logio sequenzile

Dettagli

! Una gerarchia ricorsiva deriva dalla presenza di una ricorsione o ciclo (un anello nel caso più semplice) nello schema operazionale.

! Una gerarchia ricorsiva deriva dalla presenza di una ricorsione o ciclo (un anello nel caso più semplice) nello schema operazionale. Gerarhie Riorsive! Una gerarhia riorsiva eriva alla presenza i una riorsione o ilo (un anello nel aso più semplie) nello shema operazionale.! Esempio i shema operazionale on anello:! Rappresentazione sullo

Dettagli

www.scuolaazienda.it MARIO FLORES L OPERATORE TURISTICO SOLUZIONI Vero o falso? Verifica le tue conoscenze Esercizi

www.scuolaazienda.it MARIO FLORES L OPERATORE TURISTICO SOLUZIONI Vero o falso? Verifica le tue conoscenze Esercizi www.scuolaazienda.it MRIO FLORES L OPERTORE 4 TURISTIO SOLUZIONI Vero o falso? Verifica le tue conoscenze Esercizi VERO O FLSO? MOULO 1 1 V, 2 V, 3 F, 4 F 1 V, 2 V, 3 V, 4 F 1 V, 2 F, 3 F, 4 V 1 F, 2 F,

Dettagli

8 Equazioni parametriche di II grado

8 Equazioni parametriche di II grado Equzioni prmetrihe di II grdo Un equzione he oltre ll inognit (o lle inognite) ontiene ltre lettere (un o più) si die letterri o prmetri e le lettere sono himte, nhe, prmetri; si suppong he l equzione

Dettagli

Disequazioni di primo grado

Disequazioni di primo grado Cpitolo Disequzioni i primo gro Risoluzione lgeri Verifi per l lsse seon COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

Icone, finestre e strutture dati

Icone, finestre e strutture dati u t o n e n i t à i m r e n i p p Ione, finestre e strutture ti Competenze speifihe Il signifito elle prinipli ione, il loro spostmento e orinmento sul esktop I prinipli elementi elle finestre elle pplizioni

Dettagli

Calcolo del costo unitario FASE 1

Calcolo del costo unitario FASE 1 ESERCIZIO Definizione el pino ei entri i osto e eterminzione el osto unitrio i prootto Clolo el osto unitrio FASE 1 Azien i prouzione: proue i eni,,, Il proesso prouttivo prevee 3 fsi o proessi prinipli:

Dettagli

Equazioni di primo grado

Equazioni di primo grado Cpitolo Equzioni i primo gro Equzioni i primo gro erifi per l lsse prim COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

T16 Protocolli di trasmissione

T16 Protocolli di trasmissione T16 Protoolli di trsmissione T16.1 Cos indi il throughput di un ollegmento TD?.. T16.2 Quli tr le seguenti rtteristihe dei protoolli di tipo COP inidono direttmente sul vlore del throughput? Impossiilità

Dettagli

Test di autovalutazione

Test di autovalutazione UNITÀ ELEMENTI DI CALCOLO ALGEBRICO Test di utovlutzione 0 0 0 0 0 0 60 0 80 90 00 n Il mio punteggio, in entesimi, è n Rispondi ogni quesito segnndo un sol delle lterntive. n Confront le tue risposte

Dettagli

VERIFICA DI UN CIRCUITO RESISTIVO CONTENENTE PIÙ GENERATORI CON UN TERMINALE COMUNE E SENZA TERMINALE COMUNE.

VERIFICA DI UN CIRCUITO RESISTIVO CONTENENTE PIÙ GENERATORI CON UN TERMINALE COMUNE E SENZA TERMINALE COMUNE. FCA D UN CCUTO SSTO CONTNNT PÙ GNATO CON UN TMNAL COMUN SNZA TMNAL COMUN. Si verifino quttro iruiti on due genertori: genertori on polrità onorde e un terminle omune genertori on polrità disorde e un terminle

Dettagli

30 quesiti. 1 Febbraio 2011. Scuola... Classe... Alunno... Copyright 2011 Zanichelli Editore SpA, Bologna

30 quesiti. 1 Febbraio 2011. Scuola... Classe... Alunno... Copyright 2011 Zanichelli Editore SpA, Bologna verso LA RILEVAZIONE INVALSI SCUOLA SECONDARIA DI secondo GRADO PROVA DI Mtemtic 30 quesiti Febbrio 0 Scuol... Clsse... Alunno... e b sono numeri reli che verificno quest uguglinz: Qunto vle il loro prodotto?

Dettagli

Politecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME. 11 febbraio 2008 RIGA COLONNA MATRICOLA

Politecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME. 11 febbraio 2008 RIGA COLONNA MATRICOLA Politecnico i Milno Fcoltà i Ingegneri ell Automzione INFORMATICA INDUSTRIALE Appello COGNOME E NOME ebbrio 2008 RIGA COLONNA MATRICOLA Il presente plico pinzto, composto i quttro ogli (ronte/retro)eve

Dettagli

Geometria analitica +l piano cartesiano Le funzioni retta, parabola, iperbole Le trasformazioni sul piano cartesiano

Geometria analitica +l piano cartesiano Le funzioni retta, parabola, iperbole Le trasformazioni sul piano cartesiano Geometri nliti +l pino rtesino Le funzioni rett, prol, iperole Le trsformzioni sul pino rtesino SEZ. P +l pino rtesino Osserv le oorinte ei seguenti punti: (, 0), (, ), C(, +), D + +, E(+, 9)., Che os

Dettagli

Allegato 3 Elenco BAT ed esempio interventi efficientamento

Allegato 3 Elenco BAT ed esempio interventi efficientamento Allegto 3 Eleno BAT e esempio interventi effiientmento LINEE GUIDA per l onuzione ell ignosi energeti nel settore rtrio Pg. 1 i 6 Riepilogo BAT sul onsumo e sull effiienz energetii estrtte ll DECISIONE

Dettagli

La statistica nei test Invalsi

La statistica nei test Invalsi L sttisti nei test Invlsi 1) Osserv il grfio seguente he rppresent l distriuzione perentule di fmiglie per numero di omponenti, in se l ensimento 2001.. Qul è l perentule di fmiglie on 2 omponenti? Rispost:..%.

Dettagli

Disequazioni di secondo grado

Disequazioni di secondo grado Disequzioni i seono gro Cpitolo Risoluzione lgeri Verifi per l lsse seon COGNOME............................... NOME............................. Clsse.................................... Dt...............................

Dettagli

COMBINAZIONI DI CARICO SOLAI

COMBINAZIONI DI CARICO SOLAI COMBINAZIONI DI CARICO SOLAI (ppunti di Mrio Zfonte in fse di elorzione) Ai fini delle verifihe degli stti limite, seondo unto indito dll normtiv, in generle le ondizioni di rio d onsiderre, sono uelle

Dettagli

Capitolo 3 Il modello relazionale. Introduzione al modello relazionale

Capitolo 3 Il modello relazionale. Introduzione al modello relazionale Cpitolo 3 Il modello relzionle I dtse sono il fulcro dei sistemi informtivi, sono il cuore delle ppliczioni. L struttur di un dtse, denomint modello di dti (schem o nche progettzione di dtse), specific

Dettagli

Millenium 3 Interfaccia di comunicazione M3MOD Guida all'uso della Directory operativa 04/2006

Millenium 3 Interfaccia di comunicazione M3MOD Guida all'uso della Directory operativa 04/2006 Millenium 3 Interfi i omunizione M3MOD Gui ll'uso ell Diretory opertiv 04/2006 160633105 Pnormi AGui ll'uso ell Diretory opertiv Introuzione L Diretory opertiv è un file i testo generto l softwre i progrmmzione

Dettagli

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone Mhin non ompltmnt spifit Sintsi Squnzil Sinron Sintsi Comportmntl i Rti Squnzili Sinron Riuzion l numro gli stti pr Mhin Non Compltmnt Spifit Comptiilità Vrsion l 5/12/02 Sono mhin in ui pr lun onfigurzioni

Dettagli

11. Geometria piana ( ) ( ) 1. Formule fondamentali. Rettangolo. A = b = h = = b h. b = base h = altezza. Quadrato

11. Geometria piana ( ) ( ) 1. Formule fondamentali. Rettangolo. A = b = h = = b h. b = base h = altezza. Quadrato 11. Geometi pin 1. Fomule fonmentli Rettngolo = h = h = h p= + h p= + h h= p = p h + ( ) = h = h h = = se = igonle p = peimeto h = ltezz = e p = semipeimeto Quto = l l = = l l = l = lto = igonle = e p

Dettagli

Le proprietà fondamentali del campo magnetico

Le proprietà fondamentali del campo magnetico 1) Ftti sperimentli. Le proprietà fonmentli el mpo mgnetio Riportimo ue ftti sperimentli: ) Un filo rettilineo infinito perorso orrente I gener un mpo mgnetio on le seguenti proprietà: l intensità ument

Dettagli

FEDERAZIONE ITALIANA GIUOCO CALCIO SETTORE TECNICO CORSO PER L ABILITAZIONE AD ALLENATORE PROFESSIONISTA DI 1^ CATEGORIA 2005 2006

FEDERAZIONE ITALIANA GIUOCO CALCIO SETTORE TECNICO CORSO PER L ABILITAZIONE AD ALLENATORE PROFESSIONISTA DI 1^ CATEGORIA 2005 2006 FEDERAZIONE ITALIANA GIUOCO CALCIO SETTORE TECNICO CORSO PER L ABILITAZIONE AD ALLENATORE PROFESSIONISTA DI 1^ CATEGORIA 2005 2006 L INSEGNAMENTO DEI FONDAMENTALI TATTICI: DALL UNO CONTRO UNO AL QUATTRO

Dettagli

PROVE DI CARICO SU SOLAIO

PROVE DI CARICO SU SOLAIO .5. PROVE DI CARICO SU SOAIO Pg. di PROVE DI CARICO SU SOAIO. Sopo prov intende testre le strutture orizzontli, in termini di resistenz e di rispost elsti, sottoponendole lle mssime solleitzioni possiili

Dettagli

Integrali de niti. Il problema del calcolo di aree ci porterà alla de nizione di integrale de nito.

Integrali de niti. Il problema del calcolo di aree ci porterà alla de nizione di integrale de nito. Integrli de niti. Il problem di clcolre l re di un regione pin delimitt d gr ci di funzioni si può risolvere usndo l integrle de nito. L integrle de nito st l problem del clcolo di ree come l equzione

Dettagli

Ing. Alessandro Pochì

Ing. Alessandro Pochì Dispense di Mtemtic clsse quint -Gli integrli Quest oper è distriuit con: Licenz Cretive Commons Attriuzione - Non commercile - Non opere derivte. Itli Ing. Alessndro Pochì Appunti di lezione svolti ll

Dettagli

IL CONTRATTO RISTORATIVO

IL CONTRATTO RISTORATIVO IL CONTRATTO RISTORATIVO ATTIVITÀ E LABORATORIO i Pol LOBINA PREMESSA L rtiolo nlizz l ntur giurii el ontrtto i ristorzione osì ome viene elinet l Coie el onsumo e è orreto un primo test i verifi sui ontrtti.

Dettagli

Modulo 3. del mercato dei capitali. e la Borsa valori. Unità didattiche che compongono il modulo. Tempo necessario

Modulo 3. del mercato dei capitali. e la Borsa valori. Unità didattiche che compongono il modulo. Tempo necessario Modulo Il merto dei pitli e l Bors vlori I destintri del modulo sono gli studenti del qurto nno; essi, dopo ver ppreso quli differenti forme giuridihe un impres può ssumere e, on riferimento lle soietà

Dettagli

Robotica industriale. Motori a magneti permanenti. Prof. Paolo Rocco (paolo.rocco@polimi.it)

Robotica industriale. Motori a magneti permanenti. Prof. Paolo Rocco (paolo.rocco@polimi.it) Rooti industrile Motori mgneti permnenti Prof. Polo Roo (polo.roo@polimi.it) Generzione di oppi L legge di Lorentz i die he un ri elettri q in moto on veloità v in un mpo mgnetio di intensità B è soggett

Dettagli

10. Completare la seguente tabella, in cui sono riportate le produzioni assolute e relative di tre colture altamente diffuse in Italia.

10. Completare la seguente tabella, in cui sono riportate le produzioni assolute e relative di tre colture altamente diffuse in Italia. ESERCIZI DI BASE 1. I soci proprietri di un piccol compgni gricol sono tre: i signori A, B, C. Mentre i signori A e C hnno l stess quot di prtecipzione ll ziend, il signor B h solo il 50% dell quot degli

Dettagli

Risoluzione. dei triangoli. e dei poligoni

Risoluzione. dei triangoli. e dei poligoni UNITÀ Risoluzione dei tringoli e dei poligoni TEORI Relzioni tr lti e ngoli di un tringolo qulunque (sleno) riteri per risolvere i tringoli qulunque 3 re dei tringoli 4 erhi notevoli dei tringoli 5 ltezze,

Dettagli

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe Prima. Scuola... Classe... Alunno...

VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA. Scuola Secondaria Superiore Classe Prima. Scuola... Classe... Alunno... VALUTAZIONE DELLE CONOSCENZE E DELLE ABILITÀ DI BASE PROVA DI MATEMATICA Suol Seonri Superiore Clsse Prim Suol..........................................................................................................................................

Dettagli

Test di autovalutazione

Test di autovalutazione Test di utovlutzione 0 0 0 0 0 50 0 70 0 0 00 n Il mio punteggio, in entesimi, è n Rispondi ogni quesito segnndo un sol delle 5 lterntive. n Confront le tue risposte on le soluzioni. n Color, prtendo d

Dettagli

Circuiti Sequenziali Macchine Non Completamente Specificate

Circuiti Sequenziali Macchine Non Completamente Specificate CEFRIEL Consorzio pr l Formzion l Rir in Inggnri ll Informzion Politnio i Milno Ciruiti Squnzili Mhin Non Compltmnt Spifit Introuzion Comptiilità Riuzion l numro gli stti Mtoo gnrl FSM non ompltmnt spifit

Dettagli

13. Caratterizzazione sperimentale

13. Caratterizzazione sperimentale B. Zurello rogettzione meni on mterili non onvenzionli 13.1. Generlità 13. Crtterizzzione sperimentle Nell progettzione on mterili ompositi è prssi piuttosto onsolidt vlutre le rtteristihe dell singol

Dettagli

Cap. 8 Sistemi di controllo

Cap. 8 Sistemi di controllo Cap. 8 Sistemi i ontrollo Come già etto, in generale, un sistema è solo potenialmente in grao i soisfare gli obiettivi per i quali è stato ostruito, e ioè i omportarsi nella maniera esierata. Per onseguire

Dettagli

Il Modello Relazionale

Il Modello Relazionale Il Modello Relazionale 1 Proposto da E. F. Codd nel 1970 per favorire l indipendenza dei dati e reso disponibile come modello logico in DBMS reali nel 1981 Si basa sul concetto matematico di relazione,

Dettagli

Barriere all entrata e modello del Prezzo Limite Economia industriale Università Bicocca

Barriere all entrata e modello del Prezzo Limite Economia industriale Università Bicocca Brriere ll entrt e modello del Prezzo imite onomi industrile Università Bio Christin Grvgli - Giugno 006 Brriere ll entrt definizioni Condizioni he permettono lle imprese opernti in un industri di elevre

Dettagli

Facoltà di Economia - Università di Sassari Anno Accademico 2004-2005. Dispense Corso di Econometria Docente: Luciano Gutierrez.

Facoltà di Economia - Università di Sassari Anno Accademico 2004-2005. Dispense Corso di Econometria Docente: Luciano Gutierrez. Fcoltà di Economi - Università di Sssri Anno Accdemico 2004-2005 Dispense Corso di Econometri Docente: Lucino Gutierrez Algebr Linere Progrmm: 1.1 Definizione di mtrice e vettore 1.2 Addizione e sottrzione

Dettagli

Capitolo 3. Modelli. Macchine combinatorie Macchine sequenziali asincrone sincrone

Capitolo 3. Modelli. Macchine combinatorie Macchine sequenziali asincrone sincrone Capitolo 3 Moelli Mahine ominatorie Mahine sequenziali asinrone sinrone Il moello el loo o satola nera i I: alfaeto i ingresso u U: alfaeto i usita ingresso ei ati i F u usita ei risultati F: relazione

Dettagli

ESAME DI STATO DI LICEO SCIENTIFICO CORSO DI ORDINAMENTO 2002 Sessione straordinaria

ESAME DI STATO DI LICEO SCIENTIFICO CORSO DI ORDINAMENTO 2002 Sessione straordinaria ESAME DI STAT DI LICE SCIENTIFIC CRS DI RDINAMENT 00 Sessione strordinri Il cndidto risolv uno dei due problemi e 5 dei 0 quesiti in cui si rticol il questionrio. PRBLEMA Con riferimento un sistem monometrico

Dettagli

QUESITI DI PSICOLOGIA

QUESITI DI PSICOLOGIA QUESITI DI PSICOLOGIA appunti 23 TEST DI VERIFICA 1 Che osa si intene on il onetto i atteniilità? a L effiaia he un test ha nel preveere i renimenti i un soggetto nelle ailità speifihe misurate Il grao

Dettagli

" Osservazione. 6.1 Integrale indefinito. R Definizione (Primitiva) E Esempio 6.1 CAPITOLO 6

 Osservazione. 6.1 Integrale indefinito. R Definizione (Primitiva) E Esempio 6.1 CAPITOLO 6 CAPITOLO 6 Clcolo integrle 6. Integrle indefinito L nozione fondmentle del clcolo integrle è quell di funzione primitiv di un funzione f (). Tle nozione è in qulche modo speculre ll nozione di funzione

Dettagli

Esercizi della 8 lezione sulla Geomeria Linere ESERCIZI SULLA CIRCONFERENZA ESERCIZI SULLA PARABOLA ESERCIZI SULL' ELLISSE ERCIZI SULL' IPERBOLE

Esercizi della 8 lezione sulla Geomeria Linere ESERCIZI SULLA CIRCONFERENZA ESERCIZI SULLA PARABOLA ESERCIZI SULL' ELLISSE ERCIZI SULL' IPERBOLE Eserizi dell lezione sull Geomeri Linere ESERCIZI SULLA CIRCONFERENZA ESERCIZI SULLA PARABOLA ESERCIZI SULL' ELLISSE ES ERCIZI SULL' IPERBOLE ESERCIZI SULLA CIRCONFERENZA. Determinre l equzione dell ironferenz

Dettagli

Teoria in sintesi ESPONENZIALI. Potenze con esponente reale. La potenza. Sono definite: Non sono definite: Casi particolari :

Teoria in sintesi ESPONENZIALI. Potenze con esponente reale. La potenza. Sono definite: Non sono definite: Casi particolari : Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se >, per ogni R se, per tutti e soli gli R se

Dettagli

PAOLO CAMAGNI RICCARDO NIKOLASSY CORSO DI INFORMATICA. Per il nuovo liceo scientifico opzione scienze applicate VOLUME 1 HOEPLI

PAOLO CAMAGNI RICCARDO NIKOLASSY CORSO DI INFORMATICA. Per il nuovo liceo scientifico opzione scienze applicate VOLUME 1 HOEPLI PAOLO CAMAGNI RICCARDO NIKOLASSY CORSO DI INFORMATICA Per il nuovo lieo sientifio opzione sienze pplite VOLUME 1 HOEPLI PAOLO CAMAGNI RICCARDO NIKOLASSY Corso i Informti Per il nuovo lieo sientifio opzione

Dettagli

Formule di Gauss Green

Formule di Gauss Green Formule di Guss Green In queste lezioni voglimo studire il legme esistente tr integrli in domini bidimensionli ed integrli urvilinei sull frontier di questi. In seguito i ouperemo del problem nlogo nello

Dettagli

Elettronica dei Sistemi Digitali Il test nei sistemi elettronici: guasti catastrofici e modelli di guasto (parte I)

Elettronica dei Sistemi Digitali Il test nei sistemi elettronici: guasti catastrofici e modelli di guasto (parte I) Elettronic dei Sistemi Digitli Il test nei sistemi elettronici: gusti ctstrofici e modelli di gusto (prte I) Vlentino Lierli Diprtimento di Tecnologie dell Informzione Università di Milno, 26013 Crem e-mil:

Dettagli

Analisi dei dati ottenuti dalla raccolta dei Questionari consegnati al Tessuto Imprenditoriale e Commerciale della Città di Magenta

Analisi dei dati ottenuti dalla raccolta dei Questionari consegnati al Tessuto Imprenditoriale e Commerciale della Città di Magenta QUESTIONRIO PINO GENERLE DEL TRFFIO URNO ITTÀ DI MGENT nlisi dei dti ottenuti dll rolt dei Questionri onsegnti l Tessuto Imprenditorile e ommerile dell ittà di Mgent Relizzt d onfommerio Mgent e stno Primo

Dettagli

La Logica BAN. Formalismo

La Logica BAN. Formalismo Network Security Elements of pplied Cryptogrphy nlisi e progetto di protocolli crittogrfici L logic N Principi di progettzione Csi di studio: Needhm-Schroeder, Otwy- Rees; SSL (old version); 509; GSM Il

Dettagli

AUTOVALORI ED AUTOVETTORI. Sia V uno spazio vettoriale di dimensione finita n.

AUTOVALORI ED AUTOVETTORI. Sia V uno spazio vettoriale di dimensione finita n. AUTOVALORI ED AUTOVETTORI Si V uno spzio vettorile di dimensione finit n. Dicesi endomorfismo di V ogni ppliczione linere f : V V dello spzio vettorile in sé. Se f è un endomorfismo di V in V, considert

Dettagli

PARAMETRI DI VALUTAZIONE PER AUTOBUS INTERURBANI E CRITERI PER L'ASSEGNAZIONE DEI PUNTEGGI ALLEGATO 6/lotto 1

PARAMETRI DI VALUTAZIONE PER AUTOBUS INTERURBANI E CRITERI PER L'ASSEGNAZIONE DEI PUNTEGGI ALLEGATO 6/lotto 1 PARAMETRI DI VALUTAZIONE PER AUTOBUS INTERURBANI E CRITERI PER L'ASSEGNAZIONE DEI PUNTEGGI ALLEGATO 6/lotto 1 PUNTEGGIO PARAMETRI INTERURBANO NORMALE Punteggio Vlutzioni 1 PREZZO DEL VEICOLO COMPLETO (vesi

Dettagli

-STRUTTURE DI LEWIS SIMBOLI DI LEWIS

-STRUTTURE DI LEWIS SIMBOLI DI LEWIS STRUTTURE DI LEWIS SIMBLI DI LEWIS ELETTRI DI VALEZA: sono gli elettroni del guscio esterno, i responsbili principli delle proprietà chimiche di un tomo e quindi dell ntur dei legmi chimici che vengono

Dettagli

La piattaforma Next Generation Guida rapida

La piattaforma Next Generation Guida rapida Gui rpi Quest gui rpi è stt ret on l oiettivo i iutrti fmilirizzre rpimente on le numerose rtteristihe e strumenti isponiili sull pittform Next Genertion. Sopri ove trovre i prootti isponiili e le notizie

Dettagli

Lezione 21 Investimenti Diretti Esteri (FDI) e Imprese Multinazionali 1) Definizioni. 5) Il modello ``knowledge based specific assets

Lezione 21 Investimenti Diretti Esteri (FDI) e Imprese Multinazionali 1) Definizioni. 5) Il modello ``knowledge based specific assets Lezione 1 Investimenti Diretti Esteri FDI e Imprese Multinzionli 1 Definizioni Dimensione del fenomeno 3 Tipi di IDE 4 Il prdigm OLI 5 Il modello ``knowledge sed speifi ssets 6 Un modello di selt tr esportzione

Dettagli

ESPONENZIALI E LOGARITMI

ESPONENZIALI E LOGARITMI ESPONENZIALI E LOGARITMI 1 se 0, per ogni R ; Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se >0: Sono definite: se >0: Non sono definite: Csi prticolri: Le proprietà delle

Dettagli

CORSO DI RAGIONERIA A.A. 2013/2014

CORSO DI RAGIONERIA A.A. 2013/2014 CORSO DI RAGIONERIA A.A. 2013/2014 MODULO A LEZIONE N. 10 LE SCRITTURE CONTABILI Il lesing IL CONTRATTO DI LEASING Il lesing è un contrtto tipico (non previsto dl Codice Civile) per mezzo del qule l ziend

Dettagli

Le grandezze scalari e le grandezze vettoriali

Le grandezze scalari e le grandezze vettoriali VETTORI I VETTORI DEL PINO Le grndezze slri e le grndezze ettorili Esistono grndezze determinte dl nmero he le misr rispetto n prefisst nità, ome per esempio l lnghezz, l re, il olme, il tempo Qeste grndezze

Dettagli

Lezione. Investimenti Diretti Esteri (FDI) e Imprese Multinazionali

Lezione. Investimenti Diretti Esteri (FDI) e Imprese Multinazionali Lezione Investimenti Diretti Esteri FDI e Imprese Multinzionli 1 Definizioni Dimensione del fenomeno 3 Tipi di IDE 4 Il prdigm OLI 5 Il modello ``knowledge sed speifi ssets 6 Un modello di selt tr esportzione

Dettagli

( ) [ ] Cap. 5 IS-LM. Mercato dei beni e curva IS

( ) [ ] Cap. 5 IS-LM. Mercato dei beni e curva IS Cap. 5 IS-L erato ei beni e urva IS Investimento: ipene positivamente al reito (più è alto, più salgono le venite e più le imprese investono in mahinari, impianti, e.) e negativamente al tasso interesse

Dettagli

Il Primo Principio della Termodinamica non fornisce alcuna indicazione riguardo ad alcuni aspetti pratici.

Il Primo Principio della Termodinamica non fornisce alcuna indicazione riguardo ad alcuni aspetti pratici. Il Primo Principio dell Termodinmic non fornisce lcun indiczione rigurdo d lcuni spetti prtici. l evoluzione spontne delle trsformzioni; non individu cioè il verso in cui esse possono vvenire. Pistr cld

Dettagli

Liceo Scientifico Sperimentale anno 2002-2003 Problema 1 Bernardo Pedone. ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE PNI anno 2002-2003

Liceo Scientifico Sperimentale anno 2002-2003 Problema 1 Bernardo Pedone. ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE PNI anno 2002-2003 Liceo Scientifico Sperimentle nno - Problem Bernrdo Pedone ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE PNI nno - PROBLEMA Nel pino sono dti: il cerchio γ di dimetro OA =, l rett t tngente γ

Dettagli

I test d ingresso ACCERTAMENTO DEI PREREQUISITI ATTIVITÀ DI PROGRAMMAZIONE ATTIVITÀ DI RECUPERO. Test d ingresso 15

I test d ingresso ACCERTAMENTO DEI PREREQUISITI ATTIVITÀ DI PROGRAMMAZIONE ATTIVITÀ DI RECUPERO. Test d ingresso 15 I test ingresso I test ingresso possono essere utilizzti l oente, he, prim i efinire l progrmmzione itti e gli oiettivi isiplinri, ritiene opportuno ertre il possesso i luni prerequisiti prte egli llievi.

Dettagli

Momento di una forza rispettto ad un punto

Momento di una forza rispettto ad un punto Momento di un fo ispettto d un punto Rihimimo lune delle definiioni e popietà sui vettoi già disusse ll iniio del oso Podotto vettoile: ϑ ϑ sin sin θ Il vettoe è dietto lungo l pependiole l pino individuto

Dettagli

COME SOPRAVVIVERE ALLA MATEMATICA. 1. La funzione matematica e la sua utilità in economia

COME SOPRAVVIVERE ALLA MATEMATICA. 1. La funzione matematica e la sua utilità in economia COME SOPRAVVIVERE ALLA MATEMATICA di Giuli Cnzin e Dominique Cppelletti Come potrete notre inoltrndovi nel corso di Introduzione ll economi, l interpretzione dell teori economic non presuppone conoscenze

Dettagli

Catalogo dettagliato delle prestazioni 2015 (cfr. art. 14 del regolamento del fondo)

Catalogo dettagliato delle prestazioni 2015 (cfr. art. 14 del regolamento del fondo) Ctlogo ettglito elle prestzioni 2015 (cfr. rt. 14 el regolmento el fono) Prestzioni e gli OML reg. e cnt. (Slute e) Socile : Sviluppo e mntenimento i un sistem completo i formzione professionle i bse e

Dettagli

ESERCIZI ESERCIZI. Test di autoverifica... 206 Prova strutturata conclusiva... 208 ESERCIZI

ESERCIZI ESERCIZI. Test di autoverifica... 206 Prova strutturata conclusiva... 208 ESERCIZI Indice cpitolo Insiemi ed elementi di logic... 7 8 Insiemi... Operzioni con gli insiemi... 8 Introduzione ll logic... 9 Connettivi e tvole di verità... Espressioni proposizionli... 0 Predicti e quntifictori...

Dettagli

TEORIA DELLA PROBABILITÀ II

TEORIA DELLA PROBABILITÀ II TEORIA DELLA PROBABILITÀ II Diprtimento di Mtemti ITIS V.Volterr Sn Donà di Pive Versione [14-15] Indie 1 Clolo omintorio 1 1.1 Introduzione............................................ 1 1.2 Permutzioni...........................................

Dettagli

Controllo del moto e robotica industriale

Controllo del moto e robotica industriale Controllo el moto e robotia inustriale Controllo on sensori esterni Pro. Paolo Roo (paolo.roo@polimi.it) Controllo on sensori esterni Parte I Controllo ell interaione Controllo el moto e robotia inustriale

Dettagli

Equilibrio degli elementi articolati

Equilibrio degli elementi articolati UNITÀ F Equilibrio egli elementi rticolti TEORI Elementi rticolti, vincoli interni e gri i libertà Elementi rticolti isosttici: rezioni vincolri rchi tre cerniere 4 Trvi Gerber 5 Elementi reticolri 6 lcolo

Dettagli

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone Sintsi Squnzil Sinron Sintsi Comportmntl i Rti Squnzili Sinron Riuzion l numro gli stti pr Mhin Non Compltmnt Spiit Comptiilità Vrsion l 13/01/05 (Frrni( Antol) Mhin non ompltmnt spiit Sono mhin in ui

Dettagli

Immobile di via Bagnoli ex scuola elementare di Bagnoli ed area di pertinenza

Immobile di via Bagnoli ex scuola elementare di Bagnoli ed area di pertinenza ino delle Alienzioni e delle Vlorizzzioni Immobiliri Vrinte Art.58 L. 133/2008 Immobile di vi Bgnoli ex suol elementre di Bgnoli ed re di pertinenz Aree in Zon Industrile Relzione r Vigente e Vrinte Uiio

Dettagli

SOLUZIONE PROBLEMI Insegnamento di Fisica dell Atmosfera Seconda prova in itinere

SOLUZIONE PROBLEMI Insegnamento di Fisica dell Atmosfera Seconda prova in itinere Doente: rof Dino Zri serittore: in lessio Bertò OLUZION PROBLMI Insenento i Fisi ell tosfer eon rov in itinere /3 Vlori elle ostnti Rio terrestre eio: 637 Rio solre eio: 7 5 Distnz ei terr-sole : 9 6 Vlore

Dettagli

Il lemma di ricoprimento di Vitali

Il lemma di ricoprimento di Vitali Il lemm di ricoprimento di Vitli Si I = {I} un fmigli di intervlli ciusi contenuti in R. Diremo ce l fmigli I ricopre l insieme E nel senso di Vitli (oppure ce I è un ricoprimento di Vitli di E) se per

Dettagli

r i =. 100 In generale faremo riferimento al tasso unitario.

r i =. 100 In generale faremo riferimento al tasso unitario. . Operazioni finanziarie Si efinisce operazione finanziaria (O.F.) ogni operazione relativa a impegni monetari e si efinisce operazione finanziaria elementare uno scambio, tra ue iniviui, i capitali iversi.

Dettagli

Risolvere il seguente caso aziendale

Risolvere il seguente caso aziendale Risolvere il seguente so zienle Un lergo on 80 oppie nel mese i Giugno e Luglio h registrto un gro i oupzione mere el 40% i ui il 75% iit mer oppi mentre il restnte 25% mer singol. Gli rrivi i perioo sono

Dettagli