Last update: RNDr. Michal Kopecký, Ph.D. (11.05.2017)
For topics of the course see Syllabus.
Seminars are composed from class presentation on recent trends in query languages and imitation of a virtual Lean Startup via a social network concentrated on intuitive query interfaces where for the interaction with users we use a social network.
Knowledge of topics covered by NDBI001 Query languages is useful.
Last update: RNDr. Michal Kopecký, Ph.D. (11.05.2017)
Témata přednášky viz sylabus.
V semináři se referuje doplňková literatura vycházející ze současných trendů a imituje virtuální „Lean startup“ zaměřený na intuitivní dotazovací rozhraní kde k interakci s uživateli používame sociální síť.
Pro absolvování předmětu je užitečná znalost látky pokryté předmětem NDBI001 Dotazovací jazyky I.
Literature -
Last update: RNDr. Michal Kopecký, Ph.D. (11.05.2017)
Robinson, I., Webber, J., Eifrem, E.: Graph Databases - The Definitive Book on Graph Databases. O'Reilly Media, 2013
Abiteboul S., Hull R., Vianu V.: Foundations of Databases, Addison-Wesley 1995
Lloyd, John W. Foundations of Logic Programming, Springer 1987
Eric Ries. The Lean Startup: How Today's Entrepreneurs Use Continuous Innovation to Create Radically Successful Businesses. Crown Business 2011
Pokorny, J., Valenta, M.: Databázové systémy. Česká technika - nakladatelství ČVUT, 2013.
Robinson, I., Webber, J., Eifrem, E.: Graph Databases - The Definitive Book on Graph Databases. O'Reilly Media, 2013
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC 2010
Abiteboul S.,Hull R., Vianu V.: Foundations of Databases, Addison-Wesley 1995
Syllabus -
Last update: RNDr. Michal Kopecký, Ph.D. (11.05.2017)
1. Three semantics of Domain Relational Calculus (DRC). Definite and safe expressions in DRC. Equivalence of the relational algebra (RA) and DRC restricted to definite formulas.
2. Inexpressibility of the transitive closure of a relation in RA.
3. Composition of relational algebra expressions, least fixpoint of a mapping, minimal fixpoint. Datalog - three possible semantics of the language. Evaluation of a logical program without recursion.
4. Datalog with recursion. Naive valuation method, method of differences.
5. Datalog with negation, stratification. Expressive power of Datalog. Relationship to other relational languages. Deductive databases. Logical problems of information systems.
6. Recursive SQL
7. Graph databases and graph query languages.
8. Tableau query as QBE - an intuitive system supporting untrained user.
10. Tableau query - static analysis of query languages, optimization.
11. Tableau query and algorithmic complexity of query inclusion.
12. Positive (definite) Datalog with recursion and functional symbols.
13. Positive (definite) Datalog with recursion and functional symbols - completeness.
14. Conclusions, challenges.
Last update: prof. RNDr. Jaroslav Pokorný, CSc. (23.02.2016)
1. Tři sémantiky DRK. Definitní a bezpečné formule doménového relačního kalkulu (DRK(. Důkaz ekvivalence relační algebry (RA) a DRK omezeného na definitní formule.
2. Důkaz věty o nemožnosti vyjádřit tranzitivní uzávěr relace v RA.
3. Kompozice výrazů relační algebry, nejmenší pevný bod zobrazení, minimální pevný bod. Datalog - tři možné sémantiky jazyka. Vyhodnocení logického programu bez rekurze.
4. Datalog s rekurzí. Naivní metoda vyhodnocení, metoda diferencí.
5. Datalog s negací, stratifikace. Vyjadřovací síla Datalogu. Vztah k dalším relačním jazykům. Deduktivní databáze. Logické problémy informačních systémů.
6. Rekurzivní SQL
7. Grafové jazyky
8. Tablo dotazy jako QBE - systém pro podporu neškoleného uživatele
9. Tablo dotazy - inkluze dotazů, věta o homomorfizmu.
