Key points are not available for this paper at this time.
Eine valide und in bestimmten Fällen vollständige Methode wird beschrieben, um Abfragen in relationalen Datenbanken mit null-Werten auszuwerten, wobei diese Nullwerte bestehende, aber unbekannte Individuen darstellen. Die Validitäts- und Vollständigkeitsergebnisse werden relativ zu einer Formalisierung solcher Datenbanken als geeignete Theorien der Prädikatenlogik bewiesen. Da der Algorithmus der relationalen Algebra entspricht, kann er leicht in bestehende relationale Systeme integriert werden.
Raymond Reiter (Tue,) hat diese Frage untersucht.