Marcelo Arenas

According to our database, Marcelo Arenas authored at least 151 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue.

Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros

Proc. ACM Manag. Data, November, 2024

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata.

Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet, Guy Van den Broeck, Benjie Wang

CoRR, 2024

MillenniumDB: A Multi-modal, Multi-model Graph Database.

Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Vicente Calisto, Benjamín Farias, Sebastián Ferrada, Tristan Heuer, Aidan Hogan, Gonzalo Navarro, Alexander Pinto, Juan L. Reutter, Henry Rosales-Méndez, Etienne Toussaint

Proceedings of the Companion of the 2024 International Conference on Management of Data, 2024

A Data Management Approach to Explainable AI.

Marcelo Arenas

Proceedings of the Companion of the 43rd Symposium on Principles of Database Systems, 2024

A Uniform Language to Explain Decision Trees.

Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.

Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet

J. Mach. Learn. Res., 2023

MillenniumDB: An Open-Source Graph Database System.

Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil-Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, Juan Romero

Data Intell., 2023

A Symbolic Language for Interpreting Decision Trees.

Marcelo Arenas, Pablo Barceló, Diego Bustamente, Jose Caraball, Bernardo Subercaseaux

CoRR, 2023

The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023.

Marcelo Arenas, Wenfei Fan, Frank Neven

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

Counting the Answers to a Query.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

SIGMOD Rec., 2022

On Computing Probabilistic Explanations for Decision Trees.

Marcelo Arenas, Pablo Barceló, Miguel A. Romero Orth, Bernardo Subercaseaux

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Counting the Solutions to a Query (Invited Talk).

Marcelo Arenas

Proceedings of the 25th International Conference on Database Theory, 2022

Temporal Regular Path Queries.

Marcelo Arenas, Pedro Bahamondes, Amir Aghasadeghi, Julia Stoyanovich

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021

The Complexity of Counting Problems Over Incomplete Databases.

Marcelo Arenas, Pablo Barceló, Mikaël Monet

ACM Trans. Comput. Log., 2021

#NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

J. ACM, 2021

Is it Possible to Verify if a Transaction is Spendable?

Marcelo Arenas, Thomas Reisenegger, Juan L. Reutter, Domagoj Vrgoc

Frontiers Blockchain, 2021

MillenniumDB: A Persistent, Open-Source, Graph Database.

Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil-Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, Juan Romero

CoRR, 2021

Temporal Regular Path Queries: Syntax, Semantics, and Complexity.

Marcelo Arenas, Pedro Bahamondes, Julia Stoyanovich

CoRR, 2021

The future is big graphs: a community view on graph processing systems.

Sherif Sakr, Angela Bonifati, Hannes Voigt, Alexandru Iosup, Khaled Ammar, Renzo Angles, Walid G. Aref, Marcelo Arenas, Maciej Besta, Peter A. Boncz, Khuzaima Daudjee, Emanuele Della Valle, Stefania Dumbrava, Olaf Hartig, Bernhard Haslhofer, Tim Hegeman, Jan Hidders, Katja Hose, Adriana Iamnitchi, Vasiliki Kalavri, Hugo Kapp, Wim Martens, M. Tamer Özsu, Eric Peukert, Stefan Plantikow, Mohamed Ragab, Matei Ripeanu, Semih Salihoglu, Christian Schulz, Petra Selmer, Juan F. Sequeda, Joshua Shinavier, Gábor Szárnyas, Riccardo Tommasini, Antonino Tumeo, Alexandru Uta, Ana Lucia Varbanescu, Hsiang-Yun Wu, Nikolay Yakovets, Da Yan, Eiko Yoneki

Commun. ACM, 2021

When is approximate counting for conjunctive queries tractable?

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021

A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper).

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021

Querying in the Age of Graph Databases and Knowledge Graphs.

Marcelo Arenas, Claudio Gutierrez, Juan F. Sequeda

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Foundations of Symbolic Languages for Model Interpretability.

Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits.

Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Querying the Semantic Web via Rules.

Marcelo Arenas, Georg Gottlob, Andreas Pieris

Proceedings of the Applications and Practices in Ontology Design, 2020

Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

SIGMOD Rec., 2020

Descriptive Complexity for Counting Complexity Classes.

Marcelo Arenas, Martin Muñoz, Cristian Riveros

Log. Methods Comput. Sci., 2020

The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits.

Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet

CoRR, 2020

An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

