INFORME FINAL PROYECTO FONDECYT REGULAR

INFORME FINAL

GOBIERNO DE CHILE

CONICYT

FONDECYT

PROYECTO FONDECYT REGULAR

1050701 2 años _{2do año}

NÚMERO PROYECTO 1 DURACIÓN AÑO DE EJECUCIÓN

Marcelo Alejandro Arenas Saavedra

INVESTIGADOR RESPONSABLE RUT

Escuela de Ingeniería - DCC143, Casilla 306, Santiago 22, Chile _{56 2 354 5821}

DIRECCION FONO

mare n a s© i ng . pu c. ci

E-mail

PERIODO QUE INFORMA _{15 / Marzo / 2005 15 / Marzo / 2007}

DESDE HASTA

CONTENIDO

(MARQUE CON UNA X EL CASILLERO QUE CORRESPONDA)

INCLUYE NO INCLUYE

X Formulario de Informe Final

X Publicaciones

X Resumen de Tesis Título/Grado

X Información acerca de inventos y patentes

Otros (especificar)

Informe Incentivo Coop. Internacional (Si corresponde) X

Firma Coinvestigadores(as) Firma Investigador(a) Responsable

CONTENIDO DEL INFORME FINAL

I. CUMPLIMIENTO DE LOS OBJETIVOS PLANTEADOS EN EL PROYECTO.

Marque con una X el casillero correspondiente.

ump imien O _{Fundamentar el cumplimiento} Objetivos _{Total Parcial No} parcial o incumplimiento . . -

1- Relational databases: To compare X the notions of query rewritability over distinct target instances and the source instance.

2 Relational databases: To study X implementable ways to materialize the core of the universal solutions from the source instance.

3 Relational databases: To extend the X classes of SQL queries for which there

is a known SQL rewriting (over some target insta nce) that gives us its certain answers.

4 Relational databases: To investigate X the notions of "uniformity" that hold

for both the canonical universal solution and the core (with respect to how the data is transiated).

5 XML: Definition of a data exchange X rule language.

6 XML: Development of a mechanism X for mapping data.

7 XML: Development of a mechanism X for answering queries.

Otro(s) aspecto(s) que Ud. considere importante(s) en la evaluación del cumplimiento de los objetivos planteados en la propuesta original o en las modificaciones autorizadas por los Consejos.

II. RESULTADOS OBTENIDOS

Describa brevemente los resultados obtenidos en el proyecto en un máximo de cinco páginas, tamaño

carta, espacio seguido. Para cada uno de los objetivos específicos, describa o resuma los resultados.

Relacione las publicaciones y/o manuscritos enviados a publicación con los objetivos específicos. Incluya en anexos, la información de apoyo que estime pertinente y necesaria para la evaluación.

Objetivos 1 al 4 (parte del proyecto sobre bases de datos relacionales):

En primer lugar, se comparó la capacidad para reescribir consultas de las tres instancias que son usadas en el intercambio de información: instancia fuente, solución canónica y core. Se demostró formalmente que en términos de esta capacidad, la instancia fuente es mejor que la solución canónica, quien a su vez es mejor que el core. Al establecer la relación exacta entre estas instancias en términos de reescritura se cumplió el primer objetivo del proyecto.

Para poder extender la clase de consultas SQL que pueden ser reescritas, y así cumplir el objetivo 3 del proyecto, se propuso un procedimiento eficiente que dada una reescritura de una consulta sobre el core, es capaz de generar una reescritura sobre la solución canónica. Cabe destacar que se conocían clases de consultas (por ejemplo, las consultas existenciales sobre la semántica basada en soluciones universales) que eran reescribibles sobre el core, pero para las cuales no se conocía reescritura sobre la solución canónica. El procedimiento antes mencionado permite construir la reescritura sobre la solución canónica para estas clases de consultas, a partir de la reescritura sobre el core. En esta parte del proyecto también se demostró que existen consultas que pueden ser reescritas sobre la solución canónica pero no sobre el core. Este último resultado es particularmente interesante porque en la literatura se ha argumentado que el core tiene una serie de ventajas sobre la solución canónica y que es la instancia a materializar, pero aquí se ha demostrado que en términos de la capacidad para reescribir consultas la solución canónica es superior al core.

