Database Systems Research Group at U Tübingen

4.22K subscribers

339 videos

This channel hosts lectures and other video material posted by the members of the Database Research Group at the University of Tübingen, Germany. Drop by our...

Latest Videos

Informatik1 (WS 2223), Recorded Lecture #3

DB1 — Chapter #12 — Video #026 — Relational algebra (semijoin, antijon, division, outer join)

FP — Chapter #06 — Video #012 — monads, class Monad (return, bind), state transformer, do notation

DB1 — Chapter #12 — Video #025 — RA (union, difference), case distinction, non-monotonic queries

DB1 — Chapter #12 — Video #024 — RA (join, natural join), plans, laws, select-project-join queries

FP — Chapter #05 — Video #011 — functor laws, applicative functors, type class Applicative, monoids

DB1 — Chapter #12 — Video #023 — Relational algebra, closure, selection, projection, cross product

DB1 — Chapter #11 — Video #022 — Map EER to relational (weak entities, relationships, inheritance)

FP — Chapter #04 05 — Video #010 — infinite lists, type class Functor, constructor classes, kinds

DB1 — Chapter #11 — Video #021 — EER weak entities, inheritance, mapping EER to relational model

DB1 — Chapter #11 — Video #020 — ER, entities, relationships, attributes, ER semantics, cardinality

DB1 — Chapter #10 — Video #019 — Boyce-Codd Normal Form (BCNF), decomposition, lossless splits

DB1 — Chapter #10 — Video #018 — Views, keys+FDs, Armstrong axioms, cover, key generation, anomalies

FP — Chapter #04 — Video #009 — Lazy eval, normal order reduction, normal formWHNF, strictness

DB1 — Chapter #09 10 — Video #017 — Grouping, embedded functions, functional dependencies (FDs)

DB1 — Chapter #09 — Video #016 — Data warehouses, star schema, groupingaggregation examples, HAVING

FP — Chapter #03 — Video #008 — GADTs, DSL embeddings and type classes, pattern matching DSL

DB1 — Chapter #08 09 — Video #015 — Mapping NF² data and queries to 1NF, grouping and aggregation

DB1 — Chapter #07 08 — Video #014 — DB design, 1NF, stringsarrays in cells, nested tables (NF²)

FP — Chapter #03 — Video #007 — Modules, shallow vs. deep DSL embeddings, domain-specific syntax

DB1 — Chapter #07 — Video #013 — Foreign keys, referential integrity, [NOT] EXISTSIN, self-joins

DB1 — Chapter #06 — Video #012 — Compositionality (scalar subqueries, WITH), correlated subqueries

FP — Chapter #02 03 — Video #006 — deriving type class instances, embedded DSLs, Haskell modules

DB1 — Chapter #06 — Video #011 — row variables and types, joins, join graphs, dup.removal (DISTINCT)

DB1 — Chapter #05 06 — Video #010 — keys (supercandidateprimary), SQL diversion SELECT-FROM

FP — Chapter #02 — Video #005 — type classes, class def.ns, class constraints, instance def.ns

DB1 — Chapter #04 05 — Video #009 — SQL DML (INSERT, UPDATE, DELETE), literal tables, constraints

DB1 — Chapter #03 — Video #008 — Relation schema vs. state, relational data model (Codd) vs SQL

FP — Chapter #02 — Video #004 — algebraic data types, typevalue constructors, functions over ADTs

DB1 — Chapter #04 — Video #007 — Relational data model, (meta) data in rel.s, types, values, domains