CoRR, 2020

Chile's new interdisciplinary institute for foundational research on data.

Marcelo Arenas, Pablo Barceló

Commun. ACM, 2020

Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards.

Marcelo Arenas, Juan L. Reutter, Etienne Toussaint, Martín Ugarte, Francisco José Vial Prado, Domagoj Vrgoc

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Counting Problems over Incomplete Databases.

Marcelo Arenas, Pablo Barceló, Mikaël Monet

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

2019

Graph Path Navigation.

Marcelo Arenas, Pablo Barceló, Leonid Libkin

Proceedings of the Encyclopedia of Big Data Technologies., 2019

2018

XML Integrity Constraints.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Third Normal Form.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Second Normal Form (2NF).

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Normal Forms and Normalization.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Fourth Normal Form.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Boyce-Codd Normal Form.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Expressive Languages for Querying the Semantic Web.

Marcelo Arenas, Georg Gottlob, Andreas Pieris

ACM Trans. Database Syst., 2018

Database Theory Column Report on PODS 2018.

Marcelo Arenas

SIGACT News, 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi

Dagstuhl Manifestos, 2018

G-CORE: A Core for Future Graph Query Languages.

Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter A. Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt

Proceedings of the 2018 International Conference on Management of Data, 2018

On the Progression of Situation Calculus Universal Theories with Constants.

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Designing a Query Language for RDF: Marrying Open and Closed Worlds.

Marcelo Arenas, Martín Ugarte

ACM Trans. Database Syst., 2017

Foreword: Special Issue on Database Theory.

Marcelo Arenas

Theory Comput. Syst., 2017

Foundations of Modern Query Languages for Graph Databases.

Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc

ACM Comput. Surv., 2017

A Note on Computing Certain Answers to Queries over Incomplete Databases.

Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Faceted search over RDF-based knowledge graphs.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

J. Web Semant., 2016

The Exact Complexity of the First-Order Logic Definability Problem.

Marcelo Arenas, Gonzalo I. Diaz

ACM Trans. Database Syst., 2016

Research Directions for Principles of Data Management (Abridged).

Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi

SIGMOD Rec., 2016

SPARQLByE: Querying RDF data by example.

Gonzalo I. Diaz, Marcelo Arenas, Michael Benedikt

Proc. VLDB Endow., 2016

A framework for annotating CSV-like data.

Marcelo Arenas, Francisco Maturana, Cristian Riveros, Domagoj Vrgoc

Proc. VLDB Endow., 2016

Foundations of Data Management (Dagstuhl Perspectives Workshop 16151).

Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, Thomas Schwentick

Dagstuhl Reports, 2016

Foundations of Modern Graph Query Languages.

Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc

CoRR, 2016

Knowledge base exchange: The case of OWL 2 QL.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Artif. Intell., 2016

Reverse Engineering SPARQL Queries.

Marcelo Arenas, Gonzalo I. Diaz, Egor V. Kostylev

Proceedings of the 25th International Conference on World Wide Web, 2016

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs.

Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award.

Marcelo Arenas, Peter Buneman, Jan Van den Bussche

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Incomplete Causal Laws in the Situation Calculus Using Free Fluents.

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Datalog-Based Language for Querying RDF Graphs.

Marcelo Arenas, Georg Gottlob, Andreas Pieris

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015

Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries.

Marcelo Arenas, Gabriel Diéguez, Jorge Pérez

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Preliminary Investigation into SPARQL Query Complexity and Federation in Bio2RDF.

Carlos Buil-Aranda, Martín Ugarte, Marcelo Arenas, Michel Dumontier

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Everything you always wanted to know about blank nodes.

Aidan Hogan, Marcelo Arenas, Alejandro Mallea, Axel Polleres

J. Web Semant., 2014

Discovering XSD Keys from XML Data.

Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren

ACM Trans. Database Syst., 2014

A Principled Approach to Bridging the Gap between Graph Data and their Schemas.

Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas

Proc. VLDB Endow., 2014

SemFacet: semantic faceted search over yago.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz

Proceedings of the 23rd International World Wide Web Conference, 2014

Towards semantic faceted search.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

Proceedings of the 23rd International World Wide Web Conference, 2014

OBDA: Query Rewriting or Materialization? In Practice, Both!

Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker

Proceedings of the Semantic Web - ISWC 2014, 2014

Enabling Faceted Search over OWL 2 with SemFacet.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

