MODEL OBJEKTI - VEZE MODEL OBJEKTI - VEZE KONCEPTI MODELA METODOLOGIJA MODELIRANJA

Σχετικά έγγραφα
Teorijske osnove informatike 1

Pravilo 1. Svaki tip entiteta ER modela postaje relaciona šema sa istim imenom.

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

3.1 Granična vrednost funkcije u tački

Operacije s matricama

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

DISTRIBUIRANA OBRADA I RELACIONE BAZE PODATAKA

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović

Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama.

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).

ELEKTROTEHNIČKI ODJEL

Dve karakteristike čine relacioni model još uvek najpopularnijim i najšire primenjivanim:

SISTEMI NELINEARNIH JEDNAČINA

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

Zavrxni ispit iz Matematiqke analize 1

5. Karakteristične funkcije

PID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).

Matematička logika. novembar 2012

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,

Klasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f

IZRAČUNAVANJE POKAZATELJA NAČINA RADA NAČINA RADA (ISKORIŠĆENOSTI KAPACITETA, STEPENA OTVORENOSTI RADNIH MESTA I NIVOA ORGANIZOVANOSTI)

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

Ispitivanje toka i skiciranje grafika funkcija

numeričkih deskriptivnih mera.

Računarska grafika. Rasterizacija linije

Elementi spektralne teorije matrica

Sistemi veštačke inteligencije primer 1

Neka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B.

Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A

1. Pojam fazi skupa. 2. Pojam fazi skupa. 3. Funkcija pripadnosti, osobine i oblici. 4. Funkcija pripadnosti, osobine i oblici

Mašinsko učenje. Regresija.

III VEŽBA: FURIJEOVI REDOVI

Funkcije. Predstavljanje funkcija

APROKSIMACIJA FUNKCIJA

Osnovne teoreme diferencijalnog računa

Program testirati pomoću podataka iz sledeće tabele:

Verovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

18. listopada listopada / 13

41. Jednačine koje se svode na kvadratne

MATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori

Funkcije dviju varjabli (zadaci za vježbu)

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1

Svaki red se može jednoznačno odrediti (postoji primarni ključ)

Osnovne karakteristike: Sve se predstavlja relacijama (tabelama) Zasniva se na strogoj matematičkoj teoriji Minimalna redundansa podataka Jednostavno

IZVODI ZADACI (I deo)

Računarska grafika. Rasterizacija linije

RIJEŠENI ZADACI I TEORIJA IZ

Doc. dr. sc. Markus Schatten. Zbirka rješenih zadataka iz baza podataka

2log. se zove numerus (logaritmand), je osnova (baza) log. log. log =

DRUGI KOLOKVIJUM IZ MATEMATIKE 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. je neprekidna za a =

INTELIGENTNO UPRAVLJANJE

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

Kaskadna kompenzacija SAU

Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.

1.4 Tangenta i normala

OSNOVI ELEKTRONIKE VEŽBA BROJ 1 OSNOVNA KOLA SA DIODAMA

SKUPOVI I SKUPOVNE OPERACIJE

Zadaci iz Osnova matematike

7 Algebarske jednadžbe

( ) π. I slučaj-štap sa zglobovima na krajevima F. Opšte rešenje diferencijalne jednačine (1): min

Riješeni zadaci: Nizovi realnih brojeva

radni nerecenzirani materijal za predavanja

1 Afina geometrija. 1.1 Afini prostor. Definicija 1.1. Pod afinim prostorom nad poljem K podrazumevamo. A - skup taqaka

Dijagonalizacija operatora

3n an = 4n3/2 +2n+ n 5n 3/2 +5n+2 n a 2 n = n 2. ( 2) n Dodatak. = 0, lim n! 2n 6n + 1

Projektovanje informacionih sistema 39

Elektrotehnički fakultet univerziteta u Beogradu 17.maj Odsek za Softversko inžinjerstvo

