Kuna relvar on relatsiooni tüüpi, siis iga selle väärtus on relatsioon. Relatsioon koosneb päisest ja kehandist, kusjuures relatsiooni päis vastab selle tüübi päisele. Päis esitab üldistatud väite e. predikaadi reaalse maailma kohta. Predikaat on tõeväärtusfunktsioon kõigi parameetrite asendamisel väärtustega saadakse väide, mis on kas tõene või väär. Kehand koosneb korteezidest. Iga korteez esitab tõese väite reaalse maailma kohta. See väide saadakse päise poolt esitatud predikaadis parameetrite asendamisel väärtustega. Relatsiooniline mudeli terminid: Relatsiooniline andmemudel kui abstraktne programmeerimiskeel näeb ette relatsiooniliste muutujate kasutamise. 4. Kandidaatvõti, supervõti (primary key) (teema 2) Relvari R supervõti on R atribuutide hulk K, mille korral mistahes R lubatud väärtuseks
Mis on hulkade ristkorrutis?
Kahe hulga AxB ristkorrutis on järjestatud paaride
Viidete terviklikkus: igale välisvõtmele peab vastama seotud tabelis mingi kandidaatvõti, mis pole NULL. • Kuidas moodustuvad relatsioonilises mudelis andmete vahelised seosed? (valisvotmetesse kuuluvate atribuutide vaartuste abil. Relatsioonid on seotud välisvõtmetega. Ühes tabelis on välisvõti ja teises sellega seotud kandidaatvõti) • Suletud maailma eeldus. (Iga antud ajahetkel relatsioonis asuv korteez, esitab sellel ajahetkel toest vaidet. Kui antud ajahetkel voiks relatsioonis sisalduda mingi ̈ korteez, kuid see korteez seal tegelikult ei sisaldu, siis jarelikult see korteez ̌ esitab vale väite.) • Informatsiooni uhtse esitamise printsiip. (kogu relatsioonilises andmebaasis hoitav informatsioon esitatakse vaid uhel viisil – relatsiooni atribuutide vaartustena) Teema 3 (relatsioonialgebra)
ka puududa. Seose mõte on, et nad loovad meile lisainformatsiooni. Seosed ongi suure osa info tekitajad süsteemis, sest nad näitavad mis on millega seotud.Juhul kui kahe relatsiooni vahel on suhe ja suhtes osaleva primaarse relatsiooni primaarvõti sisaldab mitu atribuuti (on liitvõti), siis peab seotud relatsiooni välisvõti sisaldama vastavaid atribuute (olema samuti liitvõti). Suletud maailma eeldus. Iga antud ajahetkel relatsioonis asuv korteez, esitab sellel ajahetkel tõest väidet. Kui antud ajahetkel võiks relatsioonis sisalduda mingi korteez, kuid see korteez seal tegelikult ei sisaldu, siis järelikult see korteez esitab vale väite. Informatsiooni ühtse esitamise printsiip Kogu relatsioonilises andmebaasis hoitav informatsioon esitatakse vaid ühel viisil relatsiooni atribuutide väärtustena. Relatsioonialgebra põhimõisted Relatsioonilisele andmemudelile rakendub matemaatika haru, mida
novembril 11:38 saabus president Dallasesse. Lennujaamahoone kihas politsenikest ning kohal oli nii poolehoidjaid kui vastaseid. Kennedy kätles fännidega ning viidi suure tumesinise Lincolniga ära. Kell 11:55 hakkas kolonn mootorratturitest eskordi saatel liikuma. Kennedyd olid ihukaitsjatest ümbritsetud, lisaks osalesid rongkäigus veel Texase kuberner John B. Connaly enda naise Nelliga ning asepresident Lyndon B. Johnson enda abikaasaga. Mida kesklinnale lähemale korteez jõudis, seda rohkem pidid nad kiirust vähendama. Kesklinnas oli aplaus presidendi tervitamiseks väga tugev. Kell oli 12:30, kui Kennedy möödus kooliõpikute laost, kus varjas end Lee Harvey Oswald, ning kõlasid lasud. Esimene lask läks läbi presidendi hingetoru ning vigastas Texase kubernerigi. Teine lask tabas John Kennedyt pähe, kolmas läks mööda. Rahvas oli juhtunust vapustatud. Parklandi Memoriaalhaiglas tegid arstid
võib masin minna olekust s olekusse t).
Üleminekufunktsioon:
· ([tBx1][x1Cx2][x2Dx3],*) p' (a, [sAx3],*) iga oleku x1x2x3 korral, kui
automaadi M korral (BCD,t) p(a,A,s)
· (,*) p'(a,[sAt],*), kui M korral kehtib (,t) kuulub p(a,A,s)
· p'(,#,*) = {([q0,$,x], *) | x on olek}
Masina tööa algab sammudega (w,#,*)(w,[q0,$q],*)
Igale masina konfiguratsioonile (w,[q1A1q2][q2A2q3]... [qn-1Anqn],*) vastab
korteez
Nt liitmisfunktsiooni väärtus ei muutu, kui argumendid ara vahetada. Ent see ei tähenda, et neid ei esitata kindlas järjekorras. 2 + 3 annab sama tulemuse, mis 3 + 2, ent ometi liidetakse esimesel juhul kolmele kaks ja teisel juhul kahele kolm. Kolme muutuja funktsiooni korral on tegemist argumentide väärtuste järjestatud kolmikuga jne. Need kõik on erijuhtumid lõplikust jadast. Olgu n suvaline naturaalarv. Lõplik jada pikkusega n kannab nimetusi järjend ehk n-korteez ehk järjestatud ennik (n-tuple). Lauseloogikat on võimalik õppida kasutades ära ettekujutust koolialgebrast ja sealsetest tehetest. Algebraline tehe on funktsioon, mis on defineeritud ühe hulga põhjal ning seda nimetatakse kõnealuse algebra kandvaks hulgaks. See hulk on funktsiooni kõikide argumentide määramispiirkonnaks ning funktsiooni sihthulgaks. Kui defineeritakse mingi algebraline süsteem ehk universaalalgebra, siis defineeritakse komplekt algebralisi tehted koos kandva
annaabi.ee 