On Faceted Search over Knowledge Bases.

Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Faceted Search over Ontology-Enhanced RDF Data.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Expressiveness and Complexity of Bidirectional Constraints for Data Exchange.

Marcelo Arenas, Gabriel Diéguez, Jorge Pérez

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Foundations of Data Exchange

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak

Cambridge University Press, ISBN: 9781107016163, 2014

2013

Federating queries in SPARQL 1.1: Syntax, semantics and evaluation.

Carlos Buil-Aranda, Marcelo Arenas, Óscar Corcho, Axel Polleres

J. Web Semant., 2013

The Chilean Database Group.

Marcelo Arenas, Pablo Barceló, Loreto Bravo, Claudio Gutierrez, Jorge Pérez, Juan L. Reutter, M. Andrea Rodríguez

J. Inf. Data Manag., 2013

The language of plain SO-tgds: Composition, inversion and structural properties.

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros

J. Comput. Syst. Sci., 2013

Data exchange beyond complete data.

Marcelo Arenas, Jorge Pérez, Juan L. Reutter

J. ACM, 2013

Solutions and query rewriting in data exchange.

Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin

Inf. Comput., 2013

Exchanging OWL 2 QL Knowledge Bases.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Proceedings of the IJCAI 2013, 2013

Computing Solutions in OWL 2 QL Knowledge Exchange.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards General Representability in Knowledge Exchange.

Marcelo Arenas, Jorge Pérez, Emanuel Sallinger

Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012

Query language-based inverses of schema mappings: semantics, computation, and closure properties.

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros

VLDB J., 2012

Querying Semantic Data on the Web?

Marcelo Arenas, Claudio Gutierrez, Daniel P. Miranker, Jorge Pérez, Juan F. Sequeda

SIGMOD Rec., 2012

On Directly Mapping Relational Databases to RDF and OWL (Extended Version)

Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker

CoRR, 2012

On directly mapping relational databases to RDF and OWL.

Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker

Proceedings of the 21st World Wide Web Conference 2012, 2012

Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard.

Marcelo Arenas, Sebastián Conca, Jorge Pérez

Proceedings of the 21st World Wide Web Conference 2012, 2012

Federation and Navigation in SPARQL 1.1.

Marcelo Arenas, Jorge Pérez

Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Ontology-Based Data Access Using Views.

Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Exchanging Description Logic Knowledge Bases.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Representability in DL-Lite_R Knowledge Base Exchange.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction".

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez

IEEE Trans. Knowl. Data Eng., 2011

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries.

Marcelo Arenas, Pablo Barceló, Juan L. Reutter

Theory Comput. Syst., 2011

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.

Marcelo Arenas, Pablo Barceló, Leonid Libkin

Theory Comput. Syst., 2011

Guest editorial: Special issue on database theory.

Marcelo Arenas

J. Comput. Syst. Sci., 2011

Composition with Target Constraints

Marcelo Arenas, Ronald Fagin, Alan Nash

Log. Methods Comput. Sci., 2011

On Blank Nodes.

Alejandro Mallea, Marcelo Arenas, Aidan Hogan, Axel Polleres

Proceedings of the Semantic Web - ISWC 2011, 2011

Querying semantic web data with SPARQL.

Marcelo Arenas, Jorge Pérez

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Semantics and Optimization of the SPARQL 1.1 Federation Extension.

Carlos Buil-Aranda, Marcelo Arenas, Óscar Corcho

Proceedings of the Semanic Web: Research and Applications, 2011

Knowledge Base Exchange.

Marcelo Arenas, Elena Botoeva, Diego Calvanese

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Exchanging More than Complete Data.

Marcelo Arenas

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Relational and XML Data Exchange

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01840-4, 2010

nSPARQL: A navigational language for RDF.

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez

J. Web Semant., 2010

Foundations of schema mapping management.

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Datalog as a Query Language for Data Exchange Systems.

Marcelo Arenas, Pablo Barceló, Juan L. Reutter

Proceedings of the Datalog Reloaded - First International Workshop, 2010

On the Decidability of Consistent Query Answering.

Marcelo Arenas, Leopoldo E. Bertossi

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009

XML Integrity Constraints.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, 2009

Third Normal Form.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, 2009

Second Normal Form (2NF).

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, 2009

Normal Forms and Normalization.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, 2009

Fourth Normal Form.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, 2009

Boyce-Codd Normal Form.