Matematika 1 - vježbe. 11. prosinca 2015.

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1.

STRUKTURNA SISTEMSKA ANALIZA

Iskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.

4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.

FTN Novi Sad Katedra za motore i vozila. Teorija kretanja drumskih vozila Vučno-dinamičke performanse vozila: MAKSIMALNA BRZINA

Betonske konstrukcije 1 - vežbe 3 - Veliki ekscentricitet -Dodatni primeri

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

Obrada signala

STATIČKE KARAKTERISTIKE DIODA I TRANZISTORA

OM2 V3 Ime i prezime: Index br: I SAVIJANJE SILAMA TANKOZIDNIH ŠTAPOVA

nvt 1) ukoliko su poznate struje dioda. Struja diode D 1 je I 1 = I I 2 = 8mA. Sada je = 1,2mA.

RAČUNSKE VEŽBE IZ PREDMETA POLUPROVODNIČKE KOMPONENTE (IV semestar modul EKM) IV deo. Miloš Marjanović

U raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije.

Trigonometrija 2. Adicijske formule. Formule dvostrukog kuta Formule polovičnog kuta Pretvaranje sume(razlike u produkt i obrnuto

OSNOVI ELEKTRONIKE. Vežbe (2 časa nedeljno): mr Goran Savić

5 Ispitivanje funkcija

Inženjerska grafika geometrijskih oblika (5. predavanje, tema1)

Glava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije

DIMENZIONISANJE PRAVOUGAONIH POPREČNIH PRESEKA NAPREGNUTIH NA PRAVO SLOŽENO SAVIJANJE

Riješeni zadaci: Limes funkcije. Neprekidnost

Linearna algebra 2 prvi kolokvij,

Trigonometrijske nejednačine

8 Funkcije više promenljivih

Transcript:

MODEL OBJEKTI - VEZE MODEL OBJEKTI - VEZE KONCEPTI MODELA METODOLOGIJA MODELIRANJA

MODELI PODATAKA Model objekti-veze Relacioni model Objektni model Objektno-relacioni model Aktivne baze podataka XML kao model podataka 2

MODEL OBJEKTI - VEZE Model objekti-veze je najpopularniji i u praksi projektovanja BP najviše korišćeni konvencionalni model podatka. Postoji više različitih verzija ovog modela. Ovde se izlaže verzija koja polazi od originalne Chen-ove verzije i notacije. Biće prikazana i notacija standarda IDEF1X, na kome se bazira CASE alat ERwin, veoma često korišćeni alat za modeliranje podataka preko Modela objekti veze. 3

OSNOVNI KONCEPTI PMOV (1,1)Radi Zapo{ ljava (0,M) Radnik Zapo{ ljavanje Odelenje (0,1)Rukovodi Rukovo eno (1,1) (0,M) Pravi Rukovo enje Asortiman (0,M) Sastavljen (0,M) Napravljen Struktura Proizvod (0,M) Ugra en 4

Definicija atributa Matbr Adrese Jezici Imena [ ifraodel (1,1)Mlb (1,M)ZnaJezik (1,1)Adresa (1,1)ImeR (1,1)NazivOd (1,1)[ ifod (1,1)Radi Zapo{ ljava (0,M) Radnik Zapo{ ljavanje Odelenje (1,1)Starost Godine (0,1)Rukovodi Rukovo eno (1,1) (1,M) Isplate Rukovo enje Plate Mlb: Radnik ----> Matbr (1,1) ImeR: Radnik ----> Imena (1,1) ZnaJezik: Radnik ----> Jezici (1,M) 5

Definicija atributa - rekapitulacija U MOV se ne koriste višeznačni atributi Svi atributi moraju da budu primenljiva svojstva na sve objekte u odgovarajućoj klasi. Zbog toga je donja granica kardinalnosti atributa (preslikavanje KLASA--- >DOMEN) uvek DG = 1. Kako se ne koriste višeznačni atributi, to je za ovo preslikavanje i GG = 1, pa se kardinalnosti atributa ne moraju predstavljati na DOV 6

Definicija atributa - rekapitulacija Atributi identifikatori objekata mogu se posebno označiti (na primer sa zvezdicom, ili podvlačenjem). U MOV se ne koriste semantički domeni, niti se može uspostaviti bilo kakva veza između atributa jedne ili više klasa. 7

Jezici NazivJ ImeR 0,M Adresa Zna [ifod* NazivOd Mlb* Starost ZnaJezik 1,M (1,1)Radi Zapo{ ljava (0,M) Radnik Zapo{ ljavanje Odeljenje (1,M) (0,1)Rukovodi Rukovo eno (1,1) Datum Rukovo enje Iznos Isplate 8

Pored Dijagrama objekti veze, neophodno je dati i definiciju atributa, odnosno njihovih domena. U sledećoj tabeli dati su primeri definicija atributa sa ograničenjima: ATRIBUT DOMEN OGRANIČENJE Mlb long NotNull And Substring(1,2) Between 1,31 And Substring(3,4) Between 1,12... NazivJ string In(Srpski, Ruski, Engleski, Nemački) Adresa Datum string date Starost short Between 15,65 ŠifOd short Moduo_11 Tabela 2.1. Definicija atributa sa ograničenjima 9

GENERALIZACIJA - SPECIJALIZACIJA Mlb* Ime Starost Gra anin BrojInd Semestar S Vrsta (0,M) Penzija Student Radnik Dete Penzioner Plata S RadniOdnos(1,1) Dodatak Zanimanje(0,1) Daktilograf Voza~ Lekar S Satnica KlasaDakt KlasaVoz Specijalnost Stalni Privremeni RadnoMesto 10

AGREGACIJA I DEKOMPOZICIJA BrojInd Ime DatumPol Ocena [ifpred NaziPred Student (0,M) Prijava (0,M) Predmet (1,1) Smer [ ifranast Overe ImeNast (0,M) Nastavnik Zvanje Slika 2.5. Agregacija (dekompozicija) 11

AGREGACIJA I DEKOMPOZICIJA Dobavlja~ (0,M) Obskrba (0,M) Proizvod (0,M) Projekat Slika 2.6. Višestruke veze između objekata agregacija 12

13 Kola RegBroj Marka Boja Parkira Student Imaju Roditelj Ime BrojInd Semestar Mlb ImeRod Prijava Predmet Datum Ocena NazivPred Nastavnik Predaje [ifpred [ifnast ImeNast Registr S Vanredni. Zanimanje Preduze} e Zaposl RegBroj NazivPred Katedra Pripada [ifkat NazivKat Projekat U~estv. Zadatak [ifproj NazivProj [ifzad NazivZad OpisZad (1,1) (0,1) (0,M) (1,M) (0,M) (1,M) Vrsta(0,1) (0,M) (0,M) (0,1) (0,M) (1,1) (1,M) (1,M) (0,M) (),M) (1,1) (0,M) DOV za fakultetski IS

OGRANIČENJA Strukturna ograničenja (ograničenja na preslikavanja), koja su prikazana na samom modelu; Vrednosna ograničenja (ograničenja na vrednosti atributa): Prosta ograničenja na vrednosti pojedinačnih atributa Složena ograničenja koja povezuju vrednosti više atributa istog i/ili različitih objekata. Moguće je definisati formalni jezik za iskazivanje vrednosnih ograničenja. 14

Jezik za iskazivanje vrednosnih ograničenja Za iskazivanje vrednosnih ograničenja koriste se formule tzv. Objektnog računa. Pod Objektnim računom se ovde podrazumeva Predikatski račun prvog reda u kome promenljive uzimaju vrednosti iz definisanih klasa objekata u sistemu. Činjenica da promenljiva uzima vrednost iz neke klase objekta označava se na sledeći način: x : O, gde je x pojavljivanje, a O klasa nekog objekta, odnosno promenljiva x uzima vrednosti iz skupa pojavljivanja objekta O. x' označava vrednost promenljive pre operacije ažuriranja, dok x označava vrednost promenljive posle operacije ažuriranja. Obe vrednosti su neophodne da bi se iskazala dozvoljena promena stanja u modelu podataka. 15

Takozvana "dot notacija" se koristi da poveže promenljive iz dve klase objekata preko nekog preslikavanja definisanog u modelu. Iskaz x : O.P, označava da x (odnosno x') uzima vrednosti iz klase koja je kodomen preslikavanja P klase O. 16

Atomske formule, odnosno simboli koji se koriste da označe neki atomski predikat su: x.a Θ y.b gde su x i y promenljive (objekti), A i B su atributi tipova objekata O 1 i O 2 iz čijih pojavljivanja, respektivno, promenljive x i y uzimaju vrednosti (x : O 1, y : O 2 ), a Θ je operacija poređenja (na primer <, >, =, Between,...), definisana nad domenom atributa A i B (A i B moraju biti definisani nad istim domenom). x.a Θ C, gde su x, A i Θ kao i u prethodnom stavu, a C je konstanta koja ima isti domen kao i A. 17

Formule objektnog računa (ddf) formiraju se preko sledećih produkcionih pravila (sintakse): ddf:: = atom (ddf) Not ddf ddf And ddf ddf Or ddf Exists naziv-_promenljive (ddf) Foreach naziv_promenljive (ddf) If ddf Then ddf 18

Ograničenje se definiše na sledeći način: Na primer: definicija_promenljivih naziv_ograničenja (lista_promenljivih) : = ddf; x : Student Ogr1 (x) := x.semestar Between 1, 9; Ako se usvoji konvencija da promenljiva dobije naziv klase iz koje uzima vrednost, tada se ona ne mora deklarisati. Po ovoj konvenciji, gornje ograničenje bi bilo: Ogr1 (Student) : = Student.Semestar Between 1 i 9; 19

Primeri: (1) Student petog ili višeg semestra mora da ima više od 10 položenih ispita. Ogr2(Student,Prijava) : = Foreach Student (If Student.Semestar >= 5 Then Card (Student.Prijava) >10); Ovde je uvedena funkcija Card (S) koja daje broj elemenata skupa S 20

Primeri: (2) Student trećeg semestra je položio Matematiku. Ogr3(Student,Prijava,Predmet) : = Foreach Student (If Student.Semestar = 3 Then Exists Student.Prijava (Student.Prijava.Predmet. NazivPr ='<Matematika')); 21

Primeri: (3) Pretpostavimo da u modelu na Slici 2.7 Student ima i izvedeni atribut ProsOc (prosečna ocena). Tada očigledno važi sledeće ograničenje: Ogr4(Student,Prijava) : = Foreach Student (Student.ProsOc = Suma (Student. Prijava.Ocena) / Card (Student. Prijava); 22

Primeri: 4) Ocena studenta iz nekog predmeta ne može opadati: x:prijava, x' : Prijava Ogr5(x, x', Student, Predmet)= Foreach x Foreach x' (If x.student.brojind = x'.student. BrojInd And x.predmet.šifpred = x'. Predmet.ŠifPred Then x'.ocena x.ocena) 23

OPERACIJE Očigledno je da se u MOV mogu definisati sledeće operacije održavanja baze podataka, analogne operacijama u Mrežnom modelu: Ubacivanje (Insert) novog pojavljivanja objekta u klasu, Izbacivanje (Delete) pojavljivanja objekta iz klase, Ažuriranje (Update) odnosno izmena vrednosti nekog atributa datog pojavljivanja objekta neke klase, Povezivanje (Connect) pojavljivanja O1 klase A sa pojavljivanjem O2 klase B, Razvezivanje (Disconnect) pojavljivanja O1 klase A od pojavljivanja O2 klase B i Prevezivanje (Reconnect) pojavljivanja O1 klase A od pojavljivanja O2 klase B. 24

DINAMIČKA PRAVILA INTEGRITETA Pravila integriteta definišu dozvoljena stanja i dozvoljene prelaze sistema iz stanja u stanje; čini ga trojka <Ograničenje, Operacija, Akcija> preko koje se iskazuje koje se akcija preduzima kada neka operacija naruši definisano ograničenje. Opšta sintaksna konstrukcija za iskazivanje pravila integriteta je: CREATE INTEGRITY RULE <naziv_pravila> ograničenje naziv-ograničenja ON ATTEMPTED VIOLATION akcija 25

Strukturna dinamicka pravila integriteta i fizički MOV Sindikat (0,M) ^ lanstvo (0,1) Radnik [ifrasind NazivSind Adresa DatumPo~ Zaposlenje (1,M) (0,M) Delatnost (0,M) DelPred (1,1) Preduze} e (O,M) [ ifdelatn NazivDelatn RegBroj Asort [ifpro (O,M) KolUgradnje Sastavnica (0,M) Podr (0,M)Nadr Proizvod [ifrarad (0,M) ImeRadn DatumZavr{ NazivPred OpisPro S NazivPro Isplate Amortizacija O Vrsta(1.1) Koli~inaNar Datum Iznos Ma{ ina Materijal 26

Strukturna dinamicka pravila integriteta i fizički MOV Operacija Preslikavanje Opcija Insert Radnik Radnik --> Zaposlenje Cascades Radnik --> Članstvo - Radnik --> Isplate - Delete Radnik Radnik --> Zaposlenje Cascades Radnik --> Članstvo - Radnik --> Isplate Cascades Insert Članstvo Članstvo --> Radnik Restrict Članstvo --> Sindikat SetNull Delete Članstvo Članstvo --> Radnik - Članstvo --> Sindikat - Inset Zaposlenje Zaposlenje --> Radnik Restrict Zaposlenje --> Preduzeće Restrict Delete Zaposlenje Zaposlenje --> Radnik Cascade 27

VERZIJE MOV-a: IDEF1x standard 28

Veze po PMOV sintaksi 29

Veze po IDEF1x i IE standardu 30

VERZIJE MOV-a: IDEF1x standard 31

VERZIJE MOV-a: IDEF1x standard 32

a) jedan:vise identifikujuća veza b) jedan:vise neidentifikujuća veza c) nespecificirana veza 33

Objekti po PMOV sintaksi 34

Objekti po IDEF1x standardu 35

Atributi i domeni 36

Viseznačni atributi 37

Viseznačni atributi 38

Viseznačni atributi 39

Viseznačni atributi 40

Primer 1: Avionska karta za jednu standardnu avio-liniju može biti sastavljena od više kupona. Jedna linija može da uključi više letova na relaciji izmedju mesta polaska i mesta krajnjeg odredišta. Svaki avion obično ima nekoliko letova u toku dana (let je identifikovan preko datuma i vremena poletanja aviona). Karta sadrži podatke o avionskoj liniji, prezimenu i imenu putnika, mestu polazišta, mestu krajnjeg odredišta, datumu izdavanja, roku važenja i ceni. Kuponi karte sadrže identične podatke i podatke o pojedinačnim letovima izmedu polazišta i krajnjeg odredišta: mesto poletanja, mesto sletanja, osnovni podaci o avionu. broj leta, klasa sedišta, datum i vreme poletanja. 41

42

43

44

45

Generalizacija i specijalizacija 46

VERZIJE MOV-a: IDEF1x standard 47

VERZIJE MOV-a: IDEF1x standard 48

Agregacija 49

VERZIJE MOV-a: IDEF1x standard 50