DUM Cvičení 1.
Organizace
představení
záměr cvičení
nabýt zkušenost s konceptuálním modelováním v
praxi na reálných problémových doménach
rozdělení do dvou skupin
harmonogram podzim 2011
týden 1
19.9 : 23.9
opakování, motivace
týden 2
26.9 : 30.9
skupina A
týden 3
3.10 : 7.10
skupina B
týden 4
10.10 : 14.10
skupina A
týden 5
17.10 : 21.10
skupina B
týden 6
24.10 : 28.10
skupina A
týden 7
31.10 : 4.11
skupina B
týden 8
7.11 : 11.11
skupina A
týden 9
14.11 : 18.11
státní svátek: čtvrtek 17.11.
týden 10
21.11 : 25.11
skupina B
týden 11
28.11 : 2.12
skupina A
týden 12
5.12 : 9.12
skupina B
týden 13
12.12 : 16.12
skupina A
týden 14
19.12 : 22.12
skupina B
bodování
dohromady
100 bodů
cvičení 65 bodů
známky
Z
40 bodů
nutná podmínka pro připuštění ke zkoušce
P (colloquium) 50 bodů
E 55 bodů
D 64 bodů
C 73 bodů
B 82 bodů
A 91 bodů
povolena jedna neomluvená absence
Opakování
proč ze zabývat konceptuálního modelování
nástroj pro shodu na významu (konceptu)
snižuje nejednoznačnost např. slovo zásuvka, lístek...
service trojúhelník doménoví experti vs IT
nástroj pro komunikaci ne pro návrh databáze
elementy konceptuálního modelu jsou
koncepty a jejich vztahy
ten ale lze odvodit
metoda HIT
jedna z technik konceptuálního modelování
zaměřuje se na poloformální definice
konceptů a vztahů mezi nimi
funkcionální přístup
vše definováno pomocí funkcí
studenti kteří mají zapsaný daný předmět
funkce bere na vstupu předmět a vrací
množinu zapsaných studentů studentů
rozdělení funkcí
intenze závisí na současném stavu věcí
současný stav věcí je potenciální
nekonečný seznam faktů které jsou v
tuto chvíli platné
např. výsledek závisí na naplnění
tabulky v databázi
empirické funkce
extenze
nezávisí na současném stavu věcí
analytické funkce výsledek závisi pouze na vstupních parametrech
koncepty jsou modelovány pomocí sort
množina objektů mající stejné určující vlastnosti
rozdělení
entitní sorty
definováno pomocí funkce (intenze), která
aplikovaná na objekt a aktuální stav světa
vrací true nebo false, podle toho zda v
takovém stavu existuje
existuje mnoho "správných" definic
funguje většínou v rámci vymezené domény
přiklad
Objektem kategorie (#Student) je každá
osoba, která je zapsaná do studijního
programu nabízeného školou.
Objektem kategorie (#Produkt) je každý
tovar, který je, byl, nebo bude nabízen
zákazníkům e-shopu.
deskriptivní sorty (Phone number)
Elementem kategorie telefonní číslo (Phone number)
je každý textový řetězec mající délku max. 13 znaků,
obsahující pouze číslice a volitelně znak + na začátku.
HIT atributy
relace mezi n sortami, s nichž alespoň
jedna musí být entitní sortou
grafická notace
lineární notace
kardinalita
normalizace
definovatelnost
HIT atribut A je definovatelny nad množinou HIT atributů
{B,C,D,...} pokud existuje analytická funkce, která je schopna
spočítat všechny hodnoty A užitím HIT atributů B,C,D,...
A ← {B,C,D,...}
přiklad
(#Objednávka)-s daného produktu
(#Produkt) daným zákazníkem
(#Zákazník) / 0,M:0,M
rozložitelnost
redukovatelnost HIT atributu na množinu
jeho podatributů bez ztráty informace
A ◊ {B,C,D,..}
singulární a plurální rotace
konceptuální model HIT
trojice (B,K,C)
B seznam sort
K jádro množiny HIT atributů (kernel)
minimální množina elementárních HIT atributů
mající stejnou informační hodnotu jako
původní množina HIT atributů
C integritní omezení nad K
transformace do ER modelu
HIT atributy komplexity > 2 se pomocí
binarizačního principu rozloží na
konkatenovaný typ a množinu
projekčních HIT atributů komplexity 2
entitní sorty -> kernel entity
konkatenované typy -> asociativní entity
Objektem kategorie (#Položka objednávky) je každá
reprezentace vazby mezi objednávkou (#Objednavka)
a produktem (#Produkt) s následujícím významem:
(Počet kusů) daného produktu (#Produkt) obsažené v
dané objednávce (#Objednavka). / 0,1:0,M
HIT atributy mající za vstup i výstup
entitní sortu -> relace
HIT atributy dávající na výstup deskriptivní sortu v
singularni rotaci -> atribut entity
HIT atributy dávající na výstup
deskriptivní sortu v plurální rotaci ->
charakteristické entity
Domácí úkol přečíst HIT tutoriál