Dotazovací jazyky II - NDBI006

• Anglický název: Query Languages II
• Zajišťuje: Katedra softwarového inženýrství (32-KSI)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2014 do 2014
• Semestr: letní
• E-Kredity: 6
• Rozsah, examinace: letní s.:2/2, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština, angličtina
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: http://www.ksi.mff.cuni.cz/~vojtas/vyuka/vyuka.html
• Garant: prof. RNDr. Jaroslav Pokorný, CSc.; prof. RNDr. Peter Vojtáš, DrSc.
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Databázové systémy
• Korekvizity : NDBI001

Anotace

čeština

Poslední úprava: 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.

angličtina

Poslední úprava: 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.

Literatura

čeština

Poslední úprava: prof. RNDr. Jaroslav Pokorný, CSc. (23.02.2016)

Pokorný J.: Dotazovací jazyky. Skripta, Karolinum, 2002

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

angličtina

Poslední úprava: 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

Presentations:

http://www.ksi.mff.cuni.cz/~pokorny/vyuka.html#NDBI006/

http://www.ksi.mff.cuni.cz/~vojtas/vyuka/NDBI006.html

Sylabus

čeština

Poslední úprava: 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.

10. Tablo dotazy - statická analýza dotazů, optimalizace

11. Tablo dotazy a algoritmická složitost inkluze

12. Web jako databáze. Datový model RDF.

13. Dotazovací jazyky na Webu. SPARQL.

14. Závěr, shrnutí, výzvy - Internet věcí, propojená (otevřená) data, znalosti

angličtina

Poslední úprava: 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.

9. Tableau query - query inclusion, homomorphism theorem.

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.