Relationale Division durch doppelte Negation

Snippet

Relationale Division durch doppelte Negation

Dieses Muster implementiert die universelle Quantifizierung (den 'FOR ALL'-Operator) mittels relationaler Algebra. Es identifiziert Entitäten (Studenten), die mit jedem Eintrag in einer Zielmenge (Kurse) verknüpft sind, indem sichergestellt wird, dass es keinen Kurs gibt, für den der Student nicht eingeschrieben ist. Dies ist robuster als COUNT-basierte Vergleiche, da es Mengenbeziehungen rein logisch verarbeitet.

snippet.sql
sql
SELECT s.name 
FROM students s 
WHERE NOT EXISTS (
    SELECT c.id 
    FROM courses c 
    WHERE NOT EXISTS (
        SELECT 1 
        FROM enrollment e 
        WHERE e.student_id = s.id 
        AND e.course_id = c.id
    )
);

Erklärung

SELECT s.name FROM students s

Wählt die Kandidatendatensätze aus der primären Entitätstabelle aus.

WHERE NOT EXISTS (SELECT c.id FROM courses c ...)

Filtert nach Entitäten, für die kein Datensatz in der Anforderungsmenge existiert...

WHERE NOT EXISTS (SELECT 1 FROM enrollment e ...)

...für den kein passender Beziehungsdatensatz in der Verknüpfungstabelle vorhanden ist.

Vorheriges Snippet Nächstes Snippet

Verwandt

Aus deiner Bibliothek