vault backup: 2026-07-22 18:29:47

2026-07-22 18:29:47 +02:00
parent a556328933
commit c730ca3fe1
6 changed files with 56 additions and 43 deletions
@@ -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]]