Para poder construir el procedimiento mencionado en el párrafo anterior, fue necesario demostrar que es posible decidir si un elemento está en el core respondiendo algunas consultas en álgebra relaciona¡ (o equivalentemente en lógica de primer orden) sobre la solución canónica. Esta técnica además fue utilizada para construir un procedimiento que permite calcular el core desde la solución canónica en tiempo polinomial y espacio logarítmico. Cabe destacar que todos los otros procedimientos conocidos para calcular el core desde la solución canónica funcionan en tiempo y espacio poUnomial, por lo que el algoritmo propuesto en este proyecto es mucho mas eficiente en términos de manejo de espacio. Con esto se cumplió el objetivo 2 del proyecto.

Finalmente, en esta parte del proyecto se propuso una serie de herramientas para poder establecer si una consulta puede ser reescrita sobre la solución canónica o el core. Estas herramientas fueron utilizadas para ayudar a delimitar la frontera entre las consultas que pueden o no ser reescritas. En particular, se usaron para determinar nuevas clases de consultas SQL que pueden ser reescritas y también para determinar nuevos escenarios de intercambio de información y consultas SQL que no pueden ser reescritas. Cabe destacar que en la literatura había muy pocos resultados en esta dirección, y que las herramientas propuestas en esta parte del proyecto son las primeras herramientas generales en el área que pueden ser usadas para demostrar que una consulta no puede ser reescrita, forzando al sistema a encontrar otros mecanismos para responderla. También cabe destacar que para poder construir las herramientas antes mencionadas, fue necesario estudiar algunas nociones de uniformidad que se cumplen en la solución canónica y el core. En particular, se estableció que estas soluciones satisfacen ciertas nociones de "localidad". Con esto se cumplió el cuarto, y último, objetivo de la parte del proyecto sobre bases de datos relacionales.

Los resultados de esta parte del proyecto están contenidos en dos artículos: "Game-based Notions

of Locality over Finite Modeis" y "Query Rewriting in Data Exchange". El primer artículo fue

enviado el primer semestre de este año a la revista ACM Transactions Qn Database Systems (se adjunta una copia de la última versión de este articulo).

Objetivos 5 al 7 (parte del proyecto sobre bases de datos XML): En primer lugar, se propuso un marco general para especificar sistemas de intercambio de información XML, incluyendo un lenguaje general para especificar reglas de traducción entre bases de datos XML, y que está basado en patrones para árboles. Además, se establecieron algunas propiedades fundamentales de este marco general, cumpliéndose el objetivo 5 del proyecto.

En segundo lugar, se extendió la noción de solución canónica al caso de sistemas de intercambio de información XML. Para establecer las ventajas y limitaciones de esta propuesta, y además cumplir el objetivo 7 del proyecto, fue necesario estudiar la capacidad de esta solución para reescribir consultas, lo cual es, como en el caso de las bases de datos relacionales, el principal mecanismo para responder consultas. Se estableció que existe una clase de consultas sobre las cuales la reescritura es posible. Esta clase es lo suficientemente expresiva y natural como para ser usada en la práctica. También se estableció que fuera de esta clase responder consultas es costoso y que el enfoque basado en reescritura no va a funcionar. De esta forma, se delimitó de manera clara cuál es el potencial del enfoque basado en reescritura. Cabe destacar que este problema es mucho más complejo que para el caso de las bases de datos relacionales, sobre todo por los lenguajes que son usados para especificar el esquema de una base de datos XML (DTD5). En esta parte del proyecto también se propuso un procedimiento eficiente para calcular la solución canónica de una instancia fuente. Este procedimiento permite traducir información desde una base de datos XML fuente a una base de datos XML objetivo, con lo cual se cumplió el objetivo 6 del proyecto.

