Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik

Heren Zhou. Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik. In Grundlagen von Datenbanken. pages 133-137, 1993.

Abstract

Abstract is missing.