diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 43de4b6..41ae85b 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -216,24 +216,25 @@
   },
   "active": "25f5b25d5eca7203",
   "lastOpenFiles": [
-    "SS2026/Klausurplan.canvas",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161044.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161032.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161019.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160938.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/6-RelDesign.pdf",
     "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Relationale Entwurfstheorie.md",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160913.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160528.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160510.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160338.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160309.png",
+    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160258.png",
+    "SS2026/Klausurplan.canvas",
     "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723154353.png",
-    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723153729.png",
     "SS2026/Datenbanken und Informationssysteme/Datenbanken und Informationssysteme.md",
     "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Relationale Anfragebearbeitung.md",
-    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/6-RelDesign.pdf",
     "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge",
     "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie",
     "SS2026/Datenbanken und Informationssysteme/4. SQL/Unbenannt.md",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723145130.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723144321.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723143936.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723142935.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723142925.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723142832.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723142759.png",
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/Pasted image 20260723142602.png",
     "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge/5-RelQuery.pdf",
     "SS2026/Datenbanken und Informationssysteme/4. SQL/Anhänge/sql_merged.pdf",
     "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Anhänge",
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160258.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160258.png
new file mode 100644
index 0000000..11e5d2e
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160258.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160309.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160309.png
new file mode 100644
index 0000000..bbaaa72
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160309.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160338.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160338.png
new file mode 100644
index 0000000..d38aad7
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160338.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160510.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160510.png
new file mode 100644
index 0000000..f39a158
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160510.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160528.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160528.png
new file mode 100644
index 0000000..75181d9
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160528.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160938.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160938.png
new file mode 100644
index 0000000..30dd7f6
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723160938.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161019.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161019.png
new file mode 100644
index 0000000..c7372d4
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161019.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161032.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161032.png
new file mode 100644
index 0000000..a1150f9
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161032.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161044.png b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161044.png
new file mode 100644
index 0000000..43ad2cf
Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Anhänge/Pasted image 20260723161044.png differ
diff --git a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Relationale Entwurfstheorie.md b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Relationale Entwurfstheorie.md
index 86f6c1f..fe16fd5 100644
--- a/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Relationale Entwurfstheorie.md	
+++ b/SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Relationale Entwurfstheorie.md	
@@ -15,5 +15,28 @@ Primärschlüssel ist der ausgewählte Schlüssel
 
 
 ### Armstrong Kalkül
+Die Hülle F+ wird definiert als die Menge aller FDs die logisch aus F folgen
+![[Pasted image 20260723160258.png]]
+![[Pasted image 20260723160309.png]]
+Beispiel:
+![[Pasted image 20260723160338.png]]
+![[Pasted image 20260723160510.png]]
+![[Pasted image 20260723160528.png]]
+
+## Kanonische Überdeckung
+Fc heißt Kanonische Überdeckung von F wenn folgende Bedingungen erfüllt sind:
+![[Pasted image 20260723160938.png]]
+![[Pasted image 20260723161019.png]]
+
+Linksreduktion:
+![[Pasted image 20260723161032.png]]
+
+Rechtsreduktion:
+
+
+
+
+
+