Publicacions del Grup de Recerca en SGBC

Publicacions del Grup de Recerca en Sistemes de Gestió de Bases de Coneixement

Pàgina Principal del Projecte

1998

Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract)
E.Mayol, J.A.Pastor, E.Teniente, T.Urpí, C.Farré
III Jornadas de Investigación y Docencia en Bases de Datos (JIDBD'98), València, 1998, pp. 3-10

1997

An Approach to Obtain Intensional Translations for Consistent View Updating
D.Costal, E.Teniente, T.Urpí
5th Int. Conf. on Deductive and Object-Oriented Databases (DOOD'97), Montreux (Switzerland), Springer-Verlag, LNCS, 1997.

Validating Active Rules by Planning
P.Fraternali, E.Teniente, T.Urpí
3rd Int. Workshop on Rules in Database Systems (RIDS'97), Skövde (Sweden), Springer-Verlag, LNCS 1312, 1997, pp. 181-196.

FOLRE: A Deductive Database System for the Integrated Treatment of Updates
E.Mayol, J.A.Pastor, E.Teniente, T.Urpí
3rd Int. Workshop on Rules in Database Systems (RIDS'97), Skövde (Sweden), Springer-Verlag, LNCS 1312, 1997, pp. 35-50.

Structuring the Process of Integrity Maintenance
E.Mayol, E.Teniente
8th Int. Conf. on Database and Expert Systems Applications (DEXA'97), Toulouse (France), Springer-Verlag, LNCS 1308, 1997, pp. 262-275.

Comprobación del Contenimiento de Consultas Mediante Actualización de Vistas
C.Farré, E.Teniente, T.Urpí
II Jornadas de Investigación y Docencia en Bases de Datos (JIDBD'97), Madrid, 1997 (in spanish), pp. 91-99.

Automatic Synthesis of Update Transaction Programs in Deductive Databases
J.A.Pastor
Tesi Doctoral, Universitat Politècnica de Catalunya, 1997.

1996

Classification and Specification of Update Problems
E.Teniente, T.Urpí
Dagstuhl Seminar on Logic Databases and the Meaning of Change, Schlöss Dagstuhl (Germany), 1996.

Handling Conceptual Model Validation by Planning
D.Costal, E.Teniente, T.Urpí, C.Farré
8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96), Crete (Greece), Springer-Verlag, LNCS 1080, 1996, pp. 255-271.

How to Tackle Schema Validation by View Updating
H.Decker, E.Teniente, T.Urpí
5th Int. Conf. on Extending Database Technology (EDBT'96), Avignon (France), Springer-Verlag, LNCS 1057, 1996, pp. 535-549.

FOLRE: un sistema para el tratamiento integrado de actualizaciones en bases de datos
E.Teniente, C.Farré, C.Martín, E.Mayol, J.A.Pastor, J.Sistac, T.Urpí
Jornadas de Investigación y Docencia en Bases de Datos (JIDBD'96), 1996 (in spanish), pp. 132-141.

1995

Updating Knowledge Bases while Maintaining their Consistency
E.Teniente, A.Olivé
The VLDB Journal, 4(2), 1995, pp. 193-242.

A Common Framework for Classifying and Specifying Deductive Database Updating Problems
E.Teniente, T.Urpí
11th Int. Conf. on Data Engineering (ICDE'95), Taipei (Taiwan), IEEE Computer Society Press, 1995, pp. 173-183.

Supporting Transaction Design in Conceptual Modelling of Information Systems
J.A.Pastor, A.Olivé
7th. Int. Conf. on Advanced Information Systems Engineering (CAiSE'95), Jyväskylä (Finland), 1995, pp. 40-53.

Towards an Efficient Method for Updating Consistent Deductive Databases
E.Mayol, E.Teniente
Basque Int. Workshop on Information Technology (BIWIT'95), San Sebastián, IEEE Computer Society Press, 1995, pp. 113-123.

An Abductive Framework to Handle Consistency-Preserving Updates in Deductive Databases
E.Teniente
ICLP Joint Workshop: Deductive Databases and Logic Programming - Abduction in Deductive Databases and Knowledge-Based Systems, Kanagawa (Japan), GMD-Studien Nr. 266, 1995, pp. 111-126.

Supporting Transaction Design in Conceptual Modelling of Information Systems (Extended Version)
J.A.Pastor, A.Olivé
Report LSI-95-11-R, 1995.

1994

Semantic Change Computation in Deductive Databases
T.Urpí, A.Olivé
Int. Workshop on Research Issues on Data Engineering - Active Database Systems (RIDE-ADS'94), Houston (USA), IEEE Computer Society Press, 1994, pp. 19-27.

An Approach to the Synthesis of Update Transactions in Deductive Databases
J.A.Pastor, A.Olivé
5th. Int. Conf. on Information Systems and Management of Data (CISMOD'94), Madras (India), 1994, pp. 93-110.

FOLRE: Towards a System for the Integrated Treatment of Updates and Rule Enforcement in Deductive Databases
T.Urpí, E.Teniente, J.A.Pastor, E.Mayol, C.Martín
ERCIM Database Research Group Workshop on Deductive and Interoperable Databases (EDRG'94), Barcelona, 1994, pp. 129-147.

Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases
J.A.Pastor
5th. Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), Aiguablava, 1994, pp. 189-218.

Formalising Existential Rule Treatment in the Automatic Synthesis of Update Transactions in Deductive Databases
J.A.Pastor
Report LSI-94-27-R, 1994.

A Formal Method for the Synthesis of Update Transactions in Deductive Databases without Existential Rules
J.A.Pastor
Report LSI-94-22-R, 1994.

1993

Incorporating Modification Requests in Updating Consistent Knowledge Bases
E.Mayol, E.Teniente
Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD'93), Lloret de Mar, 1993, pp. 335-360.

Actualització de vistes en bases de dades relacionals: estat de la qüestió
E.Teniente
NOVATICA, maig-juny, 1993 (in catalan), pp. 41-52.

El Mètode dels Esdeveniments Interns per al Càlcul de Canvis en BD Deductives.
T.Urpí
Tesi Doctoral, Universitat Politècnica de Catalunya, 1993.

1992

Events and Event Rules in Active Databases
T.Urpí, A.Olivé
IEEE Quarterly Bulletin on Data Engineering, 15(1-4), Special Issue on Active Databases, 1992, pp. 56-60.

A Method for Change Computation in Deductive Databases
T.Urpí, A.Olivé
18th Int. Conf. on Very Large Data Bases (VLDB'92), Vancouver (Canada), Morgan-Kaufmann, 1992, pp. 225-237.

The Events Method for View Updating in Deductive Databases
E.Teniente, A.Olivé
3rd Int. Conf. on Extending Database Technology (EDBT'92), Vienna (Austria), Springer-Verlag, LNCS 580, 1992, pp. 245-260.

Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases
J.A.Pastor
3rd. Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD'92), Roses, 1992, pp. 275-300.

El Mètode dels Esdeveniments per a l'Actualització de Vistes en BD Deductives
E.Teniente
Tesi Doctoral, Universitat Politècnica de Catalunya, 1992.

Automatic Generation and Simplification of the Internal Event Rules Corresponding to a Deductive Database
J.Blècua, C.Farré, T.Urpí
Report LSI-92-35-R, Universitat Politècnica de Catalunya, 1992.

1991

An Approach to Monitoring Changes in Deductive Databases
T.Urpí
2nd Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD'91), Aiguablava, 1991, pp. 97-113.

1990

The Internal Events Method for View Updating in Deductive Databases
E.Teniente
1st Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD'90), S'Agaró, 1990, pp. 173-190.

Integrity Constraints Checking in Deductive Databases with the Internal Events Method
A.Olivé, J.A.Pastor
2nd. Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria), 1990, pp. 139-168.

Si tens problemes amb els articles disponibles en format postcript envia un missatge a l'adreça següent:

folre@lsi.upc.es

Les publicacions que no estan disponibles en format postscript es poden demanar per correu postal. Per obtenir-les envieu la vostra petició a:

Núria Sánchez.
Dept LSI (UPC). Campus Nord Mòdul C 6 C/Jordi Girona Salgado 1-3
E-08034 BARCELONA
secrelsi@lsi.upc.es

Pàgina Principal del Projecte

Publicacions del Grup de Recerca en Sistemes de Gestió de Bases de Coneixement

Pàgina Principal del Projecte

1998

1997

1996

1995

1994

1993

1992

1991

1990

Pàgina Principal del Projecte