Los resultados mencionados en los dos párrafos anteriores están contenidos en el artículo "XML

Data Exchange: Consistency and Query Answering" que fue publicado en el 24th ACM

SIGMOD-SIGACT-SIGART Symposium on Principies of Database Systems (PODS 2005). Cabe destacar que

esta es la conferencia más importante en el área de teoría de bases de datos y que el artículo recibió el Best Paper Award en esta conferencia, por lo que fue invitado en Junio de 2005 para ser publicado en el Journal de la ACM (ver invitación adjunta).

Los fundamentos de las bases de datos XML no están tan desarrollados como para el caso de las bases de datos relacionales, por lo que en esta parte del proyecto se descubrió que existían una serie de problemas fundamentales que debían ser resueltos para poder obtener mejores resultados en el intercambio de información XML. A continuación se detalla la investigación realizada en esta parte del proyecto.

• Aunque existen lenguajes de consulta para XML, muchos de ellos no tienen una semántica clara, lo que hace muy difícil estudiar el problema de reescritura. Por esta razón, en esta parte del proyecto se propuso una metodología general para generar lenguajes de consulta para XML a partir de lenguajes más simples y con una semántica bien definida, como Core XPath y Conditional XPath. La ventaja que tiene esta metodología es que permite generar lenguajes que tienen un poder expresivo bien entendido y que pueden ser implementados eficientemente. Estos lenguajes pueden ser utilizados para consultar las bases de datos objetivo en un sistema de intercambio de información, ya que algunos fragmentos admiten reescrituras eficientes. La definición de esta metodología general para generar lenguajes de consulta para XML está contenido en el artículo "Combining Temporal Logics for Querying XML

Documents" que fue presentado en el llth International Conference on Database Theory

(ICDT 2007) en Enero de este año.

• En muchas aplicaciones se utilizan bases de datos XML de gran tamaño (de varios gigabytes). Para hacer consultas en este tipo de aplicaciones es necesario utilizar algoritmos de evaluación muy eficientes y que, en general, escanean la información una sola vez. Un problema interesante para bases de datos XML, y no resuelto, es el de establecer que lenguajes de

consulta se adecuan a este enfoque basado en un solo escaneo de la información, vale decir, que tipo de consultas pueden ser evaluadas usando este enfoque. En los últimos años se propuso en el área de verificación formal de sistemas computacionales un modelo denominado "palabra anidadas", que permite razonar sobre procesos recursivos. Este modelo es particularmente interesante porque permite modelar de manera muy natural la idea de algoritmos de evaluación de consultas que escanean la información una sola vez. En esta parte del proyecto se estudió este modelo, y en particular, se establecieron lenguajes de consulta con distintas expresividades y complejidades. Estos lenguajes pueden ser utilizados en sistemas de intercambio de información donde las bases de datos XML son de gran tamaño. Los resultados de esta parte del proyecto están contenidos en dos artículos: "First-Order and Temporal Logics for Nested Words" y "Regular Lan gua ges of Nested Words: Fixed Points,

Automata, and Synchronization". El primero fue enviado el 22 de Enero de 2007 al 22nd

Annual IEEE Symposium on Logic in Computer Science (LICS 2007), y el segundo fue enviado el 25 de Enero de 2007 al 34th International Colloquium on Automata, Languages and Programming (ICALP 2007).

