Вы здесь

Decker H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Historical and Communicational Aspects of Paraconsistency in view of the Logic Foundation of Databases 2003 Decker H. Lecture Notes in Computer Science 01.05.2003
СТ Soundcheck for SQL 2001 Decker H. Lecture Notes in Computer Science 05.04.2001
СТ Some Notes on Knowledge Assimilation in Deductive Databases 1998 Decker H. Lecture Notes in Computer Science 03.12.1998
СТ An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases 1996 Decker H. Logic Programming 12.03.1998
СТ How to Tackle Schema Validation by View Updating 1996 Decker H., Teniente E., Urpi T. Lecture Notes in Computer Science 24.04.1996
СТ A Slick Procedure for Integrity Checking in Deductive Databases 1994 Decker H., Celma M. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ On Generalized Cover Axioms 1991 Decker H. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ Drawing Updates From Derivations 1990 Decker H. Lecture Notes in Computer Science 19.03.1991