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]]