Dotazovací jazyky - NDBI049

• Anglický název: Query Languages
• Zajišťuje: Katedra softwarového inženýrství (32-KSI)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2024
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:2/0, 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í
• Další informace: https://www.ksi.mff.cuni.cz/~svoboda/courses/
• Garant: prof. RNDr. Jaroslav Pokorný, CSc.; RNDr. Martin Svoboda, Ph.D.
• Vyučující: prof. RNDr. Jaroslav Pokorný, CSc.; RNDr. Martin Svoboda, Ph.D.
• Třída: Informatika Mgr. - Softwarové systémy
• Kategorizace předmětu: Informatika > Informatika, Aplikační software, Počítačová grafika a geometrie, Databázové systémy, Didaktika informatiky, Diskrétní matematika, Předměty širšího základu, Předměty obecného základu, Počítačová a formální lingvistika, Optimalizace, Programování, Softwarové inženýrství, Teoretická informatika
• Neslučitelnost : NDBI001
• Záměnnost : NDBI001
• Je neslučitelnost pro: NDBI001
• Je záměnnost pro: NDBI001

Anotace

čeština

Předmět pokrývá pokročilé aspekty nejdůležitějších databázových dotazovacích jazyků nad běžně používanými logickými modely (relační, stromový a grafový), a to s důrazem na vzájemné srovnání těchto jazyků a jejich klíčové vlastnosti. Část zaměřená na teoretičtější aspekty se věnuje tématu vyhodnocování a optimalizace SQL dotazů a srovnání vyjadřovací síly relačních jazyků. Praktičtější část řeší dotazovací konstrukty, syntax a sémantiku v rámci jazyků SQL, Datalog, XPath, XQuery, SPARQL, MongoDB a Cypher.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (07.05.2024)

angličtina

The course covers advanced aspects of the most important database query languages over the broadly used logical models (relational, tree, and graph), with an emphasis on a mutual comparison of these languages and their key features. The part focusing on more theoretical aspects is devoted to the topic of evaluation and optimization of SQL queries, and a comparison of the expressive power of relational languages. The more practical part addresses query constructs, syntax, and semantics within SQL, Datalog, XPath, XQuery, SPARQL, MongoDB, and Cypher languages.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (07.05.2024)

Sylabus

čeština

Jazyk SQL: datový model, dotazovací konstrukty, tříhodnotová logika, operátory CUBE, ROLLUP, rekurzivní dotazy.

Vyhodnocování a optimalizace SQL: přístupové metody, externí řazení, spojování tabulek pomocí hnízděných cyklů, slévání a hašování, plán vyhodnocení dotazu, statistická optimalizace, algebraická optimalizace.

Vyjadřovací síla: relační algebra, doménový relační kalkul, databázový dotaz, vyjadřovací síla, ekvivalence relačních jazyků, tranzitivní uzávěr relace, nejmenší pevný bod.

Datalog: bez rekurze, s rekurzí, s negací, stratifikace.

XPath a XQuery: formát XML, datový model XDM, výrazy cest, porovnávání, atomizace, konstruktory, FLWOR výrazy, další typy výrazů.

MongoDB: formát JSON, datový model, metoda find, selekční operátory, projekce, agregační dotazy, MapReduce dotazy.

SPARQL: formát RDF, základní notace, Turtle notace, grafové vzory, aktivní graf, filtry, formy dotazů.

Cypher: systém Neo4j, datový model, grafové vzory, dotazovací konstrukty, zřetězování klauzulí.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (07.05.2024)

angličtina

SQL language: data model, query constructs, three-valued logic, CUBE and ROLLUP operators, recursive queries.

SQL evaluation and optimization: access methods, external sort, joining tables using nested loops, merging and hashing, query evaluation plan, statistical optimization, algebraic optimization.

Expressive power: relational algebra, domain relational calculus, database query, expressive power, equivalence of relational languages, transitive relation closure, smallest fixed point.

Datalog: without recursion, with recursion, with negation, stratification.

XPath and XQuery: XML format, XDM data model, path expressions, comparisons, atomization, constructors, FLWOR expressions, other types of expressions.

MongoDB: JSON format, data model, find method, selection operators, projection, aggregation queries, MapReduce queries.

SPARQL: RDF format, basic notation, Turtle notation, graph patterns, active graph, filters, query forms.

Cypher: Neo4j system, data model, graph patterns, query constructs, chaining of clauses.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (07.05.2024)