vault backup: 2026-07-23 10:55:26

This commit is contained in:
Benjamin Neumann
2026-07-23 10:55:26 +02:00
parent 28937cfc8e
commit afa6720447
75 changed files with 59 additions and 45 deletions
Binary file not shown.

After

Width:  |  Height:  |  Size: 9.7 KiB

@@ -0,0 +1,38 @@
### ER-Modell zu Relationalem Modell
Starke Entities werden zu Relationen
Attribute werden zu Spalten
Primärschlüssel bleibt Primärschlüssel
![[Pasted image 20260722153519.png]]
Zusammengesetzte Attribute werden aufgeteilt und bekommen eigene Spalten
außer wenn es eh nie zerlegt ausgewertet wird
mehrwertige Attribute bekommen eigene Relation
![[Pasted image 20260722153712.png]]
n:m Beziehungen bekommen eigene Relation
![[Pasted image 20260722154305.png]]
1:n Beziehungen entweder eigene Relation oder in Relation der n Seite integrieren
![[Pasted image 20260722154629.png]]
1:1 Beziehung Verschmelzen oder Fremdschlüssel
![[Pasted image 20260722154712.png]]
Rekursive Beziehungen
1:1 / 1:n : Fremdschlüssel
n:m : eigene Relation mit 2 Fremdschlüsseln
![[Pasted image 20260722171616.png]]
Generalisierung & Spezialisierung
Eine Tabelle für Generalisierung + eine für jede Spezialisierung
![[Pasted image 20260722172120.png]]
Oder: Nur tabellen für Spezialisierung NUR bei disjunkt total:
![[Pasted image 20260722172208.png]]
Oder: eine einzige Tabelle
![[Pasted image 20260722172300.png]]
vergleich:
![[Pasted image 20260722172353.png]]
Schwache Entity Typen
Primärschlüssel von Schwacher entity ist kombination aus eigenem und fremdschlüssel
![[Pasted image 20260722172848.png]]
n-stellige Beziehungen
Eigene Relation
Fremdschlüssel aller beteiligten Entities
Primärschlüssel = Kombination aus allen Fremdschlüsseln von n,m,... kardinalitäten
![[Pasted image 20260722173116.png]]
@@ -0,0 +1,14 @@
### Intrarelationale Abhängigkeiten
Gültigkeit einer einzelnen Relation
Innerhalb einer Tabelle
z.B. $\sigma$ : Rel(X) -> {true, false}
erfüllt oder verletzt Regel
### Interrelationale Abhängigkeiten
Regeln zwischen Tabellen
Konsistenz über die gesamte Datenbank
![[Pasted image 20260722152527.png]]
Etwas in einer Tabelle muss auch in einer anderen existieren
auch Exklusionsabhängigkeiten müssen erstellt werden!
z.B. Assistent $\cap$ Professor = $\emptyset$
@@ -0,0 +1,51 @@
### Grundoperationen
| # | Operation | Symbol | Wirkung |
| --- | -------------------- | -------- | -------------------------------------------------- |
| 1 | Selektion | $\sigma$ | Wählt Tupel anhand von Bedingungen aus |
| 2 | Projektion | $\pi$ | Wählt Attribut aus und entfernt Dubletten |
| 3 | Vereinigung | $\cup$ | Kombiniert Tupel |
| 4 | Differenz | - | Entfernt Tupel der zweiten Relation aus der ersten |
| 5 | Kartesisches Produkt | $\times$ | Bildet alle Tupel kombinationen |
| 6 | Umbenennung | $\rho$ | Ändert namen |
Selektion:
![[Pasted image 20260722174455.png]]
Projektion:
![[Pasted image 20260722174507.png]]
Vereinigung:
![[Pasted image 20260722174617.png]]
Differenz:
![[Pasted image 20260722174639.png]]
Kartesisches Produkt:
![[Pasted image 20260722174647.png]]
Umbenennung:
![[Pasted image 20260722174806.png]]
Operatorbäume zeigen Berechnungsstruktur eines Ausdrucks:
![[Pasted image 20260722175747.png]]
Durchschnitt:
![[Pasted image 20260722175936.png]]
Natürlicher Verbund (Natural Join):
![[Pasted image 20260722180008.png]]
![[Pasted image 20260722180124.png]]
Theta-Join:
![[Pasted image 20260722180136.png]]
Outer Joins: (behalten tupel ohne joins und füllen NULL ein)
![[Pasted image 20260722180242.png]]
Semi Joins: (nur filter, zweite relation kommt nicht ins ergebnis)
![[Pasted image 20260722180354.png]]
JOIN ÜBERBLICK
![[Pasted image 20260722180407.png]]
@@ -0,0 +1,38 @@
Beschreibt, WAS das Ergebnis erfüllen muss.
### Tupelkalkül
Ergebnis enthält Tupel t für die F(t) wahr ist.
![[Pasted image 20260722181003.png]]
Existenzquantor:
![[Pasted image 20260722181126.png]]
Allquantor:
![[Pasted image 20260722181151.png]]
Ergebnisschema kann neue Tupel konstruieren:
![[Pasted image 20260722181240.png]]
Tupelvariablen:
![[Pasted image 20260722181636.png]]
![[Pasted image 20260722181643.png]]
![[Pasted image 20260722181649.png]]
Semantik:
![[Pasted image 20260722181801.png]]
![[Pasted image 20260722181944.png]]
![[Pasted image 20260722182103.png]]
Ein Sicherer Ausdruck ist wenn alle Variablen an tatsächlich vorkommende Datenbankwerte
gebunden sind.
### Domänenkalkül
Gleichstark wie Tupelkalkül!
![[Pasted image 20260722182724.png]]
![[Pasted image 20260722182741.png]]
TRC vs. DRC
![[Pasted image 20260722182807.png]]
@@ -0,0 +1,41 @@
![[3-Rel.pdf]]
![[Pasted image 20260722144852.png]]
Wertebereiche = Domänen = Atomare Datentypen
![[Pasted image 20260722145754.png]]
Relation = Ausprägung eines Schemas
Datenbankschema = Menge von Schemata
Datenbank = Menge aller gegenwärtigen Relationen
Schema = Bauplan - Datenbank = aktueller Gesamtzustand
Tupel-Projektion
![[Pasted image 20260722150147.png]]
isolieren relevanter Teilinformationen
Wir wählen bestimmte Spalten einer Zeile aus
Schlüsselkandidat : eine MINIMALE menge S eines Schemas R deren Werte den Tupel EINDEUTIG identifizieren
Primärschlüssel : gewählter Schlüsselkandidat
[[Intrarelationale Abhängigkeiten]]
[[Intrarelationale Abhängigkeiten]]
### Fremdschlüssel
Referenziert einen Primärschlüssel einer anderen Tabelle
### Transformationsregeln
[[ER-Modell zu Relationalem Modell]]
## Relationale Algebra
[[Relationale Algebra]]
## Relationaler Kalkül
[[Relationaler Kalkül]]