Relationsalgebra. Relationsalgebra består av en mängd operatorer som tar en eller två relationer som input och producerar en ny relation som resultat.

Relevanta dokument
SQL, nästlade delfrågor Nästlade delfrågor. En nästlda delfråga är ett select-from-where uttryck inom where-klausulen i en annan fråga.

Relationsmodellen. Relations modellen är idag den mest änvända datamodellen för kommersiella

Andra relationella språk

Avancerad SQL Kapitel 4. Databaser: Avancerad SQL. sid SQL datatyper 1 Integritetsbegränsningar 3 Auktorisering 7 Inbäddad SQL 10 Dynamisk SQL 10

I ett område utan elektriska laddningar satisfierar potentialen Laplace ekvation. 2 V(r) = 0

Relationell databasdesign

1. Kraftekvationens projektion i plattans normalriktning ger att

14. Potentialer och fält

Föreläsning 1. Elektrisk laddning. Coulombs lag. Motsvarar avsnitten i Griths.

16. Spridning av elektromagnetisk strålning

Relationsalgebra. Varför behöver jag lära mig relationsalgebra?!

sluten, ej enkel Sammanhängande område

2 S. 1. ˆn E 1 ˆn E 2 = 0 (tangentialkomponenten av den elektriska fältstyrkan är alltid kontinuerlig)

Lösningsförslag till tentamen i 5B1107 Differential- och integralkalkyl II för F1, (x, y) = (0, 0)

Ta ett nytt grepp om verksamheten

Matematisk statistik Kurskod HF1012 Skrivtid: 8:15-12:15 Lärare och examinator : Armin Halilovic

1 Två stationära lösningar i cylindergeometri

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del I

Tentamen i El- och vågrörelselära,

Företagens ekonomi Tillbakaräkning i SNI2007 NV0109

Uppdelning. Relationell databasdesign, FB Teori Låt R vara ett relationsschema. R 1, R 2,..., R n är en uppdelning av

Tvillingcirklar. Christer Bergsten Linköpings universitet. Figur 1. Två fall av en öppen arbelos. given med diametern BC.

Temperaturmätning med resistansgivare

EMPS(NAME, SALARY, DEPT)

Databaser - Design och programmering. Operationer i relationsalgebra. Att söka ut data. Exempel DBschema. Att plocka ut data, forts

Potentialteori Mats Persson

Funktionella beroenden - teori

För att bestämma virialkoefficienterna måste man först beräkna gasens partitionsfunktion då. ɛ k : gasens energitillstånd.

LE2 INVESTERINGSKALKYLERING

Storhet SI enhet Kortversion. Längd 1 meter 1 m

Databasdesign. E-R-modellen

Granskningsrapport. Projektredovisning vid Sahlgrenska Universitetssjukhuset fördjupad granskning

6 KVANTSTATISTIK FÖR IDEALA GASER

===================================================

21. Boltzmanngasens fria energi

Inlämningsuppgifter till 21/2 2003

===================================================

Skineffekten. (strömförträngning) i! Skineffekten. Skineffekten. Skineffekten. Skineffekten!

Sammanfattning av STATIK

Sammanfattande redovisning av rådslag/konferens om Folkbildningens framsyn

Frågeoptimering. Frågeoptimering kapitel 14

UPPGIFT 1. F E. v =100m/s F B. v =100m/s B = 0,10 mt d = 0,10 m. F B = q. v. B F E = q. E

Databaser - Design och programmering. Relationsmodellen. Relationer - som tabeller. Relationer som tabeller. Alternativa notationer: Relationsschema

TMV166 Linjär algebra för M. Datorlaboration 4: Geometriska transformationer och plottning av figurer

Vad är en databas? Databaser. Relationsdatabas. Vad är en databashanterare? Vad du ska lära dig: Ordlista

Reducering till relationsscheman

Datum: 11 feb Betygsgränser: För. Komplettering sker. Skriv endast på en. finns på omslaget) Uppgift. Uppgift 2 2. Uppgift. Beräkna.

LEDNINGAR TILL PROBLEM I KAPITEL 8. Vi antar först att den givna bromsande kraften F = kx är den enda kraft som påverkar rörelsen och därmed också O

2012 Tid: läsningar. Uppgift. 1. (3p) (1p) 2. (3p) B = och. då A. Uppgift. 3. (3p) Beräkna a) dx. (1p) x 6x + 8. b) x c) ln. (1p) (1p)

