39 lines
871 B
Markdown
39 lines
871 B
Markdown
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]]
|