ObsidianVault/SS2026/Datenbanken und Informationssysteme/Relationales Datenmodell/Relationaler Kalkül.md at 28937cfc8e11d7b4e8d66618c4e33c882f376721

Files

T

2026-07-22 18:29:47 +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