COM516N NACIONAL DE NVESTK/CR} CI E NTÍFICA Y TECOLÓG GOBIE RNO DE CH ILE COM1SION NACIONAL DE INVESTIGAC1ON CIENCIA Y TECNOLOGIA VERSION OFICIAL

Tamaño: px
Comenzar la demostración a partir de la página:

Download "COM516N NACIONAL DE NVESTK/CR} CI E NTÍFICA Y TECOLÓG GOBIE RNO DE CH ILE COM1SION NACIONAL DE INVESTIGAC1ON CIENCIA Y TECNOLOGIA VERSION OFICIAL"

Transcripción

1 ON IGYT COM516N NACIONAL DE NVESTK/CR} CI E NTÍFICA Y TECOLÓG GOBIE RNO DE CH ILE COM1SION NACIONAL DE INVESTIGAC1ON CIENCIA Y TECNOLOGIA VERSION OFICIAL FECHA: 16/3/2009 PROYECTO REGULAR N INVESTIGADOR RESPONSABLE: ARENAS SAAVEDRA MARCELO ALEJANDRO FONDO NACIONAL DE DESARROLLO CIENTI FICO Y TECNOLOGICO (FONDECYT) Bernarda Morín Providencia - casilla 297- y. Santiago 21 Iclefoijo: FAX conic\ (ci

2 INFORME FINAL PROYECTO FONDECYT REGULAR N PROYECTO: DURACIÓN: 2 años AÑO ETAPA: 2008 TÍTULO PROYECTO: METADATA MANAGEMENT FOR RFLATJONAL AND XML DATA EXCHAN(iE SYSTEMS INGENIFRIA EN ('OMP(TIA('ION DISCIPLINA PRINCIPAL: GRUPO DE ESTUDIO: INGENIERIA 2 INVESTIGADOR(A) RESPONSABLE: ARENAS SAAVEDRA MARCE! () ALEJANDRO DIRECCIÓN : COMUNA : Providencia CIUDAD: SANTIAGO REGIÓN: MFFROPOIJTANA FONO: EM Al L : maren as ng. puc ci INFORME OBJETIVOS Cumplimiento de los Objetivos planteados en el Proyecto. Recuerde que los objeiis os del proyecto no se refieren a listar actividades desarrolladas sino a los objetivos desarrollados No CUMPLIMIENTO FUNDAMENTO OBJETIVOS \Wc would lile to continue ihe invesilgation of (he FOrAl inversi on operator initiated in "Inverti ng Schema Mappings", R. Fagin, PODS In particular, we would like to study (he complcxitv of inverting sehema mappings, investigate the conseqiiences uf adding intcgrity eoiisirainls hoth to sourec and target schcmas (whieh are usually, given in praciicc) aud provide practica solutions lo thc prohlem of inveriing seherna rnappings. 2 Wc would like lo identify what oihcr operators, TOTAl, apari from composition and inversioii, are used in pracliec in metadata management. Wc would like to provide precise semantics for these operators, stud y' their fundamental properties and give cfficient algoriihins for computing them. Wc would Iikc to develop notions for studying the 3 1 OlAl expressiveness of sets of seheina mappings operators and, in particular, Wc svould like lo understand under vhieh cortditioiis a set of operators can he considered complete. 4 Wc kvolild like tu givc a rigorous semanties to thc l'olal. eompo.sition of XML sehenia niappings and i nvesiigate ihe niain properties of thjs operator. lii particular, we would like to dcv elop efficicnt algoriihms for coltlputing this operator.

3 5 In the relational pan, %vc propose lo develop FOFA! diffcrcnt notions for studying thc cxprcssivcness of a set of relational scherna mapping operators and, in particular, we propose to develop a notion of completeness that can be used lo characterize good sets of scherna mapping operators. \Ve plan lo extend these notions to the case of XML, and then we woiild like lo apply these extended notions to ohtain a list of operators that can be uscd as [he core operators of XML mctadata management systems. Otro(s) aspecto(s) que Ud. considere importante(s) en la evaluación del cumplimiento de objetivos planteados en la propuesta original o en las modificaciones autorizadas por los Consejos.

4 RESULTADOS OBTENIDOS: Para cada uno de los objetivos específicos, describa o resuma los resultados. Relacione las publicaciones y /0 manuscritos enviados a publicación con los objetivos específicos. En la sección Anexos incluya información adicional que considere pertinente para efectos de la evaluación. La extensión máxima de esta sección es de 5 páginas (letra tamaño 10, Anal o Verdana). Objetivos 1 al 3 (parte relacional del proyecto): El primer objetivo del proyecto era continuar con la investigación que se había estado desarrollando sobre el operador de inversión en sistemas de intercambio de información relacionales. Cabe destacar que la semántica de este operador había sido propuesta por Fagin en el artículo 'Inverting schema mappings" que fue publicado en el ACM Symposium on Principies of Database Systems 2006 (PODS 2006). En ese artículo ya se habían identificado algunas limitaciones de esta primera propuesta, por lo que Fagin en conjunto con otros investigadores propuso una generalización en el artículo 'Quasiinverses of schema mappings" que fue publicado en el ACM Symposium on Principies of Database Systems 2007 (PODS 2007). La motivación principal para esta nueva definición era encontrar una noción de inverso que fuera aplicable a la clase más popular de reglas que es usada en sistemas de intercambio de información, que aquí llamaremos dependencias CQ-to-CQ (CQ representa el conjunto de las consultas conjuntivas). Aunque la noción de quasi-inverso no es aplicable a toda la clase de dependencias CQ-to-CQ, en el sentido de que hay conjuntos de reglas especificadas por este tipo de dependencias que no tienen quasi-inversa, en el artículo 'Quasi-inverses of schema mappings" se muestra que esta noción es aplicable en muchos casos naturales. Lamentablemente, la definición de la noción de quasi-inversa es complicada, lo que hace dudar de su posible utilización en la práctica. Además, como se mencionó arriba, esta definición no alcanza a abarcar a la clase de dependencias CQ-to-CQ, que son las reglas de traducción más usadas en la práctica en sistemas de intercambio de información. De hecho, es posible encontrar ejemplos simples y naturales de reglas especificadas por dependencias CQ-to-CQ que no tienen quasi-inversa. Por estas razones, en esta parte del proyecto se decidió que era necesario desarrollar una noción más simple de inversa que incluyera a la clase de dependencias CQ-to-CQ. En conjunto con el alumno de doctorado Jorge Pérez (financiado por una beca de doctorado Conicyt) y el alumno de magíster Cristian Riveros (financiado por este proyecto), se desarrolló una noción de recuperación de información para sistemas de intercambio de información. Cabe destacar que esta noción fue propuesta para sistemas generales, y no sólo para sistemas cuyas reglas de traducción están dadas por dependencias CQ-to-CQ. Esta noción dio lugar a una noción de orden, que fue utilizada para definir el operador de recuperación máximo (maximum recove,y en Inglés). La definición del operador de recuperación máximo es lo suficientemente simple como para ser usada en la práctica, por lo que en esta parte del proyecto se decidió tomar esta noción como punto de partida para el desarrollo de una teoría de inversión para sistemas de intercambio de información. Los resultados de esta parte del proyecto son muy satisfactorios, por los motivos que se explica a continuación. En primer lugar, se demostró que el operador de recuperación máximo está definido para cualquier sistema de intercambio de información dado por dependencias CQ-to-CQ. De hecho, no sólo se demostró esto sino que además se probó que este operador también esta definido si se consideran restricciones de integridad sobre los datos fuente y destino, e incluso si CQ es reemplazado por algebra relaciona en el esquema destino. Ninguna de las propuestas anteriores tenía esta condición. En segundo lugar, se demostró que el operador de recuperación máximo es una generalización de los operadores de inversión y quasi-inversión. De hecho, se demostró que si un sistema de intercambio de información es invertible, entonces los operadores de inversa y recuperación máximo coinciden, y se estableció un resultado similar para el caso de la quasiinversa. Estos resultados muestran que toda la investigación que se había realizado para los operadores de inversión y quasi-inversión es aplicable al operador de recuperación máximo, y que existe una definición alternativa simple para la nociones de inversa y quasi-inversa. En tercer lugar, se desarrollaron algoritmos para calcular el operador de recuperación máximo, y se estudio de manera formal el tipo de lenguaje que es necesario utilizar para expresar este operador. En particular, se desarrolló un algoritmo de tiempo cuadrático para calcular el operador de recuperación máximo para sistemas de intercambio de información especificados por dependencias CQ-to-CQ totales. Este tipo de dependencias han sido

5 extensamente estudiadas en el contexto de sistemas de intercambio de información. En particular, para este tipo de dependencias se conocía un algoritmo exponencial para el cálculo de la inversa y la quasi-inversa. De los resultados descritos en el párrafo anterior, se deduce que el algoritmo cuadrático antes mencionado también puede ser utilizado para calcular estos operadores, mejorando sustancialmente el tiempo de computo de la inversa y la quasi-inversa para el caso de dependencias CQ-to-CQ totales. También se desarrolló un algoritmo general para el cálculo del operador de recuperación máximo, que funciona en tiempo exponencial. Los resultados mencionados en los párrafos anteriores están contenidos en el artículo 'The Recovery of a Schema Mapping: Bringing Exchanged Data Back", que fue presentado en el 27th ACM Symposium on PrincipIes of Database Systems (PODS 2008), que se desarrolló en Vancouver, Canadá, en Junio de Cabe destacar que esta es la conferencia internacional más importante en el área de teoría de bases de datos, y en ella se han publicado los artículos más importantes sobre la noción de inversa en sistemas de intercambio de información. Cabe también destacar que este artículo fue considerado uno de los mejores de esta conferencia, y fue invitado en Julio de 2008 para ser publicado en el ACM Transactions on Database Systems, la revista más importante en el área de bases de datos. En el artículo enviado a esta revista, también titulado ' 'The Recovery of a Schema Mapping: Bringing Exchanged Data Back", fueron incluidos algunos resultados adicionales como un nuevo algoritmo para el cálculo del maximum recovery basado en la noción de reescritura de consultas en bases de datos relacionales, y la demostración de que para expresar el maximum recovery en los lenguajes usados en los artículos antes mencionados es necesario en algunos casos utilizar una especificación de tamaño exponencial. En esta parte del proyecto, también se estudió otros operadores propuestos en el área de intercambio de información relaciona, y en particular se estudió las propiedades que debería tener un buen conjunto de estos operadores. Una de las conclusiones de esta investigación fue que la propiedad de clausura es fundamental para el desarrollo de un conjunto de operadores para estos sistemas de intercambio. Un lenguaje L para intercambio de información satisface la propiedad de clausura para un operador P (o es cerrado para P), si el resultado de aplicar P a una especificación escrita en el lenguaje L también puede ser expresado en el lenguaje L. Un ejemplo de esta propiedad es el resultado obtenido por Fagin et al. en el artículo ' Composing schema mappings: Second-order dependencies to the rescue" (publicado en ACM Transactions on Database Systems), donde se muestra que la extensión de segundo orden del lenguaje CQto-CQ es cerrado bajo el operador de composición. En esta parte del proyecto se estudió en profundidad el problema de desarrollar un lenguaje para intercambio de información que sea cerrado bajo alguna noción de inverso. En particular, la noción de maximum recovery sirvió como el punto de partida para el desarrollo de este lenguaje. De manera precisa, se extendió la noción de maximum recovery con la inclusión de un lenguaje de consulta C como parámetro, la que fue llamada C-maximum recovery. Esta nueva noción permite capturar todas las nociones anteriores, y además es la primera noción de inverso en el área de intercambio de información para la cual se tiene un lenguaje cerrado; en esta parte del proyecto se demostró que la extensión de CQ-to-CQ con desigualdades en la fuente es cerrado bajo CQ-maximum recovery. Este resultado es particularmente interesante en la práctica, ya que la extensión de CQ-to-CQ con desigualdades en la fuente es un lenguaje que tiene todas las buenas propiedades de CQ-to-CQ para el intercambio de información. Además, en esta parte del proyecto se desarrollaron algoritmos para calcular esta noción de inverso. Como uno de los objetivos de esta parte del proyecto era desarrollar conjuntos de operadores en sistemas de intercambio de información con buenas propiedades, también se estudió el problema de construir lenguajes para intercambio de información que sean cerrados bajo un conjunto de estos operadores. Se identificó como el mayor problema para este desarrollo la combinación entre inverso y composición. Entre los resultados de esta parte del proyecto, cabe destacar el desarrollo de un primer lenguaje cerrado bajo las nociones de CQmaximum recovery y composición. Este resultado es muy interesante desde un punto de vista práctico ya que este lenguaje tiene muy buenas propiedades para el intercambio de información, y además en el proyecto se propusieron algoritmos para calcular las nociones de CQ-maximum recovery y composición para este lenguaje. Como último objetivo de esta parte del proyecto, se decidió desarrollar un lenguaje para intercambio de información que incluyera a la clases de mapeos CQ-to-CQ y fuera cerrado bajo composición. En esta parte del proyecto se demostró que era necesario introducir un nuevo operador de composición para lograr esto, el cual fue llamado CQ-composición. Además, se propuso un lenguaje que es cerrado bajo CQ-composición y que tiene buenas propiedades con respecto a CQ-maximum recovery. En particular, una conjetura de esta parte del proyecto es

6 que este lenguaje es cerrado bajo CQ-maximum recovery, Actualmente se sigue explorando algunas posibilidades para demostrar esto. Cabe destacar que una consecuencia de la investigación mencionada en el párrafo anterior es el desarrollo del único algoritmo polinomial conocido para el cálculo de inverso, quasi-inverso, maximum recovery y C-maximum recovery. Este resultado es particularmente interesante desde un punto de vista práctico, ya que puede permitir el desarrollo de sistemas de operadores eficientes en el marco de los sistemas de intercambio de información. Este resultado, junto con los otros resultados mencionados sobre el estudio de la propiedad de clausura para las nociones de inverso y composición, están contenidos en el artículo 'Towards Unifying Inversion and Composition of Schema Mappings", que será enviado para publicación al 13th International Conference on Database Theory. Cabe destacar que este artículo fue escrito en conjunto con el alumno de doctorado Jorge Pérez (financiado por una beca de doctorado Conicyt) y los alumnos de magíster Juan Reutter y Cristian Riveros (ambos financiados por este proyecto). Finalmente, es importante señalar que los lenguajes de consulta fueron identificados como un parámetro fundamental para el desarrollo de las nociones de inverso. Por esta razón, también fue necesario estudiar el problema de utilizar lenguajes de consultas en el contexto de los sistemas de intercambio de información. En particular, dado que el uso de las desigualdades fue identificado como un parámetro fundamental para el desarrollo de un lenguaje para intercambio de información cerrado bajo CQ-maximum recovery, fue necesario estudiar en detalle la clase de las consultas conjuntivas con desigualdades en el contexto de los sistemas de intercambio de información. Los resultados de esta investigación están contenidos en el artículo 'Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries", que fue aceptado para publicación en el 12th International Conference on Database Theory, a realizarse en Marzo de 2009 en San Petersburgo, Rusia. Cabe destacar que este artículo fue escrito en conjunto con el alumno de magíster Juan Reutter (financiado por este proyecto). Objetivos 4 y 5 (parte XML del proyecto): En esta parte del proyecto, se estudió los operadores de composición e inverso en el contexto del marco para intercambio de información XML propuesto por el investigador principal en el artículo 'XML Data Exchange: Consistency and Query Answering" (publicado en el Journal de la ACM). En primer lugar, se dio una semántica formal al operador de composición en este contexto, y se estudió sus propiedades fundamentales. En particular, se propuso un lenguaje que es cerrado bajo composición, y que extiende a los lenguajes propuestos en el artículo ' 'XML Data Exchange: Consistency and Query Answering" con cuantificación de segundo orden. También se demostró que esta extensión de segundo orden es necesaria. En segundo lugar, se mostró que la noción de maximum recovery propuesta en el artículo ' 'The Recovery of a Schema Mapping: Bringing Exchanged Data Back" (publicado en PODS 2008) también puede ser utilizada en el contexto de XML. En particular, se dio una semántica formal al operador de maximum recovery en el contexto de los sistemas de intercambio de información XML, y también a la extensión de esta noción que utiliza un lenguaje de consulta como parámetro (llamado C-maximum recovery). Finalmente, se estudió el problema de desarrollar lenguajes para intercambio de información XML que sean cerrados bajo composición e inversa. Cabe destacar que en esta parte del proyecto se decidió continuar con una línea de investigación que había sido iniciada por el investigador principal en el proyecto Fondecyt ' 'Data Exchange in Relational and XML Data". Como se menciona en ese proyecto, en muchas aplicaciones se utilizan bases de datos XML de gran tamaño, para las que se necesita de algoritmos de evaluación de consultas muy eficientes. En particular, estos algoritmos pueden escanear 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 estudio este modelo, y en particular, se establecieron lenguajes de consultas 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 y, en particular, este tipo de lenguajes pueden ser utilizados en la definición de la noción de C-maximum recovery para los sistemas de intercambio de información XML, la cual utiliza como parámetro un lenguaje de consulta. Los resultados de esta parte del proyecto están contenidos en tres artículos: "First-Order and Temporal Logics for

7 Nested Words" (publicado en el 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007), "Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization" (publicado en el 34th International Colloquium on Automata, Languages and Programming, ICALP 2007) y "First-Order and Temporal Logics for Nested Words" (publicado en la revista Logical Methods in Computer Science). Cabe destacar que el Annual IEEE Symposium on Logic in Computer Science es considerada la conferencia internacional más importante en el área de lógica computacional, y que el artículo "First-Order and Temporal Logics for Nested Words" fue considerado uno de los mejores en la versión 2007 de esta conferencia. Por esta razón fue invitado para publicación a la revista Logical Methods in Computer Science, la revista más importante en el área de lógica computacional. Resultados adicionales: Finalmente, en este proyecto se decidió estudiar otros modelos de bases de datos para los cuales el problema de intercambio de información es importante, y los operadores desarrollados en este proyecto pueden ser de utilidad. En particular, se continuó el estudio de las bases de datos RDF que son utilizadas en la Web Semántica, y que había sido iniciado en el proyecto Fondecyt ' Data Exchange in Relational and XML Data" del investigador principal. En primer lugar, dada la importancia de los lenguajes de consulta en la definición de la noción de C-maximum recovery, se continuó con el estudio del lenguaje de consulta SPARQL para RDF, el cual fue propuesto por el consorcio World Wide Web (W3C). El resultado de esta investigación está contenido en el artículo "Semantics and Complexity of SPARQL", que fue enviado para publicación a la revista ACM Transactions on Database Systems. En segundo lugar, dada la importancia actual de RDFS para especificar recursos en la Web, y la importancia de los lenguajes de consulta para la definición de la noción de inverso, se propuso un primer lenguaje de consulta para RDFS, y se estudió algunas de sus propiedades fundamentales como la complejidad de evaluar una consulta en este lenguaje. El resultado de esta investigación está contenida en tres artículos: "An Extension of SPARQL for RDFS" (publicado en el Joint ODBIS & SWDB workshop on Semantic Web, Ontologies, Databases), "nsparql: A Navigational Language for RDF" (publicado en el 7th International Semantic Web Conference, ISWC 2008), y "nsparql: A Navigational Language for RDF" (enviado para publicación al Journal of Web Semantics). Cabe destacar que la International Semantic Web Conference es la conferencia internacional más importante en el área de la Web Semántica.

8 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. La extensión máxima de esta sección es de 1 página (letra tamaño 10, Anal o Verdana). Entre el 2 y el 9 de Junio de 2007, el investigador principal realizó una estadía de investigación en el grupo de teoría de IBM Almaden (CA, USA). El investigador principal fue invitado por Ronald Fagin y Phokion Kolaitis, y la estadía fue financiada por IBM. Cabe destacar que el grupo de teoría de IBM Almaden es reconocido como uno de los grupos de investigación que ha realizado mayores aportes al desarrollo de la teoría de los sistemas de intercambio de información. En particular, el marco teórico usado actualmente para estos sistemas fue desarrollado por Ronald Fagin y Phokion Kolaitis en conjunto con otros investigadores. La difusión de los resultados de este proyecto se hizo a través de las distintas charlas que fueron dadas en congresos, y que son mostradas en la sección CONGRESOS de este documento. Cabe también destacar que el investigador principal fue invitado a dar la charla "The Recovery of a Schema Mapping en el Symposium on XML, Logic, and Automata que se desarrolló entre los días 18 y 20 de Julio de 2008 en Grantown-on-Spey, Escocia. En esta charla, el investigador principal mostró los resultados sobre el operador de inverso obtenidos en este proyecto. Cabe destacar que dos de los artículos generados en el contexto de este proyecto fueron considerados entre los mejores en dos conferencias internacionales muy importantes, y fueron invitados para publicación en las revistas más importantes en el área de estas conferencias. En primer lugar, el artículo "First-Order and Temporal Logics for Nested Words" fue considerado uno de los mejores en el 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), la conferencia internacional más importante en el área de lógica computacional. Por esta razón fue invitado para publicación a la revista Logical Methods in Computer Science, la revista más importante en el área de lógica computacional. En segundo lugar, el artículo "The Recovery of a Schema Mapping: Bringing Exchanged Data Back" fue considerado uno de los mejores en el 27th ACM Symposium on Principies of Database Systems (PODS 2008), la conferencia internacional más importante en el área de teoría de bases de datos. Por esta razón, fue invitado en Julio de 2008 para ser publicado en el ACM Transactions on Database Systems, la revista más importante en el área de bases de datos.

9 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. La extensión máxima de esta sección es de 1 página (letra tamaño 10, Anal o Verdana). El problema de intercambiar información entre fuentes de datos que tienen distintos formatos ha sido identificado como uno de los problemas fundamentales en el área de bases de datos. Como un ejemplo de la importancia de este problema, basta considerar la gran cantidad de aplicaciones que manejamos hoy en día y que contienen información almacenada de formas muy distintas; la página Web que contiene información sobre nuestra cuenta bancaria, el teléfono celular que tiene la lista de nuestros contactos, algún sistema que maneja nuestro correo electrónico, etc. Si queremos que estas aplicaciones se comuniquen entre sí, y que alguna aplicación eventualmente nos provea de una vista unificada de toda esta información, necesitamos intercambiar datos que están almacenados en distintos formatos. El proceso de construir las reglas que indican como traducir información desde una fuente de datos a un destino es en general muy costoso; para el caso de aplicaciones muy complejas se requiere de un experto que indique como hacer la traducción de los datos. Dado el alto costo del proceso de generar reglas de traducción entre bases de datos, en general se trata de aprovechar el conocimiento en estas reglas en la mayor cantidad posible de aplicaciones. Un ejemplo de esto es el siguiente escenario. Suponga que un experto a diseñado un conjunto de regla P4x, y que indican como traducir información de una base de datos X a una base de datos Y, y que un segundo experto ha desarrollado un conjunto de reglas My,z para traducir de Y a una tercera base de datos Z. Si ahora necesitamos comunicar a X con Z, tenemos que pedir a un experto que diseñe otro conjunto de reglas de traducción? Esta es una posibilidad válida pero costosa, y entonces lo que se trata de hacer en este escenario es utilizar el conocimiento de MX y y M Y z para construir un conjunto de reglas Mxz para traducir datos desde X a Z. De hecho, en este caso existe una manera natural de llevar a cabo este proceso; se debe efectuar la composición de los conjuntos de reglas Mx,y y M,2. Como mostramos anteriormente, el operador de composición aparece naturalmente en el contexto de los sistemas de intercambio de información. De hecho, la composición forma parte de un conjunto de operadores para meta-datos, vale decir, operadores que manejan la información contenida en conjuntos de reglas de traducción, las cuales a su vez se refieren a la información contenida tanto en bases de datos fuente como destino. Estos operadores han sido identificados como fundamentales para permitir el desarrollo de los sistemas de intercambio de información, y son el tema central de este proyecto de investigación. En este proyecto, se estudió mayormente a dos de los operadores antes mencionados: composición e inverso. Dado un conjunto de reglas de traducción M de una base de datos X a una base de datos Y, el inverso de Mxy indica como traducir la información desde Y hacia X. Este operador en conjunto con el operador de composición han sido identificados como dos de los operadores fundamentales para el desarrollo de un marco general para el manejo de metainformación en sistemas de intercambio de datos. Como el primer logro de este proyecto cabe destacar el desarrollo de una nueva definición para la semántica del operador de inverso. Esta nueva noción soluciona los problemas de las nociones anteriores; en particular, es aplicable en los lenguajes de traducción de datos más usados en la práctica. Cabe también destacar aquí que junto con esta propuesta, se desarrolló un conjunto de procedimientos para el cálculo de este nuevo operador y, en particular, se construyó un procedimiento eficiente que permite manejar este operador en uno de los lenguajes de traducción mas usados en la práctica. Este resultado es particularmente interesante ya que no se conocía ningún procedimiento como este para las nociones anteriores de inverso. Como segundo logro de este proyecto, es importante señalar que se estudió en profundidad la combinación entre el operador de inverso y el de composición. Aunque en muchos escenarios estos operadores deben ser aplicados en conjunto, hasta ahora se sabía muy poco de las propiedades de la combinación de estos operadores. En este proyecto, se desarrolló el primer lenguaje de traducción de información con buenas propiedades para el intercambio de información, y en el cual el resultado de los operadores de inverso y composición pueden ser expresado en el mismo lenguaje. Esta es una propiedad fundamental para el desarrollo de sistemas de manejo de meta - información, y el lenguaje desarrollado en este proyecto es el primero con utilidad práctica que tiene esta propiedad.

10 PRODUCTOS A RTÍCU LOS Para trabajos en Prensa] Aceptados/Enviados adjunte copia (le carta de aceptación o de recepción. Autor (a)(es/as) : Arenas, M: Lihkin, L. Nombre Completo de la Revista : Título (Idioma original) : Indexación : 151 ISSN: Año: Páginas: 71-7:72 Estado de la publicación a la fecha : Publicada Otras Fuentes de financiamiento, si las hay Journal of the ACM XML Data Exchange: Consistcncv and Querv Ansvering FONDECYT Millenniuni Nucleus Cerner for Web Rcscarch PO4-067-F Envía documento en papel : no Archivo Asociado al articulo: jacm08.pdf IiUp.e aic\ t.eoiii. 1.cLiníoniw cadcii iide, phpiiiivcsli gadorl4 ai1icul iescrt)r333o6í !350( 2 Autor (a)(es/as): ALUR. R.: ARENAS, M: BAR('ELO, P., EITiSSAMI, K.; IMMERMAN, N.: LIRKIN, Nombre Completo de la Revista : Lo- cal Methods in Computer Science Título (Idioma original) FIRST-ORDER AND TEMPORAL LOOICS FOR NESTED WORI)S Indexación : Otras Revistas Especificar: Revista mas importante en el arca de logica computacional, Con comi te editorial ISSN: Año : Páginas: 11:I-11:44 Estado de la publicación a la fecha : Publicada Otras Fuentes de financiamiento, si las hay : FONDECY1' , FONDECYI 7061)172, Millcnnium Nucleus (entre for Web Rcscarch PO4-067-F Envía documento en papel : si Archivo Asociado al articulo : lmcs08.pdf lit./ualçt con \t.ciií'iin e scdc iico' j ndcx pijtlvctirki.f4 83.Os '512 3 Autor (a)(es/as) : Pérez, J; Arenas, M: (iiiticrrc/,. ('

11 Nombre Completo de la Revista Título (Idioma original): Indexación: LSSN: Año: ACM Transactions on Database Systems Scmantics and Cornplexity of SIARQI. 'SI Páginas: Estado de la publicación a la fecha : Enviada Otras Fuentes de financiamiento, si las hay Envía documento en papel: si Archivo Asociado al articulo: tod.s_sparql.pdf lic\lc(illcvi.(i ijifrni& acidenhic!1de\ plipt lis eoigadurí-1 ()7072/35I 6 4 Autor (a)(es/as) : Arenas, M.: Pérez, J.: Riveros. C. Nombre Completo de la Revista : ACM 'l'ransactions on Database SysÉems Título (Idioma original) : Fhe Recovery of a Schema Mapping: Brin-in- Exchanged Dala Back Indexación : ISI ISSN: Año: Páginas Estado de la publicación a la fecha : Enviada Otras Fuentes de financiamiento, si las hay Envía documento en papel : si Archivo Asociado al articulo : tods_mr.pdf hlrp:/'c\ aicvl.cct1icvt.ci.ilt r1eacadli1icind\ l t 4_ii1iciI 1ii ,10-1, 0-7 S Autor (a)(es/as) Nombre Completo de la Revista: Título (Idioma original) Indexación: ISSN: Año: Pércz,J., Arenas, M. Gutierre,, C. lournal of Web Scnianiics nsparql: A Navigalional anguage tor RDF 151 Páginas Estado de la publicación a la fecha : Enviada Otras Fuentes de financiamiento, si las hay

12 Envía documento en papel: si Archivo Asociado al articulo: jvs.pdf htip:/vicl.ciiic k l. e iii.riiic [TI ii u e ti l(,% le,, '53306/ ,31,4000 OTRAS PUBLICACIONES Autor (a)(es/as) : Marcelo Arenas: Claudio (iulierrez: Bijan Parsia: Jorge Pérez; Axel Polleres: Andy Seaborne Título (Idioma original) : SPARQI. - Where are ve' Currcnt statc, tlicory and practice Tipo de publicación o producto: Semi narioífallcr/curso ISBN: Editor (es) (Libro o Capitulo de libros): Nombre de la editorial Organización País: AUSTRIA Ciudad : Innsbruck Fecha : Junio 2007 Año: Páginas: Otras Fuentes de financiamiento, si las hay Envía documento en papel : no Archivo Asociado al articulo: cswc07.pdf 11I1 1:/e li(\i (<flidl Ci. iiit1k' l ' UdI11lC'IfldC\14fl1\ ciiaiíl íj70732/jø2i 2 Autor (a)(es/as) : Marcelo Arenas: Jorge FéreL: Juan Reutier: Cristiaii Rivcros Título (Idioma original) : l'owards 1 lniíying Inversioii and Composition of Schema Mappings Tipo de publicación o producto: Otros Especificar Por ser enviado para publicacion al I3th International ('onference on l)atahase ihcory ISBN: Editor (es) (Libro o Capitulo de libros): Nombre de la editorial Organización País: SUIZA Ciudad: Fecha: Agosto Año: Páginas: Otras Fuentes de financiamiento, si las hay

13 Envía documento en papel: si Archivo Asociado al articulo: iriv-cornp.pdf i,/e iici ciiic i.ci'in6nnr acadeiiiicuinde (46 CONGRESOS Autor (a)(es/as) : Marcelo Arenas: Pablo Barcelú: Leonid Lihkin Título (Idioma original) : Regular Languages of Nested Words: Fixed Poinis. Automata. and Synchroniation Nombre del Congreso : 34th International Colloquium on Aulornata, Languages and Prograinming (I('ALP 2007) País: POLONIA Ciudad: Wroclaw Fecha Inicio: 09107/2007 Fecha Término: 13/07/2007 Nombre Publicación : Proceedings of Ihe 34th International (olloquium on Autornata. Languages and Programming (ICALP 2007). volume 4596 ot Lecitire Notes iii Computer Science. Año: 2007 Páginas: 8-90() Envía documento en papel : no Archivo Asociado : cal p07.pdf hiip:c iic\t.c(iiji.ci iiiinlile_icdcinicondep!ip/ini. c gadoi/i4_corii irci i í)?32/ Autor (a)(es/as) : Rajec Alur: Marcelo Arenas: Pablo l3arcelo: Kousha Eiessami: NciI Inimcrrnan: 1 conid Li bki n Título (Idioma original) : First-Order and Temporal ogics for Ncstcd Words Nombre del Congreso : 22nd Anniial IEEE Syinposiiini oil Logic in Cornputcr Scicnce (IJCS 2007) País: POLONIA Ciudad : Wroclaw Fecha Inicio Fecha Término: 14/ Nombre Publicación : Proceedings of the 22nd Annual ILFE Srmposium on Logic in Computer Seicuce (LI('S 2007) Año: 2007 N": Páginas: Envía documento en papel : no Archivo Asociado: 1 ics07. pdf liulp:rici 1 yr.cinic\ u cliii írn rc ;icileiic «iridc\plip;iliv uieadui LI conrcsos?dcscanga/ /107iu732/718

14 3 Autor (a)(esfas) : Marcelo Arenas: Jorge Pérez: Claudio Gutierrez Título (Idioma original) : An Ltension of SPARQL for R1)lS Nombre del Congreso: Joint Ol)BIS & SWI)B workshop Oil Sernantic Web. Ontologies, I)atahases País: AUSTRIA Ciudad: Viena Fecha Inicio: Fecha Término: Nombre Publicación: Proceedings of the Joini ODBIS & SWDB workshop on Semantic Web, Ontologies. 1)aiahases, volume 5005 of Lectitre Notes Computer Science Año: 2007 Páginas: 1-20 Envía documento en papel: si Archivo Asociado : swdh07pdf h(lp:/ek \lci1i(\ IeI'nIriue ace cmi ildc'i.ji1j il1\ilki t_tci1licc. lc IT i 95 O!P7T2O 4 Autor (a)(es/as) : Marcelo Arenas: Jorge Pérez: Cri sitan Rivcros Título (Idioma original) : The Recovery of a Schema Mapping: I3ringing Exchanged Data Back Nombre del Congreso 27th ACM SI(;MOI)-SIGA(1 Sl(AR1 Svmposium on Principies of I)atahase Systems (PODS 2008) País: CANADA Ciudad : Vancouver Fecha Inicio : 09/06/2008 Fecha Término: 11/ Nombre Publicación : Proccedings of thc 27tli ACM SIGMOD-SIGACF- SIGA RT Symposiuni on PrincipIes of l)atabase Systems (P)DS 2008) Año: 2008 Páginas: 3-22 Envía documento en papel: si Archivo Asociado: pods08pdf e ft\leiti \ 1 cli n hrllle II 5 Autor (a)(es/as) : Jorge Pérez: Marcelo Arenas: Claudio Guticrrcz Título (Idioma original) : nsparql: A Navigational Language for RDF Nombre del Congreso : 7111 International Sernantic Wch('onfcrcnce (ISWC 2008) País: AI.NMANIA Ciudad : Karlsruhe Fecha Inicio : 26/ Fecha Término : 30/10/2008

15 Nombre Publicación : Proceedings oí' thc 7th International Seniantic Web ('onference (ISWC 2008). volume 5318 oí' Lccture Notes ('omputcr Sciencc Año: 2008 Páginas: Envía documento en papel si Archivo Asociado: iswc08.pdf I1I!i:.'e\ 6 Autor (a)(es/as) : Marcelo Arenas: Pablo Barccló:.liian Rcutter Título (Idioma original) : Qucry Languages for Data Exchangc: F3cyond I.lnions of Conjunclive Qucries Nombre del Congreso : l2th International Confereiice oii Database I'heory (ICDT 2009) País : RUSIA, FEDFLRA(1ON Ciudad San Petersburgo Fecha Inicio : 23103/2009 Fecha Término : 26/03/2009 Nombre Publicación : To appcar in Proceedings of ihe 12t11 International ('onference (in )alabase Theory (lcl)t 2009) Año : 2009 Páginas Envía documento en papel: si Archivo Asociado : icdt09.1)df liii p: 'eviic.ciniicvl.ci/i iii rrlleacadeilljcoi Ilik\ pilpjlrivcsttg (I()r,14 cngres s/deslir!j )33_%/j ()7073 2'573,5 TESIS/MEMORIAS Título de Tesis : RECOVERING INFORMATION IN DATA EXCHANGE Nombre y Apellidos del(de la) Alumno(a) : CRISTIAN RIVEROS JAEGER Nombre y Apellidos del(de la) Tutor(a) Título Grado: Institución Marcelo Arenas Saavedra Magi ster Pontificia 1 Inis, ersidad (i1olici de Chile País: Ciudad : Estado de Tesis : CI 111k Santiago Terminada Fecha Inicio : 01/03/2007 Fecha Término: 31/07/2008 Envía documento en papel : no Archivo Asociado : tesis _magister_cr.pdí htij/cvic> iiictci:iiiirriic cdcmico!iiid&\pi1p!irvestigador3 tesis iuiiiri ]cctr u q5330fi >7O732!2)52

16 2 Título de Tesis : EXTENDING QI1ERY LAN(iI!AGES FOR DATA EXCHANGE Nombre y Apellidos del(de la) Alumno(a) : JUAN REUTTER DE LA MAZA Nombre y Apellidos del(de la) Tutor(a) : Marcelo Arenas Saavedra Título Grado : Magister Institución : Pontificia Universidad Católica de Chile País: Ciudad : CHILE Santiago Estado de Tesis : Terminada Fecha Inicio : 01/08/2007 Fecha Término: 11/03/2009 Envía documento en papel: no Archivo Asociado : tesis_niagistcr_.jr.pdf lit! p ;c Iu\1 ic\icinin!1 Ii le] 1iri. ",L r()$33$o6:i U7U732/2)SS ANEXOS Archivo Asociado: letterjws.pdf TIC\ 2 Archivo Asociado : lcucr_pods_tods. pdf hflp:i'e\ dc\toni\tcpiiitrn1e Archivo Asociado : 1 cticr jods_mr. df 3 5U1:/ /c\ dcvicofli\ tint1oritc acadcnhicoii1de\ hp/inv&tigadi'í5».33u6 IO7O732fS227 Archivo Asociado : 1 cticr_todssparql.pdf 4 IiU1. eaki (rhc\i LIiih,nIic acadcnhiunlii&ic\ IIjIr\cslIgIor: ane\dc_it, S3...U6,lO7O72:S229 5 Archivo Asociado: lettcrtods sparql. r.pdf IIc1:Uc :l,: ucini c.!i1d\ phpiii kcli g tki 07U72i52_U0

17 A continuación se detallan los anexos físicos/papel que no se incluyen en el informe cii formato PDF. Se adjunta los siguientes archivos: (1) let1erjvs.pdf: Confirmación de la recepción del artículo 'nsparqi,: A Navigational Language for RDF en ci Joiirnal of Web Semanties. (2) lelter_pods_ods.pdí: Carta de invitación del artículo "lhe Recovery of a Scliema Mapping: Bringing Exchangcd Data Rack para publicación en el ACM l'ransactions oji J)atabase Systems, por ser considerado uno de los mejores artículos en el 27th ACM Symposiuin un PrincipIes of Database Systems (IN)l)S 2008). (3) lettcr_todsjiir.pdf: Confirmación de la recepción del artículo 'ihe Rccover y oí` a Schema Mapping: Bringing Fxchangcd Data Back" en el ACM Transactions on I)atahase Svslciiis. (4) letler_tods_sparql.pdf: Confirmación de la recepción del artículu "Scmanticsand Complexity oí' SPARQL" en el ACM Fransactions un Database Systems. (5) lettcrtodssparqlr.pdf: Confirmación de la recepción (le la v ersión revisada del artículo "Semaniics and Complexity of SPARQL en el ACM Transactions on Database Systems.

INFORME FINAL PROYECTO FONDECYT REGULAR

INFORME FINAL PROYECTO FONDECYT REGULAR INFORME FINAL GOBIERNO DE CHILE CONICYT FONDECYT PROYECTO FONDECYT REGULAR 2 años 1050701 NÚMERO PROYECTO 1 DURACIÓN 2do año AÑO DE EJECUCIÓN Marcelo Alejandro Arenas Saavedra RUT INVESTIGADOR RESPONSABLE

Más detalles

Table1 attribute1 Table2 attribute2. Table3. TableA attribute a attribute b

Table1 attribute1 Table2 attribute2. Table3. TableA attribute a attribute b M fuente Table1 attribute1 Table2 attribute2 TableB Table3 destino TableA attribute a attribute b M fuente Table1 attribute1 Table2 attribute2 TableB Table3 destino TableA attribute a attribute b M fuente

Más detalles

DBOWL: Persistencia y Escalabilidad de Consultas y Razonamientos en la Web Semántica

DBOWL: Persistencia y Escalabilidad de Consultas y Razonamientos en la Web Semántica DBOWL: Persistencia y Escalabilidad de Consultas y Razonamientos en la Web Semántica Maria del Mar Roldán-García, Jose F. Aldana-Montes Universidad de Málaga, Departamento de Lenguajes y Ciencias de la

Más detalles

LCDNICYT DE RVES1G.A(IÓN CENTiFICA Y recnológ}ca

LCDNICYT DE RVES1G.A(IÓN CENTiFICA Y recnológ}ca LCDNICYT osiói NCIONA DE RVES1G.A(IÓN CENTiFICA Y recnológ}ca GOBIERNODECHILE COMISION NACIONAL DE INVESTIGACION CIENCIA Y TECNOLOGIA VERSION OFICIAL FECHA: 26/3/2009 PROYECTO REGULAR N 1070856 INVESTIGADOR

Más detalles

Profesor Asociado Doctor of Philosophy, University of Toronto, Canadá. Profesor Asistente Doctor of Philosophy, Edimburg University, Reino Unido

Profesor Asociado Doctor of Philosophy, University of Toronto, Canadá. Profesor Asistente Doctor of Philosophy, Edimburg University, Reino Unido PROGRAMA DE DOCTORADO EN CIENCIAS DE LA INGENIERIA AREA CIENCIA DE LA COMPUTACIÓN LÍNEAS DE INVESTIGACIÓN Y TÓPICOS ABORDADOS LABORATORIO DE DATOS En esta área se investigan aspectos tanto teóricos como

Más detalles

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Rafael Rodríguez-Puente 1, Eliana B. Ril-Valentin 2 1 Departamento de Técnicas de

Más detalles

PONTIFICIA UNIVERSIDAD JAVERIANA ANEXO 6: DOCUMENTACIÓN OBJETOS VIRTUALES DE APRENDIZAJE CREADOS Y SUS CORRESPONDIENTES ESPECIFICACIONES

PONTIFICIA UNIVERSIDAD JAVERIANA ANEXO 6: DOCUMENTACIÓN OBJETOS VIRTUALES DE APRENDIZAJE CREADOS Y SUS CORRESPONDIENTES ESPECIFICACIONES PONTIFICIA UNIVERSIDAD JAVERIANA ANEXO 6: DOCUMENTACIÓN OBJETOS VIRTUALES DE APRENDIZAJE CREADOS Y SUS CORRESPONDIENTES ESPECIFICACIONES ANGELICA MARIA VERGARA GRANADOS PONTIFICIA UNIVERSIDAD JAVERIANA

Más detalles

)/^ INFORME FINAL PROYECTO FONDECYT REGULAR CONTENIDO X X. Firma Investigador Responsable. 12 años. ovcrn CARLOS PIZARRO WILSON RUT

)/^ INFORME FINAL PROYECTO FONDECYT REGULAR CONTENIDO X X. Firma Investigador Responsable. 12 años. ovcrn CARLOS PIZARRO WILSON RUT INFORME FINAL PROYECTO FONDECYT REGULAR GOBIERNO DE CHILE COMCyT FONDEC Vr 12 años 1050882 NIIMFRC) ovcrn 1 DUR CARLOS PIZARRO WILSON RUT INVESTIGADOR RESPONSABLE DIRECCION 1 6762640 o 6762638 FONO carlos.pizarro@udp.cl

Más detalles

Visualización de Recursos Textuales en la Web Semántica

Visualización de Recursos Textuales en la Web Semántica Visualización de Recursos Textuales en la Web Semántica M. Pérez-Coutiño, M. Montes-y-Gómez, A. López-López, L. Villaseñor-Pineda Laboratorio de Tecnologías del Lenguaje, Ciencias Computacionales, INAOE,

Más detalles

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2003-1030785 ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE

Más detalles

Introducción. Tipo de artículo: Artículo corto Temática: Inteligencia artificial Recibido: 05/09/2015 Aceptado: 15/10/2015

Introducción. Tipo de artículo: Artículo corto Temática: Inteligencia artificial Recibido: 05/09/2015 Aceptado: 15/10/2015 Tipo de artículo: Artículo corto Temática: Inteligencia artificial Recibido: 05/09/2015 Aceptado: 15/10/2015 Crawler focalizado para la extracción de documentos PDF desde revistas científicas Focused crawler

Más detalles

Formulación de Proyectos. Eileen Raby Uribe Katherine Pulgar Castro Programa FONDECYT CONICYT 23 de abril de 2014

Formulación de Proyectos. Eileen Raby Uribe Katherine Pulgar Castro Programa FONDECYT CONICYT 23 de abril de 2014 Formulación de Proyectos Eileen Raby Uribe Katherine Pulgar Castro Programa FONDECYT CONICYT 23 de abril de 2014 Aspectos a tratar 1 2 3 4 5 6 Requisitos básicos de postulación Presentación de proyectos

Más detalles

INTERPRETACION DE DOCUMENTOS HTML VIA RDF SCHEMA

INTERPRETACION DE DOCUMENTOS HTML VIA RDF SCHEMA INTERPRETACION DE DOCUMENTOS HTML VIA RDF SCHEMA Jacqueline Guzman, Silvia Revello jguzman@adinet.com.uy, revellos@adinet.com.uy RESUMEN Este trabajo fue realizado en el marco de la materia de Facultad

Más detalles

Arquitectura para la integración de esquemas relacionales difusos basada en ontologías: una aplicación para la web

Arquitectura para la integración de esquemas relacionales difusos basada en ontologías: una aplicación para la web Arquitectura para la integración de esquemas relacionales difusos basada en ontologías: una aplicación para la web Ignacio J. Blanco 1 Carmen Martínez-Cruz 2 M. Amparo Vila 1 1 Dpto. Ciencias de la Computación

Más detalles

Palabras Claves UML, XMI, OWL, XSLT, diagrama de caso de uso.

Palabras Claves UML, XMI, OWL, XSLT, diagrama de caso de uso. Modelo de Búsqueda de Diagramas de Casos de Uso en UML a través de la Derivación de Ontologías OWL Use Cases UML Diagrams Search Model using OWL Ontologies Belén Bonilla Morales Universidad Tecnológica

Más detalles

Semestre de cursado: primero Cantidad de horas semanales: 8. Hoja 1 de 10 Profesor Asociado: María Eugenia Stefanoni. J:T:P: Higinio Facchini

Semestre de cursado: primero Cantidad de horas semanales: 8. Hoja 1 de 10 Profesor Asociado: María Eugenia Stefanoni. J:T:P: Higinio Facchini Semestre de cursado: primero Cantidad de horas semanales: 8. Hoja 1 de 10 PROGRAMA 1) OBJETIVOS DE LA ASIGNATURA Formar al alumno como usuario de bases de datos, brindándole: 1. Comprensión de las bases

Más detalles

Migración de datos automática a partir de la información de los esquemas conceptuales 1

Migración de datos automática a partir de la información de los esquemas conceptuales 1 Migración de datos automática a partir de la información de los esquemas conceptuales 1 J.Pérez 1, J.A.Carsí 1, I.Ramos 1, V.Anaya 1, J.Silva 1, Departamento de Sistemas Informáticos y Computación Universidad

Más detalles

CONTENCIÓN DE CONSULTAS CON VALORES NULOS USANDO EL MÉTODO CQC

CONTENCIÓN DE CONSULTAS CON VALORES NULOS USANDO EL MÉTODO CQC CONTENCIÓN DE CONSULTAS CON VALORES NULOS USANDO EL MÉTODO CQC Guillem Rull 1, Carles Farré 1 y Toni Urpí 1 1: Departamento de Lenguajes y Sistemas Informáticos Universitat Politècnica de Catalunya 08034

Más detalles

P á g i n a 1. COMISIÓN NACIONAL DE ACREDITACIÓN (CNA-CHILE) - http://www.cnachile.cl/

P á g i n a 1. COMISIÓN NACIONAL DE ACREDITACIÓN (CNA-CHILE) - http://www.cnachile.cl/ P á g i n a 1 Formulario Solicitud de Acreditación Programas de Postgrado P á g i n a 2 PRESENTACION El presente Formulario de Solicitud de Acreditación debe ser presentado por los programas de postgrado

Más detalles

ARQUITECTURA ESCALABLE PARA LA DETECCIÓN DE PATRONES SECUENCIALES DIFUSOS EN MINERÍA DE DATOS CUANTITATIVA

ARQUITECTURA ESCALABLE PARA LA DETECCIÓN DE PATRONES SECUENCIALES DIFUSOS EN MINERÍA DE DATOS CUANTITATIVA ARQUITECTURA ESCALABLE PARA LA DETECCIÓN DE PATRONES SECUENCIALES DIFUSOS EN MINERÍA DE DATOS CUANTITATIVA Pablo F. Provasi 1 Lucio J. Kleisinger 1 Francisco R. Villatoro 2 1 Dpto. de Informática, Universidad

Más detalles

COMISION NACIONAL DE INVESTIGACION CIENCIA Y TECNOLOGIA VERSION OFICIAL FECHA: 05/04/20 10

COMISION NACIONAL DE INVESTIGACION CIENCIA Y TECNOLOGIA VERSION OFICIAL FECHA: 05/04/20 10 Nu- GONIGYT COMISIÓN NACIONAL DE INVESEIGACIÓN CIENTÍVICA Y TECNOLÓGICA GOBIERNO DE COMISION NACIONAL DE INVESTIGACION CIENCIA Y TECNOLOGIA VERSION OFICIAL FECHA: 05/04/20 10 PROYECTO REGULAR N 1070771

Más detalles

GUÍA PARA APLICACIÓN DE CV 2.0

GUÍA PARA APLICACIÓN DE CV 2.0 PROGRAMA ACADEMIA GUÍA PARA APLICACIÓN DE CV 2.0 Este documento es propiedad de ANECA. Su contenido podrá ser utilizado siempre que se cite su procedencia Evaluación de Profesorado 24/04/2012 ÍNDICE INFORMACIÓN

Más detalles

Seminario Web Semántica y Ontologías

Seminario Web Semántica y Ontologías Seminario Web Semántica y Ontologías Inteligencia Artificial 5 o Informática IA curso 2012-2013 CCIA Noviembre 2012 IA 1112 (CCIA) Seminario Web Semántica Noviembre-2012 1 / 15 Web Semántica vs. Web Actual

Más detalles

RDF avanzado. Fundamentos de la Web Semántica. Objetivos. Vocabulario RDF. RDF avanzado. Semántica. Pablo R. Fillottrani. Introducción a SPARQL

RDF avanzado. Fundamentos de la Web Semántica. Objetivos. Vocabulario RDF. RDF avanzado. Semántica. Pablo R. Fillottrani. Introducción a SPARQL RDF avanzado RDF avanzado Pablo R. Fillottrani Depto. Ciencias e Ingeniería de la Computación Universidad Nacional del Sur Segundo Cuatrimestre 2013 Objetivos RDF permite expresar propiedades simples sobre

Más detalles

GLOSARIO. Análisis Bottom-Up: Técnica utilizada en tareas de ingeniería inversa la cual parte de

GLOSARIO. Análisis Bottom-Up: Técnica utilizada en tareas de ingeniería inversa la cual parte de GLOSARIO Análisis Bottom-Up: Técnica utilizada en tareas de ingeniería inversa la cual parte de una descripción de bajo nivel (código fuente) para generar descripciones con un mayor grado de abstracción.

Más detalles

CAMINO HACIA LA WEB SEMÁNTICA. Jorge Alejandro Castillo Morales Universidad de Edimburgo

CAMINO HACIA LA WEB SEMÁNTICA. Jorge Alejandro Castillo Morales Universidad de Edimburgo INVESTIGACIÓN & DESARROLLO, No 5: 115 120 (2005) ISSN 1814-6333 RESUMEN CAMINO HACIA LA WEB SEMÁNTICA Jorge Alejandro Castillo Morales Universidad de Edimburgo El rápido crecimiento de la Word Wide Web

Más detalles

FORMULARIO DE POSTULACION PERIODO

FORMULARIO DE POSTULACION PERIODO FORMULARIO DE POSTULACION PERIODO 2006 1. Antecedentes Personales FECHA Apellido Paterno Apellido Materno Nombres Calle Nº Depto. Comuna Teléfono Cod. Postal Fax E-mail F M Ciudad País Fecha Nacimiento

Más detalles

1996-2001 Licenciatura en Ciencias de la Computación, Benémerita Universidad Autónoma de Puebla, Puebla, Pue., 8.57.

1996-2001 Licenciatura en Ciencias de la Computación, Benémerita Universidad Autónoma de Puebla, Puebla, Pue., 8.57. DATOS PERSONALES Nombre completo: Venustiano Soancatl Aguilar Correo electrónico: venus@bianni.unistmo.edu.mx FORMACIÓN ACADÉMICA 2001 2003 Maestria en Ciencias Computacionales, Instituto Nacional de Astrofísica

Más detalles

Conexión de Reglas de Negocios con Aspectos: estrategias y herramienta

Conexión de Reglas de Negocios con Aspectos: estrategias y herramienta Conexión de Reglas de Negocios con Aspectos: estrategias y herramienta Sandra Casas y Cecilia Fuentes Zamorano UARG, Universidad Nacional de la Patagonia Austral Campus Universitario, Piloto Riversa s/n

Más detalles

Fondecyt FONDO NACIONAL DE DESARROLLO CIENTÍFICO Y TECNOLÓGICO

Fondecyt FONDO NACIONAL DE DESARROLLO CIENTÍFICO Y TECNOLÓGICO ÇcoNIcvT %COMISIÓN NACIONAL DE INI1DAcIÓN CJEN11FICAY1ECNOXilCA Concurso Nacional de Proyectos FONDECYT 2005 *k* GOBIERNO DE CHILE COMPROBANTE DE RECEPCION DE INFORME FINAL NUMERO : 10505494 RESPONSABLE

Más detalles

Bases de Datos XML 1 XML. Jorge Pérez Rojas Universidad de Talca, II Semestre 2006

Bases de Datos XML 1 XML. Jorge Pérez Rojas Universidad de Talca, II Semestre 2006 Bases de Datos XML 1 XML Jorge Pérez Rojas Universidad de Talca, II Semestre 2006 Bases de Datos XML 2 Motivación Web Semántica: La Web se ha convertido en un gran repositorio de información. La info en

Más detalles

Calidad de Datos como Valor Estratégico de la Información en E-Business

Calidad de Datos como Valor Estratégico de la Información en E-Business Calidad de Datos como Valor Estratégico de la Información en E-Business Marta E. Cabrera Villafañe, Germán Antonio Montejano, Mario Berón Departamento de Informática Universidad Nacional de San Luis Ejército

Más detalles

INFORMACIÓN SOBRE EL MANUSCRITO SOMETIDO

INFORMACIÓN SOBRE EL MANUSCRITO SOMETIDO Instituto Nacional de Ecología Periférico sur 5000. Col. Insurgentes Cuicuilco C.P,. 03540 México D.F. www.ine.gob.mx INFORMACIÓN SOBRE EL MANUSCRITO SOMETIDO AL COMITÉ EDITORIAL DEL INE Fecha de envío:

Más detalles

Introducción a las Ontologías

Introducción a las Ontologías Introducción a las Ontologías Gtión del Conocimiento Dr. Ariel Monterin ISISTAN Facultad de Ciencias. Exactas- UNICEN Conceptos principal Lenguaj para la construcción de Razonamiento con Conclusion Conceptos

Más detalles

Doctorado en Ingeniería Informática Doctorado en Ingeniería Informática grado de Doctor en Ingeniería Informática

Doctorado en Ingeniería Informática Doctorado en Ingeniería Informática grado de Doctor en Ingeniería Informática La Escuela de Ingeniería Informática de la Pontificia Universidad Católica de Valparaíso abre las postulaciones al programa de Doctorado en Ingeniería Informática, versión Agosto de 2014. Doctorado en

Más detalles

Computing, nuevos horizontes para. Guía a de temas a desarrollar

Computing, nuevos horizontes para. Guía a de temas a desarrollar Acuerdo de Bibliotecas Universitarias de Córdoba Seminario 27 y 28 de septiembre de 2012 Web semántica ntica,, Web 3.0 y entornos Cloud Computing, nuevos horizontes para bibliotecarios, documentalistas

Más detalles

WEBBER: USO DE COMPONENTES PARA LA ARMONIZACIÓN DE CONTENIDOS Y METADATOS

WEBBER: USO DE COMPONENTES PARA LA ARMONIZACIÓN DE CONTENIDOS Y METADATOS WEBBER: USO DE COMPONENTES PARA LA ARMONIZACIÓN DE CONTENIDOS Y METADATOS Autores: Introducción Diego R. López RedIRIS diego.lopez@rediris.es El trabajo necesario para mantener un servidor de información

Más detalles

CONGRESOS 2012 INTERNACIONALES

CONGRESOS 2012 INTERNACIONALES CONGRESOS 2012 INTERNACIONALES Autores: V. A. Bollati, P. Atzeni, E. Marcos, J.M. Vara Título: Model Management Systems vs. Model Driven Engineering: A Case Study Congreso: Symposium on Applied Computing

Más detalles

CAPÍTULO 1 Introducción

CAPÍTULO 1 Introducción CAPÍTULO 1 Introducción 1.1 Sistemas basados en conocimiento (Knowledge Based Systems) Los sistemas basados en conocimiento (Knowledge Based Systems. KBS) son aplicaciones que generan soluciones o respuestas

Más detalles

SERVICIOS: EXPLORACIONES EN SOA y WEB.

SERVICIOS: EXPLORACIONES EN SOA y WEB. SERVICIOS: EXPLORACIONES EN SOA y WEB. López, G. 1 ; Jeder, I 1.; Echeverría, A 1.; Grossi, M.D. 2 ; Servetto, A 2.; Fierro, P. (PhD.) 3 1. Laboratorio de Informática de Gestión - Facultad de Ingeniería.

Más detalles

por clientes corporativos en una empresa de telecomunicaciones.

por clientes corporativos en una empresa de telecomunicaciones. Revista de la Facultad de Ingeniería Industrial 14(1): 55-61 (2011) UNMSM ISSN: 1560-9146 (Impreso) / ISSN: 1810-9993 (Electrónico) Mejoras en el área de atención a clientes corporativos de una empresa

Más detalles

SWAD-Europe Producto final 3.13: Informe del Taller para Desaro... Desarolladores 6 - Introducción a la Web Semántica

SWAD-Europe Producto final 3.13: Informe del Taller para Desaro... Desarolladores 6 - Introducción a la Web Semántica SWAD-Europe Producto final 3.13: Informe del Taller para Desarolladores 6 - Introducción a la Web Semántica [ English version] Nombre del Proyecto: Semantic Web Advanced Development for Europe (SWAD-Europe)

Más detalles

RECOMENDACIONES A LOS AUTORES

RECOMENDACIONES A LOS AUTORES RECOMENDACIONES A LOS AUTORES MED es la revista científica de la Facultad de Medicina de la Universidad Miiltar Nueva Granada. Su principal fin es la difusión de trabajos originales que contribuyan a ampliar

Más detalles

Introducción a la Web Semántica

Introducción a la Web Semántica Taller de Producción de Software 2007 Introducción a la Web Semántica Taller de Producción de Software 2º Semestre 2008 Indice Visión de la Web Semántica Arquitectura de la Web Semántica RDF Ontologías

Más detalles

GUÍA PARA DEPOSITAR DOCUMENTOS DE INVESTIGACIÓN EN RODERIC

GUÍA PARA DEPOSITAR DOCUMENTOS DE INVESTIGACIÓN EN RODERIC GUÍA PARA DEPOSITAR DOCUMENTOS DE INVESTIGACIÓN EN RODERIC En esta guía se detallan de forma visual los pasos que se han de seguir para depositar un documento en nuestro repositorio institucional, aclarando

Más detalles

Informe Final. Buenas Practicas y Políticas Editoriales Open Access para Publicaciones Académicas Latinoamericanas

Informe Final. Buenas Practicas y Políticas Editoriales Open Access para Publicaciones Académicas Latinoamericanas Informe Final Buenas Practicas y Políticas Editoriales Open Access para Publicaciones Académicas Latinoamericanas Identificación del Proyecto Título: Buenas Practicas y Políticas Editoriales Open Access

Más detalles

PROCESO DE ADMISIÓN 2016 MAGISTER EN ADMINISTRACIÓN DE LA CONSTRUCCIÓN DOCUMENTOS GENERALES DE POSTULACION

PROCESO DE ADMISIÓN 2016 MAGISTER EN ADMINISTRACIÓN DE LA CONSTRUCCIÓN DOCUMENTOS GENERALES DE POSTULACION PROCESO DE ADMISIÓN 2016 MAGISTER EN ADMINISTRACIÓN DE LA CONSTRUCCIÓN DOCUMENTOS GENERALES DE POSTULACION Los documentos necesarios para postular al programa de Postgrado son: 1. Formulario Resumen Curricular.

Más detalles

COMPONENTES DE SERVICIOS WEB A PARTIR DE SERVICIOS EN UDDI: VERSIÓN EXTENDIDA. Instituto Tecnológico de Nogales (ITN)

COMPONENTES DE SERVICIOS WEB A PARTIR DE SERVICIOS EN UDDI: VERSIÓN EXTENDIDA. Instituto Tecnológico de Nogales (ITN) COMPONENTES DE SERVICIOS WEB A PARTIR DE SERVICIOS EN UDDI: VERSIÓN EXTENDIDA 1 Ismael Armando Zúñiga Félix y 2 Luicyana Pérez Figueroa 1,2 División de Estudios de Posgrado e Investigación (DEPI), Instituto

Más detalles

Diseño Sistemático de Pruebas para Consultas XPath utilizando Técnicas de Partición

Diseño Sistemático de Pruebas para Consultas XPath utilizando Técnicas de Partición IEEE LATIN AMERICA TRANSACTIONS, VOL. 5, NO. 4, JULY 2007 259 Diseño Sistemático de Pruebas para Consultas XPath utilizando Técnicas de Partición Claudio de la Riva, José García-Fanjul y Javier Tuya, Member,

Más detalles

Eduardo Mora y Marta Zorrilla Pág. - 1 -

Eduardo Mora y Marta Zorrilla Pág. - 1 - Formas Normales Para construir un sistema de información que responda a un problema real concreto, lo primero que hay que hacer es decidir cuál es el esquema relacional más adecuado. Encontrar la mejor

Más detalles

Semántica y Consistencia de Datos: Una Trayectoria de Investigación

Semántica y Consistencia de Datos: Una Trayectoria de Investigación Semántica y Consistencia de Datos: Una Trayectoria de Investigación Leopoldo Bertossi * Resumen En este artículo describo algunos de los temas de investigación y los problemas en los que he trabajado en

Más detalles

Seguridad en Base de Datos

Seguridad en Base de Datos Seguridad en Base de Datos Facultad Politécnica UNA Maestría en TICs 2015 Énfasis Auditoría y Seguridad de la Información Seguridad en aplicaciones y base de datos Cristian Cappo (ccappo@pol.una.py) NIDTEC

Más detalles

GUÍA PARA POSTULANTES SISTEMA DE POSTULACIÓN EN LÍNEA BECAS PARA ESTUDIOS DE MAGÍSTER Y DOCTORADO EN EL EXTRANJERO BECAS CHILE CONVOCATORIA 2011 [1]

GUÍA PARA POSTULANTES SISTEMA DE POSTULACIÓN EN LÍNEA BECAS PARA ESTUDIOS DE MAGÍSTER Y DOCTORADO EN EL EXTRANJERO BECAS CHILE CONVOCATORIA 2011 [1] GUÍA PARA POSTULANTES SISTEMA DE POSTULACIÓN EN LÍNEA BECAS PARA ESTUDIOS DE MAGÍSTER Y DOCTORADO EN EL EXTRANJERO BECAS CHILE CONVOCATORIA 2011 [1] INTRODUCCIÓN La siguiente Guía busca orientar a todos/as

Más detalles

Bases de Datos Multimedia

Bases de Datos Multimedia Bases de Datos Multimedia Gestión de la Información en Juegos y Realidad Virtual Máster en Informática Gráfica, Juegos y Realidad Virtual Índice Introducción a las BD Multimedia Datos Multimedia Disciplinas

Más detalles

Presentación Estrategias de Búsquedas en ISI Web of Science. M. Gavilan Sistema de Bibliotecas UACh

Presentación Estrategias de Búsquedas en ISI Web of Science. M. Gavilan Sistema de Bibliotecas UACh Presentación Estrategias de Búsquedas en ISI Web of Science M. Gavilan Sistema de Bibliotecas UACh Bases de datos Qué es una base de datos BIBLIOGRÁFICA? es una colección organizada de registros. registro

Más detalles

UNIVERSIDAD DE BUENOS AIRES. :: PROYECTOS CyT :: Sistema Integral de Gestión y Evaluación. - 2da Edición -

UNIVERSIDAD DE BUENOS AIRES. :: PROYECTOS CyT :: Sistema Integral de Gestión y Evaluación. - 2da Edición - MANUAL DEL INVESTIGADOR :: PROYECTOS CyT :: - 2da Edición - ÍNDICE 1. INTRODUCCIÓN...4 2. ASPECTOS GENERALES...4 2.1. Creación de Usuario y obtención de contraseña...4 2.2. Ingreso al sistema...5 2.3.

Más detalles

Interfaz de Consultas Vagas sobre Componentes Educativos en La Web

Interfaz de Consultas Vagas sobre Componentes Educativos en La Web Interfaz de Consultas Vagas sobre Componentes Educativos en La Web Claudia Jiménez Ramírez Universidad Nacional de Colombia, Sede Medellín csjimene@unalmed.edu.co Hernán Darío Alvarez Universidad Nacional

Más detalles

ORIENTACIONES SOBRE PRODUCTIVIDAD POR COMITÉS DE ÁREA

ORIENTACIONES SOBRE PRODUCTIVIDAD POR COMITÉS DE ÁREA ORIENTACIONES SOBRE PRODUCTIVIDAD POR COMITÉS DE ÁREA Dado que la acreditación de programas de postgrado debe considerar los criterios o estándares establecidos para este fin por la comunidad científica

Más detalles

CURRICULUM VITAE Mónica Alejandra Caniupán Marileo

CURRICULUM VITAE Mónica Alejandra Caniupán Marileo CURRICULUM VITAE Mónica Alejandra Caniupán Marileo mcaniupan@ubiobio.cl Profesor Asociado Universidad del Bío-Bío Concepción-Chile 14 de agosto de 2015 1. Personal Lugar y fecha de nacimiento: Concepción-Chile,

Más detalles

Guía de Instalación y Uso de Mozilla Firefox y Gestor Bibliográfico Zotero

Guía de Instalación y Uso de Mozilla Firefox y Gestor Bibliográfico Zotero Guía de Instalación y Uso de Mozilla Firefox y Gestor Bibliográfico Zotero Guía de Instalación y Uso de Mozilla Firefox y Gestor Bibliográfico Zotero 1. Primero instalaremos el navegador Mozilla Firefox

Más detalles

Modeling the Retrieval Process for an Information Retrieval System using an Ordinal Fuzzy Linguistic Approach

Modeling the Retrieval Process for an Information Retrieval System using an Ordinal Fuzzy Linguistic Approach JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, 52(6):460-475, 2001 Modeling the Retrieval Process for an Information Retrieval System using an Ordinal Fuzzy Linguistic Approach

Más detalles

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA JOSÉ OCTAVIO GUTIÉRREZ GARCÍA Profesor de Tiempo Completo del Departamento Académico de Computación DOMICILIO Río Hondo No. 1 Progreso Tizapán México 01080, D.F. Tel: +52 (55) 5628-4000 Ext. 3645 Fax:

Más detalles

1º ADMINISTRACIÓN DE SISTEMAS INFORMÁTICOS EN RED

1º ADMINISTRACIÓN DE SISTEMAS INFORMÁTICOS EN RED UT1: Introducción a los Lenguajes de Marcas 1º ADMINISTRACIÓN DE SISTEMAS INFORMÁTICOS EN RED Contenidos Definición y clasificación de lenguajes de marcas Tipos de lenguajes de marcas Evolución de los

Más detalles

IIC3432 - Tópicos Avanzados en Bases de Datos. Una introducción a XML

IIC3432 - Tópicos Avanzados en Bases de Datos. Una introducción a XML IIC3432 - Tópicos Avanzados en Bases de Datos Una introducción a XML Documentos versus Bases de Datos Documentos estáticos estructura implícita semi-estructurados fácil de entender para una persona importa:

Más detalles

AL COMITÉ DE POSTGRADO DE LA ESCUELA DE INGENIERÍA.... Apellido Paterno Apellido Materno Nombres......

AL COMITÉ DE POSTGRADO DE LA ESCUELA DE INGENIERÍA.... Apellido Paterno Apellido Materno Nombres...... AL COMITÉ DE POSTGRADO DE LA ESCUELA DE INGENIERÍA. Apellido Paterno Apellido Materno Nombres. (Grado Académico o Título Profesional) (Fecha de obtención mm/aaaa). (Grado Académico o Título Profesional)

Más detalles

INSTRUCTIVO SIGEVA PARA USUARIOS

INSTRUCTIVO SIGEVA PARA USUARIOS INSTRUCTIVO SIGEVA PARA USUARIOS Para acceder al sistema tiene que ingresar a la siguiente página web http://sigeva.unc.edu.ar. (Asegúrese de haber ingresado al sistema de la Universidad Nacional de Córdoba,

Más detalles

Servidores Donantonio

Servidores Donantonio Especificación de requisitos software Tabla de contenidos Juan José Amor David Escorial Ismael Olea 1. Introducción...3 1.1. Propósito...3 1.2. Ámbito del sistema...3 1.3. Definiciones, acrónimos y abreviaturas...3

Más detalles

UNIVERSIDAD NACIONAL DE Tucumán. Sistema Integral de Gestión y Evaluación. - A ñ o 2012 -

UNIVERSIDAD NACIONAL DE Tucumán. Sistema Integral de Gestión y Evaluación. - A ñ o 2012 - UNIVERSIDAD NACIONAL DE Tucumán MANUAL DEL INVESTIGADOR Sistema Integral de Gestión y Evaluación - A ñ o 2012 - ÍNDICE 1. INTRODUCCIÓN... 3 2. ASPECTOS GENERALES... 3 2.1. Creación de Usuario y obtención

Más detalles

Guía para los Autores

Guía para los Autores Normas Publicación Ustasalud Optometría 1 Guía para los Autores La Revista Usta Salud Optometría es una publicación anual de la División de Ciencias de la Salud de la Universidad Santo Tomás, Seccional

Más detalles

Criterios para la Validación de la Productividad Científica. Validación de la evidencia presentada por los investigadores: Definiciones 1 y Criterios

Criterios para la Validación de la Productividad Científica. Validación de la evidencia presentada por los investigadores: Definiciones 1 y Criterios Criterios para la Validación de la Productividad Científica Se considera productividad o producción científica al conjunto de productos derivados de la actividad de investigación de los profesores investigadores

Más detalles

LISTA ABGRA DE CORREO ELECTRÓNICO. Aceptación y vigencia de las normas

LISTA ABGRA DE CORREO ELECTRÓNICO. Aceptación y vigencia de las normas NORMAS BÁSICAS DE ESTILO LISTA ABGRA DE CORREO ELECTRÓNICO Aceptación y vigencia de las normas Las normas de esta lista están sujetas a cambio. Si esto ocurriera, se le comunicará a los suscriptores previamente.

Más detalles

Convocatoria para concurso de proyectos de investigación

Convocatoria para concurso de proyectos de investigación Convocatoria para concurso de proyectos de investigación sobre comunicación científica en América Latina y el Caribe El Proyecto Calidad en la comunicación científica de acceso abierto en América Latina

Más detalles

Pablo Martín Muñoz @edipotrebol Open Source Architect & Data Scientist Miembro de OpenDataSev y Grupo Drupal SVQ

Pablo Martín Muñoz @edipotrebol Open Source Architect & Data Scientist Miembro de OpenDataSev y Grupo Drupal SVQ Open Data Drupal Pablo Martín Muñoz @edipotrebol Open Source Architect & Data Scientist Miembro de OpenDataSev y Grupo Drupal SVQ OUR little ROADMAP http://www.flickr.com/photos/jurvetson/3277667570/ En

Más detalles

The Web Semantic approach like tool for the e-learning

The Web Semantic approach like tool for the e-learning The Web Semantic approach like tool for the e-learning Ana Vanessa Leguízamo León Universidad Central de Venezuela. Apdo. 47002, Los Chaguaramos 1041A, Caracas Venezuela Universidad de Salamanca Paseo

Más detalles

Dedicación Total: Procedimiento y normativa

Dedicación Total: Procedimiento y normativa Dedicación Total: Procedimiento y normativa Comisión Central de Dedicación Total Cumpliendo con la resolución adoptada por el CDC el 21/12/99 se convocará a aspirantes al Régimen de Dedicación Total que

Más detalles

CURRICULUM. : Javier Enrique Vidal Valenzuela. Fecha de nacimiento : 3 de Octubre de 1965

CURRICULUM. : Javier Enrique Vidal Valenzuela. Fecha de nacimiento : 3 de Octubre de 1965 CURRICULUM I. ANTECEDENTES PERSONALES Nombre Nacionalidad Carnet de identidad Estado Civil : Javier Enrique Vidal Valenzuela : Chilena : 9.413.058-1, Concepción : Casado, dos hijos Fecha de nacimiento

Más detalles

Reglamento Interno. Programa de Magíster

Reglamento Interno. Programa de Magíster Reglamento Interno Programa de Magíster Versión Acreditación Departamento de Ingeniería Eléctrica (Reglamento vigente desde junio de 2011) Santiago, Junio de 2011 Í N D I C E 1. INTRODUCCIÓN... 3 2. DESCRIPCIÓN

Más detalles

DESARROLLO DE MODELOS, METODOS Y APLICACIONES DE PROGRAMACION ESTOCASTICA EN PLANIFICACION OPTIMA DE LARGO PLAZO.

DESARROLLO DE MODELOS, METODOS Y APLICACIONES DE PROGRAMACION ESTOCASTICA EN PLANIFICACION OPTIMA DE LARGO PLAZO. CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 1999-1990106 DESARROLLO DE MODELOS, METODOS Y APLICACIONES DE PROGRAMACION ESTOCASTICA

Más detalles

CL_50466 Windows Azure Solutions with Microsoft Visual Studio 2010

CL_50466 Windows Azure Solutions with Microsoft Visual Studio 2010 Windows Azure Solutions with Microsoft Visual Studio 2010 www.ked.com.mx Av. Revolución No. 374 Col. San Pedro de los Pinos, C.P. 03800, México, D.F. Tel/Fax: 52785560 Introducción Este curso es una introducción

Más detalles

Anotación de contenidos Web

Anotación de contenidos Web Anotación de contenidos Web Distintos tipos de anotación según el vocabulario utilizado Basada en Dublin Core The contributor and creator is the flight booking service www.flightbookings.com. The date

Más detalles

ANEXO Nº 3 INSTRUCCIONES DECLARACION DE GASTOS EN LINEA CONCURSO REGULAR DE PROYECTOS FONDECYT DE INICIACIÓN EN INVESTIGACIÓN.

ANEXO Nº 3 INSTRUCCIONES DECLARACION DE GASTOS EN LINEA CONCURSO REGULAR DE PROYECTOS FONDECYT DE INICIACIÓN EN INVESTIGACIÓN. ANEXO Nº 3 INSTRUCCIONES DECLARACION DE GASTOS EN LINEA CONCURSO REGULAR DE PROYECTOS FONDECYT DE INICIACIÓN EN INVESTIGACIÓN Versión 2006 INDICE TEMATICO Página 1. INTRODUCCION 3 2. PLAZOS PARA DECLARAR

Más detalles

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL Taller sobre Pruebas en Ingeniería del Software PRIS 2006 GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL José García-Fanjul, Javier Tuya y Claudio de la Riva Departamento

Más detalles

Centro de investigación y estudios avanzados del IPN. Departamento de ingeniería eléctrica Sección de computación

Centro de investigación y estudios avanzados del IPN. Departamento de ingeniería eléctrica Sección de computación Centro de investigación y estudios avanzados del IPN. Departamento de ingeniería eléctrica Sección de computación Estado del Arte Orquestación de servicios Web utilizando el paradigma de Programación Orientada

Más detalles

Uso Del Gestor Bibliografico Zotero

Uso Del Gestor Bibliografico Zotero Uso Del Gestor Bibliografico Zotero Uso Del Gestor Bibliografico Zotero LO BÁSICO DE ZOTERO Zotero [Zoh-TAIR-oh] es una herramienta gratis, un complemento de MozillaFirefox muy fácil de usar paraayudarle

Más detalles

Manual para autores http://www.revistainvi.uchile.cl

Manual para autores http://www.revistainvi.uchile.cl Manual para autores http://www.revistainvi.uchile.cl Instituto de la Vivienda Facultad de Arquitectura y Urbanismo Universidad de Chile Elaboración Sandra Rivera M. Santiago, noviembre 2011 MANUAL PARA

Más detalles

Graph Database Model supporting RDF

Graph Database Model supporting RDF Graph Database Model supporting RDF Renzo Angles Departamento de Ciencias de la Computación Universidad de Chile Motivación General Incremento de información con estructura de grafo (Web, genoma, redes

Más detalles

El XBRL y sus aportes al intercambio de información financiera

El XBRL y sus aportes al intercambio de información financiera Universidad ORT Uruguay Facultad de Ingeniería El XBRL y sus aportes al intercambio de información financiera Entregado como requisito para la obtención del título de Licenciado en Sistemas Carlos Rial

Más detalles

Proyecto de Normalización Automática de Base de Datos

Proyecto de Normalización Automática de Base de Datos Proyecto de Normalización Automática de Base de Datos Lic. Beatriz Steimberg * Resumen En el primer cuatrimestre del año 2003 se encaró el proyecto de Normalización Automática de Base de Datos. El objetivo

Más detalles

Propuesta de un modelo de análisis para estimación del tamaño del software y gestión de costos y riesgos a partir de requerimientos funcionales

Propuesta de un modelo de análisis para estimación del tamaño del software y gestión de costos y riesgos a partir de requerimientos funcionales Propuesta de un modelo de análisis para estimación del tamaño del software y gestión de costos y riesgos a partir de requerimientos funcionales S.Forigua, O.Ballesteros Abstract. This paper describes the

Más detalles

CONCURSO DE PROYECTOS FONDECYT INSTRUCCIONES PARA INGRESAR INFORMACIÓN CURRICULAR

CONCURSO DE PROYECTOS FONDECYT INSTRUCCIONES PARA INGRESAR INFORMACIÓN CURRICULAR CONCURSO DE PROYECTOS FONDECYT INSTRUCCIONES PARA INGRESAR INFORMACIÓN CURRICULAR PRESENTACIÓN: El currículum del investigador reúne su información académica y laboral para todos los concursos de los Programas

Más detalles

Nociones Básicas de Sémantica: Semántica Denotacional

Nociones Básicas de Sémantica: Semántica Denotacional Nociones Básicas de Sémantica: Semántica Denotacional Análisis de Lenguajes de Programación Mauro Jaskelioff 21/08/2015 Acerca de la Semántica Operacional En la semántica operacional el significado de

Más detalles

Créditos 48 20 100 168 6. Participantes. Participantes en la Cátedra e investigadores del área de Sistemas Distribuidos

Créditos 48 20 100 168 6. Participantes. Participantes en la Cátedra e investigadores del área de Sistemas Distribuidos Nombre de la Asignatura: Base de Datos I Línea de Investigación o trabajo: Sistemas Distribuidos e Ingeniería de Software Horas TIS TPS Horas totales Créditos 48 20 100 168 6 1. Historial de la Asignatura.

Más detalles

ESCUELA MAFI TALLER DE CINE DOCUMENTAL

ESCUELA MAFI TALLER DE CINE DOCUMENTAL ESCUELA MAFI TALLER DE CINE DOCUMENTAL Organizan: Fundación MAFI- Mapa Fílmico de un País. Financia: Consejo Nacional de la Cultura y las Artes Colaboran: Ilustre Municipalidad de Copiapó EN QUÉ CONSISTE

Más detalles

PREMIO JÓVENES INVESTIGADORES de la Universidad de Alcalá en el año 2002.

PREMIO JÓVENES INVESTIGADORES de la Universidad de Alcalá en el año 2002. 1. DATOS PERSONALES Apellidos y Nombre: Tejedor Martínez, Cristina Cuerpo docente al que pertenece: Titular de Universidad Año de ingreso al cuerpo: 2001 Universidad a la que pertenece: Universidad de

Más detalles

Tecnologías de la web semántica

Tecnologías de la web semántica Tecnologías de la web semántica MSC-0301 Nombre de la asignatura: Tecnologías de la Web Semántica Línea de trabajo: Tecnologías Web Tiempo de dedicación del estudiante a las actividades de: DOC TIS TPS

Más detalles

Manual de Usuario Móvil SIMTO

Manual de Usuario Móvil SIMTO Manual de Usuario Móvil SIMTO SIAFESON 2014 Sistema de Monitoreo de TRIPS ORIENTAL Elaborado por: Lorenia Hoyos Editor: Alejandro J. Lagunes Colaboradores: Bernardo Pérez, Octavio Saavedra, Linda Herrera.

Más detalles

Capítulo 1 Introducción

Capítulo 1 Introducción Capítulo 1 Introducción Dentro de los muchos campos que abarca la universidad para la investigación científica, se encuentra el de los Sistemas de Información Geográfica (SIG). Para ello, cuenta con el

Más detalles

EVALUACION Y PROPUESTA DE MODELOS DE OPERACION DE UNA BOLSA DE ENERGIA OPERANDO EN UN SISTEMA ELECTRICO HIDROTERMICO

EVALUACION Y PROPUESTA DE MODELOS DE OPERACION DE UNA BOLSA DE ENERGIA OPERANDO EN UN SISTEMA ELECTRICO HIDROTERMICO CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2002-1020801 EVALUACION Y PROPUESTA DE MODELOS DE OPERACION DE UNA BOLSA DE ENERGIA

Más detalles