CiteSeer.IST Home  Documents on the same site as:  Integrated Treatment of Updates in Deductive.. - Mayol, Pastor..   (Correct)

http://www-lsi.upc.es/~teniente/troba_report.html

An Approach to Obtain Intensional Translations for.. - Costal, Teniente, Urpí (1997)   (Correct)
An Abductive Framework to Handle Consistency-preserving Updates.. - Teniente (1995)   (Correct)
FOLRE: Towards a System for the Integrated.. - Urpí, Teniente.. (1994)   (Correct)
Structuring the Process of Integrity Maintenance - Mayol, Teniente (1997)   (Correct)
The Events Method for View Updating in Deductive Databases - Teniente, Olivé (1992)   (Correct)
How to Tackle Schema Validation by View Updating - Decker, Teniente, Urpi (1996)   (Correct)
FOLRE: a Deductive Database System for the Integrated.. - Mayol, Pastor..   (Correct)
Updating Knowledge Bases while Maintaining their Consistency - Teniente, Olivé (1995)   (Correct)
A Common Framework for Classifying and Specifying Deductive.. - Teniente, Urpí (1995)   (Correct)
Integrated Treatment of Updates in Deductive.. - Mayol, Pastor..   (Correct)
Validating Active Rules by Planning - Fraternali, Teniente, Urpí (1997)   (Correct)
Incorporating Modification Requests in Updating Consistent.. - Mayol, Teniente (1993)   (Correct)
Classification and Specification of Update Problems - Teniente, Urpí   (Correct)
Towards an Efficient Method for Updating Consistent Deductive .. - Mayol, Teniente (1995)   (Correct)
Handling Conceptual Model Validation by Planning - Costal, Teniente, Urpí, Farré (1996)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC