From post

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

, , , и . DAISD, том LSI/92/19 из Report de recerca, стр. 199-216. Universitat Politecnica de Catalunya (UPC), (1992)

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.

 

Другие публикации лиц с тем же именем

Préserver l'intégrité d'une base de données déductive: une méthode et son implementation., и . BDA, стр. 9-20. INRIA, (1988)A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance., , , и . CAiSE Workshops (1), стр. 79-91. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)A Slick Procedure for Integrity Checking in Deductive Databases., и . ICLP, стр. 456-469. MIT Press, (1994)A General Procedure to Test Containment of Conjunctive Queries., , , и . INAP, стр. 1-10. The Prolog Association of Japan, (2001)Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity.. SDKB, том 7693 из Lecture Notes in Computer Science, стр. 149-173. Springer, (2011)A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data., , , , и . TEAA, том 3888 из Lecture Notes in Computer Science, стр. 29-43. Springer, (2005)How to Tackle Schema Validation by View Updating., , и . EDBT, том 1057 из Lecture Notes in Computer Science, стр. 535-549. Springer, (1996)An Analytical Design of a Practical Replication Protocol for Distributed Systems., , , и . FORTE Workshops, том 3236 из Lecture Notes in Computer Science, стр. 248-261. Springer, (2004)Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution., и . CSL, том 440 из Lecture Notes in Computer Science, стр. 98-115. Springer, (1989)Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management.. UNISCON, том 137 из Lecture Notes in Business Information Processing, стр. 13-24. Springer, (2012)