TSRT91 Reglerteknik: Föreläsning 3

GRADIENT OCH RIKTNINGSDERIVATA GRADIENT. Gradienten till en funktion f = f x, x, K, innehåller alla partiella derivator: def. Viktig egenskaper:

Den geocentriska världsbilden

K2 Något om modeller, kompakthetssatsen

Fö. 3: Ytspänning och Vätning. Kap. 2. Gränsytor mellan: vätska gas fast fas vätska fast fas gas (mer i Fö7) fast fas fast fas (vätska vätska)

Frågespråk mot relationsmodellen

Vi börjar med att dela upp konen i ett antal skivor enligt figuren. Tvärsnittsareorna är då cirklar.

Lösningar till tentamen i tillämpad kärnkemi den 10 mars 1998 kl

Angående kapacitans och induktans i luftledningar

PCP-satsen på kombinatoriskt manér

Finansiell ekonomi Föreläsning 3

Tentamen i matematisk statistik, Statistisk Kvalitetsstyrning, MSN320/TMS070 Lördag , klockan

{ ( )} = X s. ( ) /< t. Stabilitet för energifria LTI-system. L{ } e(t) i 0 (t) E(s) I 0 (s) ( ) ( )e st 0. Kretsberäkningar, linjära RLMC-nät

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

APL Hud Läkemedel för behandling av hudsjukdomar

APL Smärta Läkemedel för behandling av smärta

Föreläsning 5: Relationsmodellen

SAMMANFATTNING OM GRADIENT, DIVERGENS, ROTATION, NABLAOPERATOR

TENTAMEN. Datum: 5 juni 2019 Skrivtid 14:00-18:00. Examinator: Armin Halilovic, tel