En sistemas de intercambio de información es usual encontrar restricciones semánticas que deben ser satisfechas por la información en la base de datos objetivo. Por ejemplo, al traducir información desde una base de datos de un registro civil a otro se espera que el identificador de cada persona (por ejemplo el RUT) siga siendo único. En los últimos 10 años la comunidad de bases de datos ha estudiado el problema de manejar restricciones de integridad en bases de datos XML. Sin embargo, esto estudios se han concentrado mayoritariamente en el caso en que se usan lenguajes simples para especificar los esquemas de las bases de datos XML. Como en los sistemas de intercambio de información XML se usan lenguajes más complejos para los esquemas (DTDs), en esta parte del proyecto se estudió el problema de manejar restricciones de integridad en conjunto con DTDs. En particular, se definieron algunos lenguajes de restricciones de integridad sobre los cuales se puede razonar de manera automática, y se demostró que otros lenguajes no permiten este tipo de razonamiento. Estos resultados están contenidos en el artículo "Qn the Complexity of Verifying Consistency of XML Specifications" que fue aceptado para publicación en el SIAM Journal on Computing.

Finalmente, en este proyecto se decidió estudiar otros modelos de bases de datos para los cuales el problema de intercambio de información está cobrando importancia. En particular, se comenzó el estudio de las bases de datos RDF que son utilizadas en la Web Semántica. El Consorcio World Wide Web (W3C) propuso SPARQL como lenguaje de consulta para RDF, por lo cual en esta parte del proyecto se estudió este lenguaje. Se propuso una semántica formal para SPARQL, se estudió la complejidad de evaluar una consulta en este lenguaje y se propuso algunos mecanismos de optimización de consultas. Se espera que estos resultados pueden ser utilizados para diseñar sistemas de intercambio de información RDF. Los resultados de esta parte del proyecto están contenidos en el artículo "Semantics and Complexity of SPARQL" que fue publicado en el 5th International Semantic Web Conference (ISWC 2006). Cabe destacar que este artículo obtuvo Best Research Paper Award en esta conferencia, la más importante en el área de la Web Semántica.

*

III. PRODUCTOS GENERADOS POR EL PROYECTO

En esta sección debe incluir todo documento o material cuyo contenido corresponda substancialmente a los objetivos del proyecto que se informa y en los que se indique el N° del proyecto FONDECYT. Aténgase a los formatos que se incluyen para cada tipo de producto generado. Adjunte copia de los documentos no enviados previamente a FONDECYT. Utilice las hojas adicionales que sean necesarias.

Si Ud. tiene un proyecto de Incentivo a la Cooperación Internacional, destaque con (*) las publicaciones generadas como producto del mismo a continuación de las que corresponden al Regular

1. Artículos en revistas científicas nacionales o extranjeras con Comité Editorial.

Marque con una "X" lo que corresponda. Para trabajos En Prensa/ Aceptados/ Enviados adjunte copia

de carta de aceptación o de envío.

Autor(a)(es/as) Marcelo Arenas, Pablo Barceló y Leonid Libkin Título (Idioma Original) Game-based Notions of Locality over Finite Modeis Nombre Completo de la

Revista. Annals of Pure and Applied Logic

Ref. bibliográfica Año: N° Pág.

Estado de la publicación a

la fecha.*

E

Publicada Aceptada

E

Enviada

O

En preparación

¡En Prensa Otras fuentes de

financiamiento, si las hay

Proyecto PO4-067-F, Núcleo Milenio Centro de Investigación de la Web (CIW)

Autor(a)(es/as) Marcelo Arenas, Wenfei Fan y Leonid Libkin

Título (Idioma Original) On the Complexíty of Verifying Consistency of XML Specifications Nombre Completo de la

Revista. SIAM Journal on Computing (SICOMP)

Ref. bibliográfica Año: Vol. N° Pág.

Estado de la publicación a

la fecha.*

E

Publicada_{¡En Prensa} Aceptada

E

Enviada

O

En preparación Otras fuentes de

financiamiento, sitas hay

Autor(a)(es/as) Marcelo Arenas y Leonid Libkin

Título (Idioma Original) XML Data Exchange: Consistency and Query Answering Nombre Completo de la

Revista. Journal de la ACM (JACM)

