01:22:49

Informatik1 (WS 22/23), Recorded Lecture #3

01:24:16

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

01:28:41

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

01:22:15

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

01:24:33

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

01:29:07

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

01:20:32

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

01:27:12

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

01:27:39

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

01:16:28

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

01:23:54

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

54:03

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

01:24:41

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

01:25:35

FP — Chapter #04 — Video #009 — Lazy eval, normal order reduction, normal form/WHNF, strictness

01:25:23

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

01:24:48

DB1 — Chapter #09 — Video #016 — Data warehouses, star schema, grouping/aggregation examples, HAVING

01:25:55

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

01:21:39

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

01:15:23

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

01:26:39

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

01:28:07

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

01:17:30

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

01:25:00

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

01:22:23

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

01:21:45

DB1 — Chapter #05 / 06 — Video #010 — keys (super/candidate/primary), SQL diversion: SELECT-FROM

01:25:04

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

01:22:58

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

01:17:30

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

01:26:12

FP — Chapter #02 — Video #004 — algebraic data types, type/value constructors, functions over ADTs

01:16:38

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

01:23:29

DB1 — Chapter #03 — Video #006 — Declarativity (Query Optimization), Data Independence, Persistence

01:34:20

FP — Chapter #01 — Video #003 — Guards, local def'ns (let/where), layout, lists, pattern matching

01:24:50

DB1 — Chapter #02/03 — Video #005 — Flattening nested data (using references), Untyped vs Typed Data

01:28:23

FP — Chapter #01 — Video #002 — Application, Operators, Types, Type Constructors, Definitions

01:22:10

DB1 — Chapter #02 — Video #004 — JSONiq and Query Equivalence, Data Model Tabular, CSV, PyQL

01:17:18

DB1 — Chapter #02 — Video #003 — JSONiq, Arrays, Dictionaries, Iteration, Gruppierung, Aggregation

01:22:15

FP — Chapter #01 — Video #001 — Welcome, Administrivia, Functional Programming, Lazy Evaluation

01:25:45

DB1 — Chapter #02 — Video #002 — sed/awk, reg.exp., Data Model Nested Arrays and Dictionaries, JSON

01:15:32

DB1 — Chapter #01/02 — Video #001 — Welcome. Mini Worlds, Mini World Examples, Data Model Text

31:36

Informatik 2 — Chapter #12 — Video #075 — C: void* und polymorphe Datenstrukturen (hier: Stacks)

48:25

Informatik 2 — Chapter #12 — Video #079 — C: Arrays auf dem Stack, Array vs. Pointer, Operator &

37:29

Informatik 2 — Chapter #12 — Video #076 — C-Präprozessor (CPP), dynamische Checks, Macro assert(e)

40:21

Informatik 2 — Chapter #12 — Video #073 — Von C0 zu C, C: (keine) Type-Safety oder Memory-Safety

43:56

Informatik 2 — Chapter #12 — Video #078 — C: Callbacks, Function-Pointer

38:26

Informatik 2 — Chapter #12 — Video #074 — C: Undefiniertes Verhalten und Optimierung

30:47

Informatik 2 — Chapter #12 — Video #077 — C: Memory Leaks, Heap-Deallokation mit free

20:40

Informatik 2 — Ask Me Anything #6 — Held on Jul 13, 2021

26:42

Informatik 2 — Chapter #11 — Video #069 — Ternary Search Tries (TSTs), Struktur, Interface

25:06

Informatik 2 — Chapter #11 — Video #070 — Prädikat is_trie, Operationen trie_insert und trie_search

32:15

Informatik 2 — Chapter #11 — Video #068 — Tries (Präfix-Bäume), Boggle, Multi-Way und Binary Tries

21:44

Informatik 2 — Chapter #11 — Video #071 — Experimente mit TSTs, TST-Visualisierung mit dot

27:50

Informatik 2 — Chapter #11 — Video #072 — Implementation von Type Ahead auf Basis von TSTs

26:59

Informatik 2 — Chapter #10 — Video #065 — Höheninvariante, Rechts-Rotation, Links-Rotation

43:22

Informatik 2 — Chapter #10 — Video #062 — BST-Repräsentation, Operationen bst_search, bst_insert

34:26

Informatik 2 — Chapter #10 — Video #064 — Unbalancierte BSTs, AVL-Bäume

29:06

Informatik 2 — Chapter #10 — Video #063 — Test Ordnungsinvariante (buggy + OK), Prädikat is_ordtree

22:49

Informatik 2 — Chapter #10 — Video #061 — Binary Search Trees (BSTs), Ordnungsinvariante, Interface

20:39

Informatik 2 — Chapter #10 — Video #067 — Benchmark: Suche in BST vs AVL-Baum, C0-Library args

35:01

Informatik 2 — Chapter #10 — Video #066 — Einfügung in AVL-Bäumen, Rebalancierung, avl_insert

28:23

Informatik 2 — Ask Me Anything #5 — Held on Jun 29, 2021