=============================================== Plan: Låt π vara planet genom punkten P = ( x1,

Vi kan printlösningar

Laborationsregler. Förberedelser. Laborationen. Inlämning av skriftlig redovisning. Säkerhet. Missade laborationstillfällen. Laborationsredovisning

1 Etnicitet i rekryteringssammanhang -En jämförelse mellan privat och offentlig sektor

Euklides algoritm för polynom

Tentamen 1 i Matematik 1, HF sep 2015, kl. 8:15-12:15

APL Sjuksköterskor Förskrivningsbara preparat för sjuksköterskor med förskrivningsrätt

Ett databashanteringssystem (DBHS) skiljer sig från andra programmeringssystem bl.a.

Uppsala universitet Institutionen för lingvistik och filologi. Grundbegrepp: Mängder och element Delmängder

Nationell satsning för ökad patientsäkerhet

Vad är en databas? Databaser. Relationsdatabas. Vad är en databashanterare? Vad du ska lära dig: Ordlista

TSIU61: Reglerteknik. Regulatorsyntes mha bodediagram (1/4) Känslighet Robusthet. Sammanfattning av föreläsning 7

Kap.7 uppgifter ur äldre upplaga

Scenario 1: Vi får bidrag och ca 10 kommuner. Scenario 2: Vi får bidrag och ca 20 kommune r

Programdesign, databasdesign. Databaser - Design och programmering. Funktioner. Relationsmodellen. Relation = generaliserad funktion.

KTH Matematik B.Ek Lösningar tentamen 5B1928 Logik för D (och IT), 29 augusti 2007

Gravitation och planetrörelse: Keplers 3 lagar

REDOVISNINGSUPPGIFT I MEKANIK

INGENJÖRSMATEMATISK FORMELSAMLING

m a g a s i n n y h e t s s a j t n y h e t s b r e v e t n d i r e k t t i d n i n g e n s o m ä l s k a r e l e k t r o n i k å r e t r u n t

Formelsamling i Hållfasthetslära för F

2MA105 Algebraiska strukturer I. Per-Anders Svensson

APL Sjuksköterskor Förskrivningsbara preparat för sjuksköterskor med förskrivningsrätt

Formler och tabeller till kursen MSG830

BILDFYSIK. Laborationsinstruktioner LABORATIONSINSTRUKTIONER. Fysik för D INNEHÅLL. Laborationsregler sid 3. Experimentell metodik sid 5

Kapitel 8. Kap.8, Potentialströmning

Mekanik för I, SG1109, Lösningar till problemtentamen,

APL Hud Läkemedel för behandling av hudsjukdomar

E-handel Ur ett geografiskt konsumentperspektiv

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

Övning 3 Fotometri. En källa som sprider ljus diffust kallas Lambertstrålare. Ex. bioduk, snö, papper.

Tryckfel i K. Vännman, Matematisk Statistik, upplaga 2:13

Transkript:

Database: Relationsalgeba 2-11 Relationsalgeba Relationsalgeba bestå av en mängd opeatoe som ta en elle två elatione som input och poducea en ny elation som esultat. De fundamentala opeationena ä unäa opeatoe select σ (sigma) poject Π (pi) ename ρ (ho) binäa opeatoe union (union) mängd diffeens (minus) Katesisk podukt (kyss) Vi definiea exta opeatione som inte öka stykan av elationsalgeban, men som föenkla vanliga fågo. De exta opeationena ä mängd intesektion (snitt) natulig join division tilldelning

Database: Relationsalgeba 2-12 C D α α 1 7 α β 5 7 β β 12 10 β α 23 3 C D α α 1 7 α β 5 7 β β 12 10 β α 23 3 σ A=B D>5 () C D α α 1 7 β β 12 10 Π A, D () A D β 10 β 3 Π A, D () A D β 10 β 3 Selekt Pojekt α 1 β 5 s β 1 s α 1 β 5 β 1 Union { (α,7), (α,1), (β,5)} { (α,7), (β,1)} = { (α,7), (α,1), (β,5), (β,1) } { (α,7), (α,1), (β,5)} { (α,7), (β,1)} = { (α,1), (β,5) } α 1 β 5 s β 1 s α 1 β 5 Diffeens α 1 β 2 s C D E α 10 a β 10 a β 20 b γ 10 b s C D E α 1 α 10 a α 1 β 10 a α 1 β 20 b α 1 γ 10 b β 2 α 10 a β 2 β 10 a β 2 β 20 b β 2 γ 10 b Katesisk podukt

Database: Relationsalgeba, fundamentala opeatoe 2-13 Fundamentala opeatoe i elationsalgeba Select opeationen not.: σ P () Välje ut, u en elation, tuple som satisfiea ett givet pedikat. Def.: σ p ( ) = { tt pt ()} dä ä ett elationsnamn och p en fomel i popositionskalkylen bestående av teme sammanbundna av (and), (o), (not). Vaje tem ä en av: <attibut> op <attibut> <attibut> op <konstant> dä op ä en av: =,, <,, >, Ex.: σ banch_name = "Downtown" (loan) loan loan_numbe banch_name amount L-11 Round Hill 900 L-14 Downtown 1500 L-15 Peyidge 1500 L-16 Peyidge 1300 L-17 Downtown 1000 L-23 Redwood 2000 L-93 Mianus 500 loan_numbe banch_name amount L-14 Downtown 1500 L-17 Downtown 1000

Database: Relationsalgeba, fundamentala opeatoe 2-14 Poject-opeationen not.: Π A () 1, A 2,..., A k Välje ut en elle flee attibut u en elation Def.: Π A1, A 2,, A k ( ) dä A i ä attibutnamn och ä ett elationsnamn. Resultatet definieas som den elation med k kolonne som ehålls genom att styka de kolonne u som ej ä listade. Duplikat ade avlägsnas fån elationen, ty elatione ä mängde. Ex.: Π loan_numbe, amount (loan) loan_numbe amount L-11 900 L-14 1500 L-15 1500 L-16 1300 L-17 1000 L-23 2000 L-93 500 loan loan_numbe banch_name amount L-11 Round Hill 900 L-14 Downtown 1500 L-15 Peyidge 1500 L-16 Peyidge 1300 L-17 Downtown 1000 L-23 Redwood 2000 L-93 Mianus 500 Eftesom esultatet av en opeation ä en elation kan elationsalgebaiska opeatione sammansättas till elationsalgebaiska uttyck Ex.: Π loan_numbe, amount (σ banch_name = "Downtown" (load)) loan_numbe amount L-14 1500 L-17 1000 loan_numbe banch_name amount L-14 Downtown 1500 L-17 Downtown 1000

Database: Relationsalgeba, fundamentala opeatoe 2-15 Union-opeationen not.: s Resultat elationen fö union opeationen s innehålle de tuple som ingå i den ena elle båda input elationena. Def.: s = { tt t s} Fö att s skall vaa giltigt : 1. och s måste ha samma aitet (samma antal attibut). 2. Attibutdomänena måste vaa kompatibla (den i:te kolonnen i måste innehålla samma typs väden som den i:te kolonnen i s, fö vaje i. Ex.: Π custome_name (boowe) Π custome_name (deposito) custome_name Adams Cuy Jackson Williams custome_name Johnsson Lindsay Tune En elation ä en mängd inga dublette custome_name Adams Cuy Jackson Williams Johnsson Lindsay Tune Pesone som ha antingen lån elle konto, elle båda. boowe custome_name loan_numbe Adams L-16 Cuy L-93 L-15 Jackson L-14 L-17 L-11 L-23 Williams L-17 deposito custome_name account_numbe A-102 Johnsson A-101 Johnsson A-201 A-217 Lindsay A-222 A-215 Tune A-305

Database: Relationsalgeba, fundamentala opeatoe 2-16 Mängddiffeens-opeationen not.: s Resultatelationen fö diffeens opeationen -s innehålle de tuple som ingå i men ej i s. Def.: s = { tt t s} Input elationena måste vaa kompatibla, dvs.: och s måste ha samma aitet. attibut domänena av och s måste vaa kompatibla. Ex.: Π custome_name (boowe) Π custome_name (deposito) custome_name Adams Cuy Jackson Williams custome_name Johnsson Lindsay Tune custome_name Adams Cuy Jackson Williams Pesone som ha lån men ej konto. boowe custome_name loan_numbe Adams L-16 Cuy L-93 L-15 Jackson L-14 L-17 L-11 L-23 Williams L-17 deposito custome_name account_numbe A-102 Johnsson A-101 Johnsson A-201 A-217 Lindsay A-222 A-215 Tune A-305

Database: Relationsmodellen, fundamentala opeatoe 2-17 Katesiskpodukt-opeationen not.: s Kombinea infomationen i två elatione. Def.: s = { tq t q s} Antag att attibuten i R ( ) och ss ( ) ä disjunkta, dvs. R S =. Om attibuten (R) och s(s) inte ä disjunkta, så måste enaming användas. Eftesom attibuten i input elationena kan ha samma namn fölängs attibutnamnen med elationens namn i esultatelationen vid behov. boowe custome_name loan_numbe Adams L-16 Cuy L-93 L-15 Jackson L-14 L-17 L-11 L-23 Williams L-17 loan loan_numbe banch_name amount L-11 Round Hill 900 L-14 Downtown 1500 L-15 Peyidge 1500 L-16 Peyidge 1300 L-17 Downtown 1000 L-23 Redwood 2000 L-93 Mianus 500 boowe loan custome_name boowe.loan_numbe loan.loan_numbe banch_name amount Adams L-16 L-11 Round Hill 900 Adams L-16 L-14 Downtown 1500 Adams L-16 L-15 Peyidge 1500 Adams L-16 L-16 Peyidge 1300 Adams L-16 L-17 Downtown 1000 Adams L-16 L-23 Redwood 2000 Adams L-16 L-93 Mianus 500 Cuy L-93 L-11 Round Hill 900 Cuy L-93 L-14 Downtown 1500 Cuy L-93 L-15 Peyidge 1500 Cuy L-93 L-16 Peyidge 1300 Cuy L-93 L-17 Downtown 1000 Cuy L-93 L-23 Redwood 2000 Cuy L-93 L-93 Mianus 500 L-15 L-11 Round Hill 900............... Williams L-17 L-93 Mianus 500 Innehålle 8 7 = 56 element

Database: Relationsalgeba, fundamentala opeatoe 2-18 Resultatelationen fö ett elationsalgebaiskt uttyck ha inget namn. Ett namn behövs fö att kunna efeea till elationen. Rename-opeationen not.: ρ x (E), ρ (E) x(a 1, A 2,..., A n ) Tillåte oss att namnge, och således efeea till, esultaten av elationsalgebaiska uttyck. efeea till en elation med mea än ett namn. Def.: ρ x ( E) Retunea uttycket E unde namnet x. Tillåte oss att ge nya namn åt attibuten i en elation Def.: Låt det elationsalgebaiska uttycket E ha aiteten n. ρ x ( A1, A 2,, A n ) ( E) Retunea uttycket E unde namnet x, och med attibut med de nya namnen A 1, A 2,...,A n. Ex.: ρ lantagae(kundnamn) ( Π custome_name (boowe) ) lantagae kundnamn Adams Cuy Jackson Williams Rename-opeationen behövs om en elation ingå me än en gång i en opeation.

Database: Relationsalgeba, fomell definition 2-19 Relationsalgeba - fomell definition Ett basuttyck i elationsalgeba bestå av antingen en elation i en databas elle en konstant elation En konstant elation skivs i fomen {(tupel) (tupel)... (tupel)} Ex.: {(L-15, Peyidge,1500) (L-23, Redwood, 2000)} Ett geneellt uttyck i elationsalgeba konstueas av minde deluttyck. Låt E 1 och E 2 vaa elationsalgebaiska uttyck; då ä följande alla uttyck i elationsalgeba: E 1 E 2 E 1 E 2 E 1 E 2 σ P (E 1 ), dä P ä ett pedikat på attibut i E 1 Π S (E 1 ), dä S ä en lista bestående av någa av attibuten i E 1 ρ x (E 1 ), dä x ä det nya namnet fö esultatet av E 1

Database: Relationsalgeba, exta opeatoe 2-20 M.h.a. de fundamentala elationalgebaiska opeationena kan vilken fåga som helst uttyckas. Men uttycken bli ofta långa vafö exta opeatione definieats. Exta opeatione i elationsalgeba α 1 β 5 C D α 1 α a β 2 γ a γ 4 β b α 1 γ a δ 2 β b s β 1 s B D E 1 a α 3 a β 1 a γ 2 b δ 3 b ε s s C D E α 1 α a α α 1 α a γ α 1 γ a α α 1 γ a γ δ 2 β b δ Intesektion { (α,7), (α,1), (β,5)} { (α,7), (β,1)} = { (α,7) } Natulig join C D E α a α a 1 α a γ a 1 α a γ b 1 β a γ a 1 β a γ b 3 γ a γ a 1 γ a γ b 1 γ a a b 1 s D E a 1 b 1 s C α a γ γ a γ Division B D E 1 a α 3 a β 1 a γ s B D E 1 a α 3 a β 1 a γ Tilldelning

Database: Relationsalgeba, exta opeatoe 2-21 Intesektion-opeationen not.: s (snitt ) Resultat elationen fö intesektion opeationen s innehålle de tuple som ingå i både och s. Def.: s = { tt t s} Input elationena måste vaa kompatibla. Obs! s = ( s ) Ex.: Π custome_name (boowe) Π custome_name (deposito) = Π custome_name (boowe) (Π custome_name (boowe) Π custome_name (deposito)) custome_name Adams Cuy Jackson Williams custome_name Johnsson Lindsay Tune custome_name Adams Cuy Jackson Williams Pesone som ha lån men ej depositione custome_name Pesone som ha både lån och depositione boowe custome_name loan_numbe Adams L-16 Cuy L-93 L-15 Jackson L-14 L-17 L-11 L-23 Williams L-17 deposito custome_name account_numbe A-102 Johnsson A-101 Johnsson A-201 A-217 Lindsay A-222 A-215 Tune A-305

Database: Relationsalgeba, exta opeatoe 2-22 Natulig join-opeationen not.: s Natulig join opeationen välje ut de tuple u den katesiska podukten fö input elationena som ha samma väden på attibut med samma namn. Def.: Låt och s vaa elatione på schema R esp. S. Då ä s en elation på schema R S som fås enligt: Betakta vaje pa av tuple t fån och t s fån s. Om t och t s ha samma väde på vat och ett av attibutena i R S, lägg till en tupel t till esultatet dä t ha samma väde som t på t ha samma väde som t s på s dvs.: s = Π R S ( σ.a1 = s.a 1.A 2 = s.a 2.A n = s.a ( s) ) n dä R S = { A 1, A 2,..., A n }. Ex.: boowe loan =? vilken fåga besvaas Π custome_name, loan_numbe, banch_name, amount (σ boowe.loan_numbe = (boowe loan)) loan.loan_numbe boowe custome_name loan_numbe Adams L-16 Cuy L-93 L-15 Jackson L-14 L-17 L-11 L-23 Williams L-17 loan loan_numbe banch_name amount L-11 Round Hill 900 L-14 Downtown 1500 L-15 Peyidge 1500 L-16 Peyidge 1300 L-17 Downtown 1000 L-23 Redwood 2000 L-93 Mianus 500

Database: Relationsalgeba, exta opeatoe 2-23 Ex.: boowe loan = Π custome_name, loan_numbe, banch_name, amount (σ boowe.loan_numbe = loan.loan_numbe (boowe loan)) custome_name boowe.loan_numbe loan.loan_numbe banch_name amount Adams L-16 L-11 Round Hill 900 Adams L-16 L-14 Downtown 1500 Adams L-16 L-15 Peyidge 1500 Adams L-16 L-16 Peyidge 1300 Adams L-16 L-17 Downtown 1000 Adams L-16 L-23 Redwood 2000 Adams L-16 L-93 Mianus 500 Cuy L-93 L-11 Round Hill 900 Cuy L-93 L-14 Downtown 1500 Cuy L-93 L-15 Peyidge 1500 Cuy L-93 L-16 Peyidge 1300 Cuy L-93 L-17 Downtown 1000 Cuy L-93 L-23 Redwood 2000 Cuy L-93 L-93 Mianus 500 L-15 L-11 Round Hill 900............... custome_name Williams boowe.loan_numbe L-17 loan.loan_numbe L-93banch_name Mianus amount 500 Adams L-16 L-16 Peyidge 1300 Cuy L-93 L-93 Mianus 500 L-15 L-15 Peyidge 900 Jackson L-14 L-14 Downtown 1500 L-17 L-17 Downtown 1000 L-11 L-11 Round Hill 900 L-23 L-23 Redwood 2000 Williams L-17 L-17 Downtown 1000 custome_name loan_numbe banch_name amount Adams L-16 Peyidge 1300 Cuy L-93 Mianus 500 L-15 Peyidge 900 Jackson L-14 Downtown 1500 L-17 Downtown 1000 L-11 Round Hill 900 L-23 Redwood 2000 Williams L-17 Downtown 1000 Pesone som ha lån samt lånets numme, gen och lånebelopp.

Database: Relationsalgeba, exta opeatoe 2-24 Divisions-opeationen not.: s Antag att elation innehålle alla attibut som ingå i elation s. Divisions opeationen s välje ut de tuple (med de attibut som ej ingå i s) u som fö vaje tupel i s ha samma väden Def.: Låt och s vaa elatione på schema R esp. S. Låt S R. Relationen s ä en elation på schema R S. En tupel t ä i s omm: 1 t tillhö Π R-S () 2 Fö vaje tupel t s i s finns en tupel t i som satisfiea t [S] = t s [S] t [R - S] = t Obs! s = Π R-S () Π R-S ((Π R-S () s) Π R-S,S ()) Ex.: Π custome_name, banch_name (deposito account) Π banch_name (σ banch_city = Booklyn (banch)) custome_name Johnsson Johnsson Lindsay Tune banch_name Peyidge Downtown Bighton Bighton Redwood Mianus Round Hill banch_name Bighton Downtown genana i Booklyn banch banch_name banch_city assets Bighton Booklyn 7100000 Downtown Booklyn 9000000 Mianus Hoseneck 400000 Noth Town Rye 3700000 Peyidge Hoseneck 1700000 Pownal Bennington 300000 Redwood Palo Alto 2100000 Round Hill Hoseneck 8000000 custome_name Johnsson deposito custome_name account_numbe A-102 Johnsson A-101 Johnsson A-201 A-217 Lindsay A-222 A-215 Tune A-305 Pesone som ha konton i alla gena i Booklyn account account_numbe banch_name balance A-101 Downtown 500 A-102 Peyidge 400 A-201 Bighton 900 A-215 Mianus 700 A-217 Bighton 750 A-222 Redwood 700 A-305 Round Hill 350

Database: Relationsalgeba, exta opeatoe 2-25 Tilldelnings-opeationen not.: E Tilldelningsopeationen ge ett bekvämt sätt att uttycka komplexa fågo: Tillåte att en fåga skivs som ett sekventiellt pogam bestående av en seie av tilldelninga följda av ett uttyck vas väde visas som esultat av fågan Tilldelning måste alltid ske till en tempoä elationsvaiabel. Ex.: s kan skivas som temp1 Π R-S () temp2 Π R-S ((temp1 s) Π R-S,S ()) esult temp1 temp2