Ref. bibliográfica Año: N° Pág.

Estado de la publicación a

la fecha.*

O

Publicada_{¡En Prensa}

O

Aceptada Enviada

E

En preparación Otras fuentes de

Autor(a)(es/as) Marcelo Arenas, Pablo Barceló, Ronald Fagin y Leonid Libkin Título (Idioma Original) Query Rewriting in Data Exchange

Nombre Completo de la

Revista. ACM Transactions on Database Systems (TODS)

Ref. bibliográfica Año: N° Pág.

- Estado de la publicación a

la fecha . *

O

Publicada/En Prensa

O

Aceptada

O

Enviada preparación

KEn

Otras fuentes de

financiamiento, sitas hay

Proyecto PO4-067-F, Núcleo Milenio Centro de Investigación de la Web (CIW)

2. Otras publicaciones/ productos.

Autor(a)(es/as) Marcelo Arenas, Pablo Barceló y Leonid Libkin

Título (Idioma Original) Combining Temporal Logics for Querying XML Documents Tipo de publicación o

LI

Monografía LI Seminario /Taller /Curso

producto

E

Libro LI Informe Técnico

E Capítulo de Libro E Software

Marque con una "X" lo que

LI

Mapa Patente

corresponda _E Exposición de Arte

Otro. Especificar: Artículo publicado en Proceedings of the llth International Conference on Database Theory (ICDT 2007). Volumen 4353 de Lecture Notes in Computer Science, páginas 359-373.

Editor(es) (Libros o Capítulos

de Libros)

Nombre de la Editorial/ Springer-Verlag Organización

Lugar y Fecha de Publicación País:_España _ Ciudad: Barcelona___________ Fecha: Enero 10-12, 2007

Autor(a)(es/as) Jorge Pérez, Marcelo Arenas y Claudio Gutiérrez Título (Idioma Original) Semantics and Complexity of SPARQL

Tipo de publicación o

E

Monografía

E

Seminario ¡Taller ¡Curso

producto LI Libro Informe Técnico

E

Capítulo de Libro

E

Software

Marque con una "X" lo que

E

Mapa

E

Patente

corresponda _LI Exposición de Arte

Otro. Especificar: Artículo publicado en Proceedings of the 5th International Semantic Web Conference (ISWC 2006). Volumen 4273 de Lecture Notes in Computer Science, páginas 30-43.

Editor(es) (Libros o Capítulos de Libros)

Nombre de la Editorial! Springer-Verlag Organización

Lugar y Fecha de Publicación País: USA - Athens (GA)________

Fecha: —Noviembre 5 - 9, 2006 Autor(a)(es/as) Marcelo Arenas y Leonid Libkin

Título (Idioma Original) XML Data Exchange: Consistency and Query Answering

Tipo de publicación o L Monografía LI Seminario ¡Taller ¡Curso

producto Libro Informe Técnico

E Capítulo de Libro Software

Marque con una "X- lo que _LI Mapa LI Patente

corresponda _L] Exposición de Arte

Otro. Especificar: Artículo publicado en Proceedings of the 24th ACM

SIGMOD-SIGACT-SIGART Symposium on Principies of Database Systems (PODS 2005).

Editor(es) (Libros o Capítulos de Libros)

Nombre de la Editorial! ACM Organización

Lugar y Fecha de Publicación País: _USA Ciudad: Baltimore

Fecha: - Junio 13-15, 2005

Autor(a)(es/as) Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil

Immerrnan y Leonid Libkin

Título (Idioma Original) First-Order and Temporal Logics for Nested Words

Tipo de publicación o E Monografía Seminario ¡Taller ¡Curso

producto E Libro EIJ Informe Técnico

LII Capítulo de Libro E Software

Marque con una "X- lo que _E Mapa E Patente

corresponda _{E Exposición de Arte}

Otro. Especificar: Artículo enviado el 22 de Enero de 2007 al 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

