Вы здесь

Decker H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases 1996 Decker H. Logic Programming 12.03.1998
СТ Drawing Updates From Derivations 1990 Decker H. Lecture Notes in Computer Science 19.03.1991
СТ 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
СТ How to Tackle Schema Validation by View Updating 1996 Decker H., Teniente E., Urpi T. Lecture Notes in Computer Science 24.04.1996
СТ On Generalized Cover Axioms 1991 Decker H. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ Some Notes on Knowledge Assimilation in Deductive Databases 1998 Decker H. Lecture Notes in Computer Science 03.12.1998
СТ Soundcheck for SQL 2001 Decker H. Lecture Notes in Computer Science 05.04.2001