Download.jpeg_thumb90

Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

Líneas de Investigación


DATABASE THEORY; LOGIC IN COMPUTER SCIENCE

Educación

  •  Computer Science, UNIVERSITY OF TORONTO. Canada, 2006

Experiencia Académica

  •   Full Professor Full Time

    UNIVERSIDAD DE CHILE

    Physical and Mathematical Sciences

    Chile

    2007 - 2019

  •   Full Professor Full Time

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Chile

    2019 - A la fecha

Formación de Capital Humano


PhD students:
- Miguel Romero. Universidad de Chile, 2016.

Master students:
- Miguel Romero. Universidad de Chile, 2012.
- Victor Carmi. Universidad de Chile, 2013.
- Gonzalo Ríos. Universidad de Chile, 2013.
- Nelson Higuera. Universidad de Chile, 2020.
- Bernardo Subercaseux. Universidad de Chile, 2021.



 

Article (24)

Chile's New Interdisciplinary Institute for Foundational Research on Data
Semantic Optimization of Conjunctive Queries
The Expressive Power of Graph Neural Networks as a Query Language
Bisimulations on Data Graphs
Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection
Foundations of Modern Query Languages for Graph Databases
Graph logics with rational relations=> The role of word combinatorics
On the data complexity of consistent query answering over graph databases
The homomorphism problem for regular graph patterns
Order-invariant types and their applications
Semantic acyclicity on graph databases
EFFICIENT APPROXIMATIONS OF CONJUNCTIVE QUERIES
Querying Regular Graph Patterns
GRAPH LOGICS WITH RATIONAL RELATIONS
Parameterized regular expressions and their languages
Solutions and query rewriting in data exchange
Expressive Languages for Path Queries over Graph-Structured Data
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
XML with Incomplete Information
Logical Foundations of Relational Data Exchange
FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS
Game-based notions of locality over finite models
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets

BookWhole (1)

Foundations of data exchange

ConferencePaper (28)

Counting problems over incomplete databases
Model Interpretability through the lens of Computational Complexity
On the expressiveness of Lara: A unified language for linear and relational algebra
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
The Logical Expressiveness of Graph Neural Networks
Expressiveness of matrix and tensor query languages in terms of ML operators
Monadic decomposability of regular relations
Regularizing Conjunctive Features for Classification
When is ontology-mediated querying efficient?
A more general theory of static approximations for conjunctive queries
Containment for rule-based ontology-mediated queries
G-CORE a core for future graph query languages
The complexity of reverse engineering problems for conjunctive queries
Semantic acyclicity under constraints
String solving with word equations and transducers: Towards a logic for analysing mutation XSS
Efficient Evaluation and Approximation of Well-designed Pattern Trees
Efficient evaluation of well-designed pattern trees (extended abstract)?
On the data complexity of consistent query answering over graph databases
Does query evaluation tractability help query containment?
Graph logics with rational relations: The role of word combinatorics
Sharing and Exchanging Data
A practical query language for graph DBs
Efficient approximations of conjunctive queries
Graph Logics with Rational Relations and the Generalized Intersection Problem
Datalog as a Query Language for Data Exchange Systems
Expressive Languages for Path Queries over Graph-Structured Data
XML with Incomplete Information: Models, Properties, and Query Answering
Combining temporal logics for querying XML documents

Editorial (2)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Program Chairs' Welcome

EditorialMaterial (1)

Special Issue: JCSS Foundations of Data Management Foreword

Proyecto (6)

Millennium Institute for Foundational Research on Data
SEMANTIC OPTIMIZATION IN TRACTABLE CLASSES OF CONJUNCTIVE QUERIES
Millenium Nucleus Center for Semantic Web Research
EFFICIENT APPROXIMATIONS OF CONJUNCTIVE QUERIES
NEW MODELS AND QUERY LANGUAGES FOR EMERGING APPLICATIONS OF SEMISTRUCTURED DATA
EXTENDING QUERY LANGUAGES FOR RELATIONAL AND XML DATA EXCHANGE
48
Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

9
Marcelo Arenas

Associate Professor

Computer Sciences

Pontificia Universidad Catolica de Chile

Santiago, Chile

2
Renzo Angles

ACADÉMICO JORNADA COMPLETA

CIENCIAS DE LA COMPUTACIÓN

UNIVERSIDAD DE TALCA, DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN

Curicó, Chile