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 web pages at https://db.cs.uni-tuebingen.de.

Informatik1 (WS 22/23), Recorded Lecture #3
1:22:49
Informatik1 (WS 22/23), Recorded Lecture #3
DB1 — Chapter #12 — Video #026 — Relational algebra (semijoin, antijon, division, outer join)
1:24:16
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
1:28:41
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
1:22:15
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
1:24:33
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
1:29:07
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
1:20:32
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)
1:27:12
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
1:27:39
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
1:16:28
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
1:23:54
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
54:03
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
1:24:41
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 form/WHNF, strictness
1:25:35
FP — Chapter #04 — Video #009 — Lazy eval, normal order reduction, normal form/WHNF, strictness
DB1 — Chapter #09 / 10 — Video #017 — Grouping, embedded functions, functional dependencies (FDs)
1:25:23
DB1 — Chapter #09 / 10 — Video #017 — Grouping, embedded functions, functional dependencies (FDs)
DB1 — Chapter #09 — Video #016 — Data warehouses, star schema, grouping/aggregation examples, HAVING
1:24:48
DB1 — Chapter #09 — Video #016 — Data warehouses, star schema, grouping/aggregation examples, HAVING
FP — Chapter #03 — Video #008 — GADTs, DSL embeddings and type classes, pattern matching DSL
1:25:55
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
1:21:39
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, strings/arrays in cells, nested tables (NF²)
1:15:23
DB1 — Chapter #07 / 08 — Video #014 — DB design, 1NF, strings/arrays in cells, nested tables (NF²)
FP — Chapter #03 — Video #007 — Modules, shallow vs. deep DSL embeddings, domain-specific syntax
1:26:39
FP — Chapter #03 — Video #007 — Modules, shallow vs. deep DSL embeddings, domain-specific syntax
DB1 — Chapter #07 — Video #013 — Foreign keys, referential integrity, [NOT] EXISTS/IN, self-joins
1:28:07
DB1 — Chapter #07 — Video #013 — Foreign keys, referential integrity, [NOT] EXISTS/IN, self-joins
DB1 — Chapter #06 — Video #012 — Compositionality (scalar subqueries, WITH), correlated subqueries
1:17:30
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
1:25:00
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)
1:22:23
DB1 — Chapter #06 — Video #011 — row variables and types, joins, join graphs, dup.removal (DISTINCT)
DB1 — Chapter #05 / 06 — Video #010 — keys (super/candidate/primary), SQL diversion: SELECT-FROM
1:21:45
DB1 — Chapter #05 / 06 — Video #010 — keys (super/candidate/primary), SQL diversion: SELECT-FROM
FP — Chapter #02 — Video #005 — type classes, class def.ns, class constraints, instance def.ns
1:25:04
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
1:22:58
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
1:17:30
DB1 — Chapter #03 — Video #008 — Relation schema vs. state, relational data model (Codd) vs SQL
FP — Chapter #02 — Video #004 — algebraic data types, type/value constructors, functions over ADTs
1:26:12
FP — Chapter #02 — Video #004 — algebraic data types, type/value constructors, functions over ADTs
DB1 — Chapter #04 — Video #007 — Relational data model, (meta) data in rel.s, types, values, domains
1:16:38
DB1 — Chapter #04 — Video #007 — Relational data model, (meta) data in rel.s, types, values, domains