diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index b219e67..55b6cc3 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -67,9 +67,19 @@ "icon": "lucide-file-text", "title": "3-Rel" } + }, + { + "id": "0887269fe60cd186", + "type": "leaf", + "state": { + "type": "git-view", + "state": {}, + "icon": "git-pull-request", + "title": "Source Control" + } } ], - "currentTab": 1 + "currentTab": 2 } ], "direction": "vertical" @@ -199,24 +209,13 @@ "icon": "lucide-archive", "title": "Alle Eigenschaften" } - }, - { - "id": "0887269fe60cd186", - "type": "leaf", - "state": { - "type": "git-view", - "state": {}, - "icon": "git-pull-request", - "title": "Source Control" - } } ], - "currentTab": 4 + "currentTab": 3 } ], "direction": "horizontal", - "width": 200, - "collapsed": true + "width": 200 }, "left-ribbon": { "hiddenItems": { @@ -233,6 +232,10 @@ }, "active": "efb8a850d4a5a594", "lastOpenFiles": [ + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md", + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182807.png", + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png", + "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182103.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/3-Rel.pdf", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md", @@ -242,11 +245,7 @@ "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181643.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181636.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181240.png", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181151.png", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181126.png", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722181003.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationale Algebra.md", - "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722180407.png", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/ER-Modell zu Relationalem Modell.md", "SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Intrarelationale Abhängigkeiten.md", "SS2026/Klausurplan.canvas", diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png new file mode 100644 index 0000000..6a70015 Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182724.png differ diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png new file mode 100644 index 0000000..89b4594 Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182741.png differ diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182807.png b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182807.png new file mode 100644 index 0000000..199f72f Binary files /dev/null and b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Anhänge/Pasted image 20260722182807.png differ diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md new file mode 100644 index 0000000..f4860a6 --- /dev/null +++ b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md @@ -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]] diff --git a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md index 6bfaa28..6fd43b1 100644 --- a/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md +++ b/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationales Datenmodell.md @@ -31,31 +31,7 @@ Referenziert einen Primärschlüssel einer anderen Tabelle [[Relationale Algebra]] ## Relationaler Kalkül -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]] +[[Relationaler Kalkül]]