Toni Urpí

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

2005

Checking query containment with the CQC method.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2005

2004

SVT: Schema Validation Tool for Microsoft SQL-Server.

[BibT_eX]

[DOI]

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

A New Approach for Checking Schema Validation Properties.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004

2003

On the abductive or deductive nature of database schema validation and update processing problems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Handling Existential Derived Predicates in View Updating.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Query Containment with Negated IDB Predicates.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2003

1999

The Constructive Method for Query Containment Checking.

[BibT_eX]

[DOI]

Verónica Canivell Castillo

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

1998

Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract).

[BibT_eX]

Proceedings of the III Jornadas de Investigación y Docencia en Bases de Datos, 1998

Propuesta de contenidos en bases de datos de los planes de estudio de informática.

[BibT_eX]

Pedro Belsa

Nieves R. Brisaboa

Juan Garbajosa

Jesús Manuel Maudes Raedo

Mario Piattini

Proceedings of the III Jornadas de Investigación y Docencia en Bases de Datos, 1998

Query Containment Checking as a View Updating Problem.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 9th International Conference, 1998

1997

FOLRE: A Deductive Database System for the Integrated Treatment of Updates.

[BibT_eX]

[DOI]

Proceedings of the Rules in Database Systems, Third International Workshop, 1997

Validating Active Rules by Planning.

[BibT_eX]

[DOI]

Piero Fraternali

Proceedings of the Rules in Database Systems, Third International Workshop, 1997

Comprobación del Contenimiento de Consultas mediante Actualización de Vistas.

[BibT_eX]

Proceedings of the II Jornadas de Investigación y Docencia en Bases de Datos, 1997

An Approach to Obtain Intensional Translation for Consistent View Updating.

[BibT_eX]

[DOI]

Dolors Costal

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1996

FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos.

[BibT_eX]

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

Docencia de las bases de Datos en la Facultat d'Informàtica de Barcelona.

[BibT_eX]

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

How to Tackle Schema Validation by View Updating.

[BibT_eX]

[DOI]

Hendrik Decker

Proceedings of the Advances in Database Technology, 1996

Handling Conceptual Model Validation by Planning.

[BibT_eX]

[DOI]

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

1995

A Common Framework for Classifying and Specifying Deductive Database Updating Problems.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Data Engineering, 1995

1994

Semantic Change Computation Optimization in Active Databases.

[BibT_eX]

[DOI]

Antoni Olivé

Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, 1994

1992

Evants and Events rules in Active Databases.

[BibT_eX]

[DOI]

Antoni Olivé

IEEE Data Eng. Bull., 1992

A Method for Change Computation in Deductive Databases.

[BibT_eX]

[DOI]

Antoni Olivé

Proceedings of the 18th International Conference on Very Large Data Bases, 1992

1991

An Approach to Monitoring Changes in Deductive Databases.

[BibT_eX]