| 2000 |
|---|
| 12 | | Matilde Celma,
Juan Carlos Casamayor:
Diseño dirigido por restricciones: una metodología de desarrollo de bases de datos relacionales basada en el modelo Entidad-Relación.
JISBD 2000: 347-356 |
| 1996 |
|---|
| 11 | | Matilde Celma,
Laura Mota-Herranz,
María Angeles Pastor,
Juan Carlos Casamayor:
Sobre la enseñanza des las bases de datos: teoría y diseño.
JIDBD 1996: 55-64 |
| 1995 |
|---|
| 10 | | Juan Carlos Casamayor,
Hendrik Decker:
Hypothetical Query Answering in First-Order Databases.
SCAI 1995: 368-372 |
| 1994 |
|---|
| 9 | | Hendrik Decker,
Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases.
GULP-PRODE (2) 1994: 32-46 |
| 1993 |
|---|
| 8 | | Matilde Celma,
Juan Carlos Casamayor,
Hendrik Decker:
Improving Integrity Checking by Compiling Derivation Paths.
Australian Database Conference 1993: 145-160 |
| 7 | | Hendrik Decker,
Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases.
DAISD 1993: 267-286 |
| 6 | | Francisco Marqués,
Juan Carlos Casamayor:
Consistency Verification of Deductive Database Schemes.
DAISD 1993: 287-307 |
| 5 | | Juan Carlos Casamayor,
Francisco Marqués,
Hendrik Decker:
A Mechanism for Verification of Knowledge Base Scheme Specifications.
EUROVAV 1993: 103-115 |
| 4 | | Hendrik Decker,
Juan Carlos Casamayor:
A Prolog-like Paradigm for Reasoning in First-Order Theories.
GULP 1993: 217-236 |
| 1992 |
|---|
| 3 | | Georg Nüssel,
Hendrik Decker,
Matilde Celma,
Juan Carlos Casamayor:
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
DAISD 1992: 199-216 |
| 2 | | Juan Carlos Casamayor:
An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.
DAISD 1992: 249-274 |
| 1991 |
|---|
| 1 | | Matilde Celma,
Juan Carlos Casamayor,
Laura Mota-Herranz,
María Angeles Pastor,
Francisco Marqués:
A Derivation Path Recording Method for Integrity Checking in Deductive Databases.
DAISD 1991: 185-203 |