Editor(es) (Libros o Capítulos de Libros)

Nombre de la Editorial! IEEE Organización

Lugar y Fecha de Publicación País:_Polonia Ciudad: Wroclaw

Autor(a)(es/as) Marcelo Arenas, Pablo Barceló y Leonid Libkin

Título (Idioma Original) Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization

Tipo de publicación o Monografía Seminario /Taller /Curso

producto Fl Libro Informe Técnico

Capítulo de Libro Fl Software

Marque con una "X" lo que _IJ Mapa Patente corresponda _Ll Exposición de Arte

Otro. Especificar: Artículo enviado el 25 de Enero de 2007 al 34th International Colloquium on Automata, Languages and Programming (ICALP 2007)

Editor(es) (Libros o Capítulos de Libros)

Nombre de la Editorial! Springer-Verlag Organización

Lugar y Fecha de Publicación País:_Polonia Ciudad: Wroclaw Fecha: Julio 10-14, 2007

3. Presentaciones a Congresos Nacionales e Internacionales. Adjunte copia del resumen o texto de la ponencia y de la tapa de/libro de Resúmenes, si no la ha enviado previamente.

Autor(a)(es/as) Marcelo Arenas

Título (Idioma Locality of Queries and Transformations Original)

Nombre del Congreso 4th IFIP International Conference on Theoretical Computer Science

Lugar y Fecha País: Chile Ciudad: Santiago Fecha: Agosto 23-24, ₂₀₀₆

Autor(a)(es/as) Marcelo Arenas Título (Idioma XML Data Exchange Original)

Nombre del Congreso 2nd International Workshop on Exchange and Integration of Data

Lugar y Fecha País: Italia Ciudad: Brixen-_Bressanone Fecha: Junio 9-11, 2006

Autor(a)(es/as) Marcelo Arenas, Pablo Barceló, Ronald Fagin y Leonid Libkin Título (Idioma

Original) Locaily Consistent Transformations and Query Answering in Data Exchange Nombre del Congreso Isaac Newton Institute Workshop on Logic and Databases

Lugar y Fecha País: Inglaterra Ciudad: Cambridge Fecha: 27 Febrero al 3 de _{Marzo, 2006}

Autor(a)(es/as) Marcelo Arenas y Leoriid Libkin

Título (Idioma XML Data Exchange: Consistency and Query Answering Original)

Nombre del Congreso 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principies of Database Systems.

Lugar y Fecha País: USA Ciudad: Baltimore Fecha: Junio 13-16, 2005

Autor(a)(es/as) Título (Idioma Original)

Nombre del Congreso

Lugar Fecha País: Ciudad: Fecha:

4. Tesis y

/0

Memorias en ejecución y lo terminadas en el marco del proyecto. Adjunte copia del resumen no informado anteriormente y certificación de aprobación, si corresponde.

Título de la Tesis Nombre y Apellidos del(de la)/de los(las) Alumno(a)(os/as) y Tutor(a) Título! Grado Institución, Facultad, Departamento Lugar País:

Estado de Tesis En Ejecución: Terminada:

Fecha de Inicio: Fecha de Término: Título de la Tesis

Nombre y Apellidos del(de la)/de los(las) Alumno(a)(os/as) y Tutor(a) Título! Grado Institución, Facultad, Departamento Lugar País:

Estado de Tesis En Ejecución: Terminada:

Fecha de Inicio: Fecha de Término: Título de la Tesis

Nombre y Apellidos del(de la)/de los(las) Alumno(a)(os/as) y Tutor(a) Título! Grado Institución, Facultad, Departamento Lugar País:

Estado de Tesis En Ejecución: Terminada:

IV. DESTAQUE OTROS LOGROS DEL PROYECTO TALES COMO:

• Estadías de investigación.

• Formación de recursos humanos exceptuando tesistas ya informados. • Actividades de difusión y/o extensión en la temática del proyecto.

