Click here to start
Table of contents
Slide 1
Sémantika DRK (1)
Sémantika DRK (2)
Sémantika DRK (3)
Sémantika DRK (4)
Sémantika DRK (5)
Sémantika DRK (6)
Bezpečné formule DRK
Slide 9
Ekvivalence relačních jazyků
Slide 11
Od relační algebry k DRK
Slide 13
Sémantická definice definitních formulí
Slide 15
Od DRK k relační algebře
Slide 17
Slide 18
Slide 19
Vyjadřovací síla DRK (AR)
Slide 21
Dotaz na tranzitivní uzávěr (1)
Dotaz na tranzitivní uzávěr (2)
Dotaz na tranzitivní uzávěr (3)
Dotaz na tranzitivní uzávěr (4)
Dotaz na tranzitivní uzávěr (5)
Dotaz na tranzitivní uzávěr (6)
Dotaz na tranzitivní uzávěr (7)
Dotaz na tranzitivní uzávěr (8)
Tranzitivní uzávěr relace funkcionálně
Slide 31
Slide 32
Slide 33
Slide 34
Databáze intenzionálně
Slide 36
Řešení LP rezoluční metodou
Slide 38
Slide 39
Slide 40
Terminologie a omezení
Slide 42
DATALOG - syntaxe a sémantika (1)
DATALOG - syntaxe a sémantika (2)
Slide 45
DATALOG - závislostní graf (1)
DATALOG - závislostní graf (2)
DATALOG - závislostní graf (3)
DATALOG - bezpečná pravidla
Nerekurzivní DATALOG
Slide 51
Slide 52
Slide 53
Slide 54
Slide 55
Rekurzivní DATALOG
Slide 57
Slide 58
Slide 59
Slide 60
Slide 61
Slide 62
Slide 63
Slide 64
Rozšíření DATALOGu o negaci
Slide 66
Stratifikovaný DATALOG
Slide 68
Slide 69
Slide 70
Slide 71
Slide 72
Slide 73
Slide 74
Relační algebra a DATALOG
Relační algebra a DATALOG
Slide 77
Slide 78
Předpoklad uzavřeného světa (1)
Předpoklad uzavřeného světa (2)
Předpoklad uzavřeného světa (3)
Předpoklad uzavřeného světa (4)
Předpoklad uzavřeného světa (5)
Deduktivní databáze (1)
Deduktivní databáze (2)
Deduktivní databáze (3)
Deduktivní databáze (4)
Korektnost IS (1)
Korektnost IS (2)
IO (1)
IO (2)
IO (3)
Obecné závislosti - příklad
Tvrzení o závislostech (1)
Tvrzení o závislostech (2)
Tvrzení o závislostech (3)
Tvrzení o závislostech (4)
Author:
Jaroslav Pokorný
Homepage:
http://www.ksi.ms.mff.cuni.cz/~pokorny/