Browsing by Author "XX676183"

Now showing items 21-34 of 34

    • New complexity bounds for evaluating CRPQs with path comparisons 
      Muñoz Fuentes, Pablo Benito (Universidad de Chile, 2014)
      En muchos problemas que surgen en el contexto de consultar información en bases de datos estructuradas sobre grafos (como encontrar asociaciones semanticas en grafos RDF, encontrar emparejamientos exactos o aproximados the ...
    • On the data complexity of consistent query answering over graph databases 
      Barceló Baeza, Pablo; Fontaine, Gaëlle (Elsevier, 2017)
      Applications of graph databases are prone to inconsistency due to interoperability issues. This raises the need for studying query answering over inconsistent graph databases in a simple but general framework. We follow ...
    • Order-Invariant Types and their Applications 
      Barceló Baeza, Pablo; Libkin, Leonid (Tech Univ Braunschweig, 2016)
      Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, hut ...
    • Parameterized regular expressions and their languages 
      Barceló Baeza, Pablo; Reutter, Juan; Libkin, Leonid (Elsevier, 2013)
      We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs ...
    • Plataforma de compra de pasajes aéreos para una organización con sistema de trabajo en turnos 
      Pilleux Gallardo, Mauricio Eduardo (Universidad de Chile, 2016)
      El presente trabajo de memoria resuelve la problemática de una organización que debe comprar los pasajes aéreos con una debida anticipación para efectuar el transporte de sus 150 trabajadores que laboran en sistema de ...
    • Plataforma de difusión y comercialización de obras musicales como una propuesta de nuevo paradigma para la ... 
      Pardo Garrido, José Antonio (Universidad de Chile, 2015)
      El presente trabajo propone un nuevo canal de comunicación descentralizado, para los diferentes actores de la industria musical, basándose en una plataforma de red social. Se analiza el estado actual de la industria ...
    • Plataforma de Integración de Recursos Educacionales en la Web Chilena 
      Krsulovic Morales, Ernesto Juan (Universidad de ChileCyberDocs, 2010)
    • Portando AmbientTalk a Dispositivos Móviles Livianos 
      Allende Prieto, Esteban Armando (Universidad de Chile, 2010-04-28)
      El objetivo general del presente trabajo es poder interpretar un subconjunto del lenguaje de programación AmbientTalk en un dispositivo móvil liviano que sea capaz de interactuar con otros programas desarrollados en ...
    • Querying Regular Graph Patterns 
      Barceló Baeza, Pablo; Libkin, Leonid; Reutter, Juan L. (ACM, 2014)
      Graph data appears in a variety of application domains, and many uses of it, such as querying, matching, and transforming data, naturally result in incompletely specified graph data, that is, graph patterns. While queries ...
    • Red social para el fomento de la lectura 
      González Riquelme, Rodrigo Andrés (Universidad de Chile, 2015)
      En este documento se detalla el trabajo realizado para la elaboración de una red social para el fomento de la lectura, como parte del proyecto de La Biblioteca Libre. Acá se explica la solución implementada y las tecnologías ...
    • Semantic Acyclicity on Graph Databases 
      Barceló Baeza, Pablo; Romero Orth, Miguel; Vardi, Moshe (SIAM, 2016)
      It is known that unions of acyclic conjunctive queries (CQs) can be evaluated in linear time, as opposed to arbitrary CQs, for which the evaluation problem is NP-complete. It follows from techniques in the area of ...
    • Semantic optimization in tractable classes of conjunctive queries 
      Barceló Baeza, Pablo; Pieris, Andreas; Romero, Miguel (Association for Computing Machinery, 2017)
      This paper reports on recent advances in semantic query optimization. We focus on the core class of conjunctive queries (CQs). Since CQ evaluation is NP-complete, a long line of research has concentrated on identifying ...
    • Sistema de Soporte para Control de Inventarios Mediante RFID. 
      Collao Vilches, Carlos Alfredo (Universidad de Chile, 2008)
      Esta memoria se basa en el desarrollo de un sistema de control de circulación de volúmenes dentro de la biblioteca de la Facultad de Ciencias Físicas y Matemáticas de la Universidad de Chile. Este desarrollo se enmarca ...
    • String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS 
      Lin, Anthony W.; Barceló Baeza, Pablo (Assoc Computing Machinery, 2016)
      We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to one type of operations yields decidability, ...