• Cualquier otro logro no contemplado en los ítem anteriores y que Ud. quiera destacar.

• El artículo "Semantics and Complexity of SPARQL" recibió el Best Research Paper Award en el 5th International Semantic Web Conference (ISWC 2006). Este premio era de 2000 USD. Cabe destacar que esta es la conferencia más importante en el área de la Web Semántica.

• El artículo "XML Data Exchange: Consistency and Query Answering" recibió el Best Paper Award en el 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principies of Database Systems (PODS 2005). Cabe destacar que esta es la conferencia más importante en el área de teoría de bases de datos.

• El artículo "XML Data Exchange: Consistency and Query Answering" fue invitado en Junio de 2005 para ser publicado en el Journal de la ACM (ver invitación adjunta). Cabe destacar que esta revista es la más importante en todo el área de computación.

• Entre el 14 de Enero y el 5 de Febrero de 2007, el investigador principal realizó una estadía de investigación en el grupo de bases de datos de la Universidad de Edinburgh. En ese periodo se terminó la investigación sobre palabras anidadas, y fueron enviados los artículos "First-Order and Temporal Logics for Nested Words" y 'Regular Languages of Nested Words: Fixed Points, A utomata, and Synchronization ".

y. RESUMEN

Describa en forma precisa y breve el tópico general del proyecto, sus metas y objetivos y los resultados alcanzados. Utilice un lenguaje apropiado para la comprensión del público no especialista en el tema.

Esta información podrá ser difundida. (No debe exceder este espacio en fuente Verdana 9)

El problema de intercambio de información ha ido cobrando cada vez más importancia por la forma distribuida en que los datos están almacenados hoy en día. El principal objetivo de este proyecto fue la formulación de un marco teórico claro para el intercambio de información tanto en bases de datos relacionales como en bases de datos XML, y que pueda servir como una base sólida para futuras implementaciones.

Al comenzar este proyecto, para las bases de datos relacionales ya existía una propuesta adecuada para un marco teórico para el intercambio de información. Por esta razón, el objetivo específico de esta parte del proyecto fue extender los resultados para este marco. En particular, se comparó la capacidad para responder consultas de las dos alternativas que son usadas en este marco para intercambiar información, una basada en la materialización de una solución llamada "canónica" y la otra basada en la materialización de una solución llamada "core". Se demostró formalmente que en términos de esta capacidad, la solución canónica es estrictamente mejor que el core, y en particular, se propuso un procedimiento eficiente que indica como evaluar una consulta en la solución canónica si se sabe como evaluarla sobre el core. Todos estos resultados son particularmente interesantes porque en la literatura se ha argumentado que el core tiene una serie de ventajas sobre la solución canónica y que es la

mejor alternativa al momento de intercambiar información. Sin embargo, en esta parte del proyecto se demostró que en términos de la capacidad para responder consultas la solución canónica es superior al core, entregado nuevas luces a este problema.

Para el caso de las bases de datos XML, en este proyecto se propuso un marco general para especificar sistemas de intercambio de información XML, incluyendo un lenguaje general para especificar reglas de traducción entre bases de datos XML. Cabe destacar que al comenzar este proyecto no existía un marco teórico adecuado para el intercambio de información XML, por lo que fue necesario empezar por su definición. En esta parte del proyecto también se propuso un procedimiento eficiente para intercambiar información XML, y que funciona dentro del marco antes mencionado. Para establecer las ventajas y limitaciones de esta propuesta, fue necesario estudiar su capacidad para responder consultas. Se estableció que existe una clase de consultas que pueden ser evaluadas de manera eficiente, y que es lo suficientemente expresiva y natural como para ser usada en la práctica. También se estableció formalmente que fuera de esta clase responder consultas es costoso, con lo cual se delimitó de manera clara cuál es el potencial del procedimiento propuesto para intercambiar información y responder consultas.