Marcelo Arenas

Proceedings of the Encyclopedia of Database Systems, 2009

Semantics and complexity of SPARQL.

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez

ACM Trans. Database Syst., 2009

The recovery of a schema mapping: Bringing exchanged data back.

Marcelo Arenas, Jorge Pérez, Cristian Riveros

ACM Trans. Database Syst., 2009

Composition and inversion of schema mappings.

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros

SIGMOD Rec., 2009

Inverting Schema Mappings: Bridging the Gap between Theory and Practice.

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros

Proc. VLDB Endow., 2009

Information systems preface.

Marcelo Arenas, Michael I. Schwartzbach

Inf. Syst., 2009

Foundations of RDF Databases.

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez

Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

On the Semantics of SPARQL.

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

On the Complexity of Verifying Consistency of XML Specifications.

Marcelo Arenas, Wenfei Fan, Leonid Libkin

SIAM J. Comput., 2008

First-Order and Temporal Logics for Nested Words.

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin

Log. Methods Comput. Sci., 2008

XML data exchange: Consistency and query answering.

Marcelo Arenas, Leonid Libkin

J. ACM, 2008

Game-based notions of locality over finite models.

Marcelo Arenas, Pablo Barceló, Leonid Libkin

Ann. Pure Appl. Log., 2008

2007

An Extension of SPARQL for RDFS.

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez

Proceedings of the Semantic Web, Ontologies and Databases, VLDB Workshop, 2007

Combining Temporal Logics for Querying XML Documents.

Marcelo Arenas, Pablo Barceló, Leonid Libkin

Proceedings of the Database Theory, 2007

2006

Normalization theory for XML.

Marcelo Arenas

SIGMOD Rec., 2006

Locality of Queries and Transformations.

Marcelo Arenas

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005

Design principles for XML data.

Marcelo Arenas

PhD thesis, 2005

An information-theoretic approach to normal forms for relational and XML data.

Marcelo Arenas, Leonid Libkin

J. ACM, 2005

Consistency of XML Specifications.

Marcelo Arenas, Wenfei Fan, Leonid Libkin

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

2004

A normal form for XML documents.

Marcelo Arenas, Leonid Libkin

ACM Trans. Database Syst., 2004

Data Sharing Through Query Translation in Autonomous Sources.

Anastasios Kementsietsidis, Marcelo Arenas

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

Locally Consistent Transformations and Query Answering in Data Exchange.

Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Efficient Incremental Validation of XML Documents.

Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas

Proceedings of the 20th International Conference on Data Engineering, 2004

2003

Answer sets for consistent query answering in inconsistent databases.

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki

Theory Pract. Log. Program., 2003

Scalar aggregation in inconsistent databases.

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, Jeremy P. Spinrad

Theor. Comput. Sci., 2003

The hyperion project: from data integration to data coordination.

Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos

SIGMOD Rec., 2003

Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.

Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Managing Data Mappings in the Hyperion Project.

Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller

Proceedings of the 19th International Conference on Data Engineering, 2003

Coordinating Peer Databases Using ECA Rules.

Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas

Proceedings of the Databases, 2003

2002

Hypothetical Temporal Reasoning in Databases.

Marcelo Arenas, Leopoldo E. Bertossi

J. Intell. Inf. Syst., 2002

On Verifying Consistency of XML Specifications.

Marcelo Arenas, Wenfei Fan, Leonid Libkin

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

What's Hard about XML Schema Constraints?

Marcelo Arenas, Wenfei Fan, Leonid Libkin

Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

2001

Scalar Aggregation in FD-Inconsistent Databases.

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki

Proceedings of the Database Theory, 2001

2000

Specifying and Querying Database Repairs using Logic Programs with Exceptions.

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki

Proceedings of the Flexible Query Answering Systems, 2000

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.

Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer

Proceedings of the Computational Logic, 2000

1999

Consistent Query Answers in Inconsistent Databases.

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki

Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

1998

SCDBR: An Automated Reasoner for Specifications of Database Updates.

Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti

J. Intell. Inf. Syst., 1998

Query Evaluation in Almost Consistent Databases using Residues.

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki

Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Hypothetical Temporal Queries in Databases.

Marcelo Arenas, Leopoldo E. Bertossi

Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

The Dynamics of Database Views.

Marcelo Arenas, Leopoldo E. Bertossi

Proceedings of the Transactions and Change in Logic Databases, 1998