2000 |
7 | | Laura Mota-Herranz,
Matilde Celma,
Hendrik Decker:
Transaction Trees for Knowledge Revision.
FQAS 2000: 182-191 |
1998 |
6 | EE | Laura Mota-Herranz,
Matilde Celma:
Automatic Generation of Trigger Rules for Integrity Enforcement in Relational Databases with View Definition.
FQAS 1998: 286-297 |
5 | | Laura Mota-Herranz:
Generación automática de reglas restauradoras de la consistencia en una base de datos deductiva.
JIDBD 1998: 67-78 |
1996 |
4 | | 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 |
1994 |
3 | EE | Matilde Celma,
Carlos Garcia,
Laura Mota-Herranz,
Hendrik Decker:
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.
ICDE 1994: 214-222 |
1992 |
2 | | Matilde Celma,
Laura Mota-Herranz:
Foundations of Simplified Integrity Checking Reviewed.
DEXA 1992: 90-95 |
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 |