ObsidianVault/SS2026/Datenbanken und Informationssysteme/3. Relationales Datenmodell/Relationaler Kalkül.md at 881c0eb4e2f50e6a51f2f8429edbf08efd3e5219

Files

T

2026-07-23 10:55:26 +02:00

Beschreibt, WAS das Ergebnis erfüllen muss.

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.

Gleichstark wie Tupelkalkül!

! Pasted image 20260722182724.png ! Pasted image 20260722182741.png

TRC vs. DRC ! Pasted image 20260722182807.png