English version

Docència

Enginyeries informàtiques: Facultat d'Informàtica de Barcelona (FIB). - Sistemes d'Informació per a les Organitzacions (SIO) - Gestió de Sistemes Informàtics (GSI) - Planificació i Gestió de Sistemes d'Informació (PGSI) - Gestió de Projectes Informàtics (GPI) Programa de Doctorat: Programa de Software - Organització, Estratègia i Sistemes d'Informació

Recerca

Publicacions

1997

• 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.

  Automatic Synthesis of Update Transaction Programs in Deductive Databases

  J.A.Pastor

  Tesi Doctoral, Universitat Politècnica de Catalunya, 1997.

  1996

  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

  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.

  Supporting Transaction Design in Conceptual Modelling of Information Systems (Extended Version)

  J.A.Pastor, A.Olivé

  Report LSI-95-11-R, 1995.

  1994

  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

  1992

  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.

  1991

  1990

  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.

  

  Pàgina Principal UPC

  Pàgina Principal LSI

  Pàgina Principal SI

  
  
  Darrera actualització: 4 de Març de 1998