Author of the publication

Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.

. Semantics in Databases, volume 2582 of Lecture Notes in Computer Science, page 63-81. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A General Procedure to Test Containment of Conjunctive Queries., , , and . INAP, page 1-10. The Prolog Association of Japan, (2001)Préserver l'intégrité d'une base de données déductive: une méthode et son implementation., and . BDA, page 9-20. INRIA, (1988)A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance., , , and . CAiSE Workshops (1), page 79-91. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management.. UNISCON, volume 137 of Lecture Notes in Business Information Processing, page 13-24. Springer, (2012)Non-linear Data Stream Compression: Foundations and Theoretical Results., and . HAIS (1), volume 7208 of Lecture Notes in Computer Science, page 622-634. Springer, (2012)A Mechanism for Verification of Knowledge Base Scheme Specifications., , and . EUROVAV, page 103-115. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.Recovery Protocols for Replicated Databases - A Survey., , , and . AINA Workshops (1), page 220-227. IEEE Computer Society, (2007)An Analytical Design of a Practical Replication Protocol for Distributed Systems., , , and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 248-261. Springer, (2004)How to Tackle Schema Validation by View Updating., , and . EDBT, volume 1057 of Lecture Notes in Computer Science, page 535-549. Springer, (1996)Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution., and . CSL, volume 440 of Lecture Notes in Computer Science, page 98-115. Springer, (1989)