СТ |
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 |