|
СТ |
The Constructive Method for Query Containment Checking |
1999 |
Farre C., Teniente E., Urpi T. |
|
|
|
Lecture Notes in Computer Science |
09.10.1999 |
|
СТ |
An Approach to Obtain Intensional Translations for Consistent View Updating |
1997 |
Costal D., Teniente E., Urpi T. |
|
|
|
Lecture Notes in Computer Science |
16.12.1997 |
|
СТ |
FOLRE: A Deductive Database System for the Integrated Treatment of Updates |
1997 |
Mayol E., Pastor J. A., Teniente E., Urpi T. |
|
|
|
Lecture Notes in Computer Science |
17.09.1997 |
|
СТ |
Validating Active Rules by Planning |
1997 |
Fraternali P., Teniente E., Urpi T. |
|
|
|
Lecture Notes in Computer Science |
17.09.1997 |
|
СТ |
Handling Conceptual Model Validation by Planning |
1996 |
Costal D., Teniente E., Urpi T., Farre C. |
|
|
|
Lecture Notes in Computer Science |
06.06.1996 |
|
СТ |
How to Tackle Schema Validation by View Updating |
1996 |
Decker H., Teniente E., Urpi T. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
