Marcelo Arenas,
Jorge Perez,
Juan Reutter and
Cristian Riveros.
Query Language based Inverses of Schema Mappings: Semantics, Computation, and Closure Properties.
To appear in The VLDB Journal.
Marcelo Arenas,
Ronald Fagin and
Alan Nash.
Composition with Target Constraints.
Logical Methods in Computer Science 7(3), Article 13 (38 pages), 2011. (Selected papers from ICDT'11).
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Leonid Libkin.
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
Theory of Computing Systems. 49(3):639-670, 2011.
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Juan Reutter.
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries.
Theory of Computing Systems 49(2):489-564, 2011. (Selected papers from ICDT'09).
[pdf]
Jorge Perez,
Marcelo Arenas and
Claudio Gutierrez.
nSPARQL: A navigational language for RDF.
Journal of Web Semantics 8(4):255-270, 2010.
[pdf]
Marcelo Arenas,
Jorge Perez and
Cristian Riveros.
The Recovery of a Schema Mapping: Bringing Exchanged Data Back.
ACM Transactions on Database Systems, 34(4), Article 22 (48 pages), 2009.
(Selected papers from PODS'08).
[pdf | appendix]
Marcelo Arenas,
Wenfei Fan and
Leonid Libkin.
On the Complexity of Verifying Consistency of XML Specifications.
SIAM Journal on Computing, 38(3):841-880, 2008.
[pdf]
Marcelo Arenas and
Leonid Libkin.
XML Data Exchange: Consistency and Query Answering.
Journal of the ACM, 55(2), Article 7 (72 pages), 2008.
(Selected papers from PODS'05).
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Leonid Libkin.
Game-based Notions of Locality over Finite Models.
Annals of Pure and Applied Logic, 152(1-3):3-30, 2008.
[pdf]
Marcelo Arenas.
Normalization Theory for XML.
SIGMOD Record, 35(4): 57-64, 2006.
[pdf]
Marcelo Arenas and
Leonid Libkin.
An Information-Theoretic Approach to Normal Forms for
Relational and XML Data.
Journal of the ACM, 52(2):246-283, 2005.
(Selected papers from PODS'03).
[pdf]
Marcelo Arenas and
Leonid Libkin.
A Normal Form for XML Documents.
ACM Transactions on Databases Systems, 29(1):195-232, 2004.
(Selected papers from SIGMOD/PODS'02).
[pdf | appendix]
Marcelo Arenas,
Leopoldo Bertossi and
Jan Chomicki.
Answer Sets for Consistent Query Answering in Inconsistent Databases.
Theory and Practice of Logic Programming, 3(4+5):393-424, 2003.
[pdf]
Marcelo Arenas,
Leopoldo Bertossi,
Jan Chomicki,
Xin He,
Vijay Raghavan and
Jeremy Spinrad.
Scalar Aggregation in Inconsistent Databases.
Theoretical Computer Science, 296(3):405-434, 2003. (Selected papers from
ICDT'01).
[pdf]
Marcelo Arenas and
Leopoldo Bertossi.
Hypothetical Temporal Queries in Databases.
Journal of Intelligent Information Systems, 19(2):231-259,
2002.
[pdf]
Leopoldo Bertossi,
Marcelo Arenas and
Cristian Ferretti.
SCDBR: An Automated Reasoner for Specifications of
Database Updates.
Journal of Intelligent Information Systems, 10(3):253-280,
1998.
[pdf]
Conference Articles
Marcelo Arenas,
Sebastián Conca and
Jorge Perez.
Counting beyond a Yottabyte, or how SPARQL 1.1 Property Paths will prevent adoption of the standard. To appear in Proceedings of the 21st International Conference on World Wide Web (WWW'12), Lyon, France, 2012.
[pdf]
Juan F. Sequeda,
Marcelo Arenas and
Daniel Miranker.
On Directly Mapping Relational Databases to RDF and OWL. To appear in Proceedings of the 21st International Conference on World Wide Web (WWW'12), Lyon, France, 2012.
[pdf]
Alejandro Mallea,
Marcelo Arenas,
Aidan Hogan and
Axel Polleres.
On Blank Nodes. In Proceedings of the 10th International Semantic
Web Conference (ISWC'11), Bonn, Germany, pages 421-437, 2011.
[pdf]
Marcelo Arenas,
Jorge Perez and
Juan Reutter.
Data Exchange beyond Complete Data. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), Athens, Greece, pages 83-94, 2011.
[pdf]
Marcelo Arenas and
Jorge Perez.
Querying Semantic Web Data with SPARQL: State of the Art and Research Perspectives. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), Athens, Greece, pages 305-316, 2011.
[pdf]
Carlos Buil-Aranda,
Marcelo Arenas and
Oscar Corcho.
Semantics and Optimization of the SPARQL 1.1 Federation Extension. In Proceedings of the 8th Extended Semantic Web Conference (ESWC'11), Heraklion, Greece, pages 1-15, 2011.
[pdf]
Marcelo Arenas,
Jorge Perez,
Juan Reutter and
Cristian Riveros.
Foundations of Schema Mapping Management. In Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
(PODS'10), Indianapolis, Indiana, USA, pages 227-238, 2010.
[pdf]
Marcelo Arenas,
Ronald Fagin and
Alan Nash.
Composition with Target Constraints. In Proceedings of the
13th International Conference on Database Theory (ICDT'10), Lausanne, Switzerland, 2010.
[pdf]
Marcelo Arenas,
Jorge Perez,
Juan Reutter and
Cristian Riveros.
Inverting Schema Mappings: Bridging the Gap between Theory and Practice. In Proceedings of the 35th International Conference on Very Large Data Bases (VLDB'09), Lyon, France, pages 1018-1029, 2009.
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Juan Reutter.
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. In Proceedings of the 12th International Conference on Database Theory (ICDT'09), Saint-Petersburg, Russia, pages 73-83, 2009.
[pdf]
Jorge Perez,
Marcelo Arenas and
Claudio Gutierrez.
nSPARQL: A Navigational Language for RDF. In
Proceedings of the 7th International Semantic Web Conference
(ISWC'08), Karlsruhe, Germany, volume 5318 of Lecture Notes Computer
Science, pages 66-81, 2008.
[pdf]
Marcelo Arenas,
Jorge Perez and
Cristian Riveros.
The Recovery of a Schema Mapping: Bringing Exchanged Data
Back. In Proceedings of the 27th ACM
SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
(PODS'08), Vancouver, Canada, pages 13-22, 2008.
[pdf]
Rajeev Alur,
Marcelo Arenas,
Pablo Barcelo,
Kousha Etessami,
Neil Immerman and
Leonid Libkin.
First-Order and Temporal Logics for Nested Words. In
Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer
Science (LICS'07), Wroclaw, Poland, pages 151-160, 2007.
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Leonid Libkin.
Regular Languages of Nested Words: Fixed Points, Automata, and
Synchronization. In Proceedings of the 34th
International Colloquium on Automata, Languages and Programming
(ICALP'07), Wroclaw, Poland, volume 4596 of Lecture Notes in Computer
Science, pages 888-900, 2007.
[pdf | errata]
Marcelo Arenas,
Pablo Barcelo and
Leonid Libkin.
Combining Temporal Logics for Querying XML Documents. In
Proceedings of the 11th International Conference on Database Theory
(ICDT'07), Barcelona, Spain, volume 4353 of Lecture Notes in Computer Science, pages 359-373, 2007.
[pdf]
Jorge Perez,
Marcelo Arenas and
Claudio Gutierrez.
Semantics and Complexity of SPARQL.
In Proceedings of the 5th International Semantic Web Conference
(ISWC'06), Athens, GA, USA, volume 4273 of Lecture Notes in Computer Science, pages 30-43, Springer, 2006.
[pdf | errata]
Marcelo Arenas and
Leonid Libkin.
XML Data Exchange: Consistency and Query Answering.
In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART
Symposium on Principles of Database Systems (PODS'05), Baltimore, USA,
pages 13-24, 2005.
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Leonid Libkin.
Game-based Notions of Locality over Finite Models.
In Proceedings of the 18th Annual Conference of the
European Association for Computer Science Logic (CSL'04), Karpacz,
Poland, volume 3210 of Lecture Notes in Computer Science, pages
175-189, Springer, 2004.
[pdf]
Marcelo Arenas,
Pablo Barcelo,
Ronald Fagin and
Leonid Libkin.
Locally Consistent Transformations and Query Answering in Data
Exchange.
In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART
Symposium on Principles of Database Systems (PODS'04), Paris,
France, pages 229-240, 2004.
[pdf]
Anastasios Kementsietsidis and
Marcelo Arenas.
Data Sharing Through Query Translation in Autonomous Sources.
In Proceedings of the 30th International Conference on
Very Large Data Bases (VLDB'04), Toronto, Canada, pages 468-479,
2004.
[pdf]
Denilson Barbosa,
Alberto Mendelzon,
Leonid Libkin,
Laurent Mignet and
Marcelo Arenas.
Efficient Incremental Validation of XML Documents.
In Proceedings of the 20th International Conference on Data Engineering (ICDE'04), Boston, USA, pages 671-682, 2004.
[pdf]
Marcelo Arenas and
Leonid Libkin.
An Information-Theoretic Approach to Normal Forms for Relational and XML Data.
In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART
Symposium on Principles of Database Systems (PODS'03), San Diego, USA, pages 15-26, 2003.
[pdf]
Anastasios Kementsietsidis,
Marcelo Arenas and
Renee J. Miller.
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic
Issues.
In Proceedings of the SIGMOD International Conference on
Management of Data (SIGMOD'03), San Diego, USA, pages 325-336. 2003.
[pdf]
Also presented in the 2nd Hellenic Data Management Symposium (HDMS'03), Athens, Greece, 2003.
Marcelo Arenas,
Wenfei Fan and
Leonid Libkin.
On Verifying Consistency of XML Specifications.
In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART
Symposium on Principles of Database Systems (PODS'02), Madison, USA,
pages 259-270. 2002.
[pdf]
Marcelo Arenas and
Leonid Libkin.
A Normal Form for XML Documents.
In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART
Symposium on Principles of Database Systems (PODS'02), Madison, USA,
pages 85-96. 2002.
[pdf]
Marcelo Arenas,
Wenfei Fan and
Leonid Libkin.
What's Hard about XML Schema Constraints?
Proceedings of the 13th International Conference on
Database and Expert Systems Applications (DEXA'02), Aix en Provence,
France, volume 2453 of Lecture Notes in Computer
Science, pages 269-278, Springer, 2002.
[pdf]
Marcelo Arenas,
Leopoldo Bertossi and
Jan Chomicki.
Scalar Aggregation in FD-Inconsistent Databases.
In Proceedings of the 8th International Conference on Database
Theory (ICDT'01), London, UK, volume 1973 of Lecture Notes in Computer
Science, pages 39-53. Springer, 2001.
[pdf]
Marcelo Arenas,
Leopoldo Bertossi and
Jan Chomicki.
Specifying and Querying Database Repairs using Logic
Programs with Exceptions.
In Proceedings of the 4th International Conference on Flexible
Query Answering Systems (FQAS'00), Warsaw, Poland, pages 27-41. Springer,
2000.
[pdf]
Marcelo Arenas,
Leopoldo Bertossi and
Michael Kifer.
Applications of Annotated Predicate Calculus to Querying
Inconsistent Databases.
In Proceedings of the 6th International Conference on Rules and
Objects in Databases (DOOD'00), London, UK, volume 1861 of Lecture
Notes in Artificial Intelligence, pages 926-941. Springer, 2000.
[pdf | errata]
Marcelo Arenas,
Leopoldo Bertossi,
Loreto Bravo,
Laura Gallardo and
Achim Sydow.
Environmental Information System for Analysis and Forecast
of Air Pollution (Application to Santiago de Chile).
In Proceedings of the International Conference on Environmental
Modeling and Simulation (ICEMS'00), San Diego, USA, pages 71-75, 2000.
[pdf]
Marcelo Arenas,
Leopoldo Bertossi and
Jan Chomicki.
Consistent Query Answers in Inconsistent Databases.
In Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on
Principles of Database Systems (PODS'99), Philadelphia, USA, pages 68-79.
ACM Press, 1999.
[pdf]
Marcelo Arenas,
Leopoldo Bertossi and
Jan Chomicki.
Query Evaluation in Almost Consistent Databases using
Residues.
In Proceedings of the 18th International Conference of the
Chilean Computer Science Society (SCCC'98), Antofagasta, Chile, pages 8
-14. IEEE CS Press, 1998.
[pdf]
Book Chapters
Marcelo Arenas,
Claudio Gutierrez and
Jorge Perez.
Foundations of RDF Databases.
In Reasoning Web: Semantic technologies for information
systems - 5th International Summer School, S. Tessaris and
E. Franconi, editors, volume 5689 of Lecture Notes
Computer Science, pages 158-204, Springer, 2009.
[pdf]
Marcelo Arenas,
Wenfei Fan and
Leonid Libkin.
Consistency of XML Specifications.
In Inconsistency Tolerance, L. Bertossi, A. Hunter, T. Schaub, editors, Springer "state of the art" subseries, pages 15-41, 2005.
[pdf]
Marcelo Arenas and
Leopoldo Bertossi.
The Dynamics of Database Views.
In Transactions and Change in Logic Databases, H. Decker,
B. Freitag, M. Kifer, and A. Voronkov, editors, volume 1472 of
Lecture Notes in Computer Science, pages 197-226, Springer,
1998.
[pdf]
Thesis
Marcelo Arenas.
Design Principles for XML Data.
Ph.D thesis, University of Toronto.
[pdf]
Workshops, Posters, Short Presentations, ...
Marcelo Arenas,
Elena Botoeva and
Diego Calvanese.
Knowledge Base Exchange. In Proceedings of the 24th International Workshop on Description Logics (DL'11). Barcelona, Spain, 2011.
[pdf]
Marcelo Arenas,
Mariano Consens and
Alejandro Mallea.
Revisiting Blank Nodes in RDF to Avoid the Semantic Mismatch with SPARQL. In W3C Workshop RDF Next Steps. Stanford, CA, USA, 2010.
[pdf]
Marcelo Arenas and
Leopoldo Bertossi.
On the Decidability of Consistent Query Answering. In Proceedings of the 4th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'10). Buenos Aires, Argentina, 2010.
[pdf]
Marcelo Arenas,
Jorge Perez and
Claudio Gutierrez.
An Extension of SPARQL for RDFS. In Proceedings of the Joint ODBIS & SWDB workshop on Semantic Web, Ontologies, Databases, Vienna, Austria, volume
5005 of Lecture Notes Computer
Science, pages 1-20, 2007.
[pdf]
Vasiliki Kantere,
Iluju Kiringa,
John Mylopoulos,
Anastasios Kementsietsidis and
Marcelo Arenas.
Coordinating Peer Databases Using ECA Rules.
In Proceedings of the International Workshop on Databases,
Information Systems and Peer-to-Peer Computing (DBISP2P'03). Berlin,
Germany, volume 2944 of Lecture Notes in Computer Science, pages 108-122.
Springer, 2003.
[pdf]
Marcelo Arenas,
Pablo Barcelo and
Leonid Libkin.
Game-based Notions of Locality.
Short presentation,
Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS'03).
Ottawa, Canada. 2003.
[pdf]
Anastasios Kementsietsidis,
Marcelo Arenas and Renee J. Miller.
Managing Data Mappings in the Hyperion Project.
In Proceedings of the 19th International Conference on
Data Engineering (ICDE'03). Bangalore, India, pages 732-734. 2003.
[pdf]
Marcelo Arenas and
Leopoldo Bertossi.
Hypothetical Temporal Reasoning with History Encoding
(Extended Abstract).
In Proceedings of Workshop on Reasoning about Actions:
Foundations and Applications (part of ESSLLI'98), Saarbrueken, Germany,
1998.
[pdf]
Marcelo Arenas and
Leopoldo Bertossi.
Hypothetical Temporal Queries in Databases.
In Proceedings of the 5th International Workshop on Knowledge
Representation Meets Databases (KRDB'98): Innovative Application
Programming and Query Interfaces, Seattle, USA, pages 4.1-4.8,
1998.
[pdf]