Ich habe mich über die Antwort dieser Frage wie folgt getroffen: Diese Abfrage ist syntaktisch korrekt. Es fragt jedoch nach allen Tupeln S, so dass S nicht in (der gegebenen Instanz von) Sailors ist. Die Menge solcher Stupel ist offensichtlich unendlich, im Kontext unendlicher Domänen wie der Menge aller ganzen Zahlen. Dieses einfache Beispiel veranschaulicht eine unsichere Abfrage. Es ist wünschenswert, die relationale Berechnung einzuschränken, um unsichere Abfragen
zu verhindern. Ich bin
mir sicher, ob es für Sie funktioniert.