Autor der Publikation

A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.

, , , und . DAISD, Volume LSI/92/19 von Report de recerca, Seite 199-216. Universitat Politecnica de Catalunya (UPC), (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management.. UNISCON, Volume 137 von Lecture Notes in Business Information Processing, Seite 13-24. Springer, (2012)Préserver l'intégrité d'une base de données déductive: une méthode et son implementation., und . BDA, Seite 9-20. INRIA, (1988)A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance., , , und . CAiSE Workshops (1), Seite 79-91. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)An Analytical Design of a Practical Replication Protocol for Distributed Systems., , , und . FORTE Workshops, Volume 3236 von Lecture Notes in Computer Science, Seite 248-261. Springer, (2004)Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity.. SDKB, Volume 7693 von Lecture Notes in Computer Science, Seite 149-173. Springer, (2011)A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data., , , , und . TEAA, Volume 3888 von Lecture Notes in Computer Science, Seite 29-43. Springer, (2005)How to Tackle Schema Validation by View Updating., , und . EDBT, Volume 1057 von Lecture Notes in Computer Science, Seite 535-549. Springer, (1996)Über das Üpdate"-Problem in Deduktiven Datenbanken.. Grundlagen von Datenbanken, Volume Ni. 90-02 von Informatik-Berichte TU Braunschweig, Seite 23-26. TU Braunschweig, (1990)A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases., , , und . DAISD, Volume LSI/92/19 von Report de recerca, Seite 199-216. Universitat Politecnica de Catalunya (UPC), (1992)Knowledge Assimilation in Deductive Databases - An Overview.. DAISD, Volume LSI/92/19 von Report de recerca, Seite 217-247. Universitat Politecnica de Catalunya (UPC), (1992)