$ cat /etc/unisuite/modules/01_informationsmanagement.md
TU Darmstadt • FB Informatik • Modul 01

Informationsmanagement & Datenbanksysteme

Kuratierte interaktive Werkzeuge und Simulatoren für relationale Datenbanksysteme und Information Retrieval / NLP: Relationale Algebra mit allen Joins, logische AST-Operatorbäume, Normalisierung nach Bernstein, B+-Baum Indexing, ACID-Transaktionen sowie UTF-8 Bitfolgen- und Zeichensatz-Validierung.

[+] Simulatoren & Labore

6 Werkzeuge
modul_01 ⋈ Joins

Relationale Algebra Explorer

Equi-, Outer-, Semi- und Anti-Joins mit Live-Tupelberechnung, GROUP BY & Aggregationen ($\gamma$), Klausur-Trainer und Quiz.

Joins Aggregation γ KaTeX
modul_02 AST Trees

SQL Query Optimizer & AST

Interaktive Visualisierung von logischen Operatorbäumen, Pushdown von Selektionen ($\sigma$) & Projektionen ($\pi$) und Kostenkalkulation.

Query Trees Pushdown Heuristiken
modul_03 1NF-BCNF

Normalisierungs-Coach & Synthese

Attributhüllen ($X^+$), Minimalüberdeckung ($F_c$), Normalformen (1NF-BCNF) und das in der Vorlesung vorgestellte Syntheseverfahren (Bernstein).

Normalformen Syntheseverfahren
modul_04 B+ Tree

B+ Tree & Indexing Playground

Interaktives Einfügen, Splitten und Suchen in $B^+$-Bäumen. Vergleich von Index-Seek ($O(\log N)$) und Full-Table-Scan ($O(N)$).

B+ Trees I/O Costs Range Scan
modul_05 ACID & 2PL

Transaktionen & 2PL Scheduler

Konfliktgraphen-Prüfung, Zyklenerkennung, Dirty Reads, Phantoms, 2-Phasen-Sperrprotokoll (2PL) und Deadlock-Visualisierung.

ACID Konfliktgraph 2PL Locking
modul_06 NLP & Encodings

UTF-8 & NLP Bitfolgen-Validator

Interaktive Schritt-für-Schritt Prüfung von Bitfolgen, Header- & Folgebyte-Validierung (10...), Nutzbit-Extraktion, Erkennung von Overlong Encodings & Surrogates sowie Klausur-Trainer.

UTF-8 Bit-Prüfung Overlong Check Unicode
[ weiteren bereich wählen ]

Weitere Fachbereiche

Erkunden Sie auch Algorithmen & Datenstrukturen sowie Rechnerorganisation in der UniSuite.