vault backup: 2026-07-22 18:21:36
Benjamin Neumann
|
After Width: | Height: | Size: 11 KiB |
|
After Width: | Height: | Size: 24 KiB |
|
After Width: | Height: | Size: 18 KiB |
|
After Width: | Height: | Size: 54 KiB |
|
After Width: | Height: | Size: 27 KiB |
|
After Width: | Height: | Size: 29 KiB |
|
After Width: | Height: | Size: 21 KiB |
|
After Width: | Height: | Size: 28 KiB |
|
After Width: | Height: | Size: 37 KiB |
|
After Width: | Height: | Size: 22 KiB |
@@ -30,6 +30,34 @@ Referenziert einen Primärschlüssel einer anderen Tabelle
|
||||
## Relationale Algebra
|
||||
[[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]]
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||