Statische Analyse-Techniken für die Software-Überprüfung können auch im Szenario der Abfrage-Sprachen angewendet werden. Insbesondere wurde der * abstrakte Interpretation auf das Feld der Abfrage für relationalen Datenbanken ausgeweitet, um die Sound zu unterstützen. Die Semantik der Abfrage-Sprachen kann nach geeigneten Abstraktionen der konkreten Domäne der Daten abgestimmt werden. Die Abstraktion der relationalen Datenbank-System hat viele interessante Anwendungen, insbesondere für Sicherheit, wie eine feine körnigen Zugang, Wasserzeichen, etc.
Was unterstützen Abfrage-Sprachen in abstrakten Interpretation?
Sound