Avenues to Flexible Data Integrity Checking

Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this way, as has always been claimed, one can automatically derive strategies to check, in an incremental way, whether data pres...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Decker, H., Martinenghi, D.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer science Constraint theory Deductive databases Distributed databases Expert systems Terminology Testing Time factors
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!