2009 | ||
---|---|---|
59 | Marcelo Arenas, Leopoldo E. Bertossi: Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. CEUR-WS.org 2009 | |
58 | Marcelo Arenas, Pablo Barceló, Juan Reutter: Query languages for data exchange: beyond unions of conjunctive queries. ICDT 2009: 73-83 | |
57 | Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: Foundations of RDF Databases. Reasoning Web 2009: 158-204 | |
56 | Marcelo Arenas: Fourth Normal Form. Encyclopedia of Database Systems 2009: 1166-1167 | |
55 | Marcelo Arenas: Normal Forms and Normalization. Encyclopedia of Database Systems 2009: 1917-1920 | |
54 | Marcelo Arenas: Second Normal Form (2NF). Encyclopedia of Database Systems 2009: 2522 | |
53 | Marcelo Arenas: Boyce-Codd Normal Form. Encyclopedia of Database Systems 2009: 264-265 | |
52 | Marcelo Arenas: Third Normal Form. Encyclopedia of Database Systems 2009: 3087-3088 | |
51 | Marcelo Arenas: XML Integrity Constraints. Encyclopedia of Database Systems 2009: 3592-3597 | |
50 | Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3): (2009) | |
49 | Marcelo Arenas, Jorge Pérez, Cristian Riveros: The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. Database Syst. 34(4): (2009) | |
48 | Marcelo Arenas, Jorge Pérez, Juan Reutter, Cristian Riveros: Composition and Inversion of Schema Mappings CoRR abs/0910.3372: (2009) | |
47 | Marcelo Arenas, Michael I. Schwartzbach: Information systems preface. Inf. Syst. 34(7): 577 (2009) | |
46 | Marcelo Arenas, Jorge Pérez, Juan Reutter, Cristian Riveros: Inverting Schema Mappings: Bridging the Gap between Theory and Practice. PVLDB 2(1): 1018-1029 (2009) | |
2008 | ||
45 | Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: nSPARQL: A Navigational Language for RDF. International Semantic Web Conference 2008: 66-81 | |
44 | Marcelo Arenas, Jorge Pérez, Cristian Riveros: The recovery of a schema mapping: bringing exchanged data back. PODS 2008: 13-22 | |
43 | Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-based notions of locality over finite models. Ann. Pure Appl. Logic 152(1-3): 3-30 (2008) | |
42 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words CoRR abs/0811.0537: (2008) | |
41 | Marcelo Arenas, Leonid Libkin: XML data exchange: Consistency and query answering. J. ACM 55(2): (2008) | |
40 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science 4(4): (2008) | |
39 | Marcelo Arenas, Wenfei Fan, Leonid Libkin: On the Complexity of Verifying Consistency of XML Specifications. SIAM J. Comput. 38(3): 841-880 (2008) | |
2007 | ||
38 | Marcelo Arenas, Jan Hidders: Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain, January 13, 2007 CEUR-WS.org 2007 | |
37 | Marcelo Arenas, Michael I. Schwartzbach: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers Springer 2007 | |
36 | Marcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900 | |
35 | Marcelo Arenas, Pablo Barceló, Leonid Libkin: Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373 | |
34 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160 | |
33 | Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: An Extension of SPARQL for RDFS. SWDB-ODBIS 2007: 1-20 | |
2006 | ||
32 | Marcelo Arenas: Locality of Queries and Transformations. IFIP TCS 2006: 3 | |
31 | Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and Complexity of SPARQL. International Semantic Web Conference 2006: 30-43 | |
30 | Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and Complexity of SPARQL CoRR abs/cs/0605124: (2006) | |
29 | Marcelo Arenas: Normalization theory for XML. SIGMOD Record 35(4): 57-64 (2006) | |
2005 | ||
28 | Marcelo Arenas, Wenfei Fan, Leonid Libkin: Consistency of XML Specifications. Inconsistency Tolerance 2005: 15-41 | |
27 | Marcelo Arenas, Leonid Libkin: XML data exchange: consistency and query answering. PODS 2005: 13-24 | |
26 | Marcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2): 246-283 (2005) | |
2004 | ||
25 | Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189 | |
24 | Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas: Efficient Incremental Validation of XML Documents. ICDE 2004: 671-682 | |
23 | Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin: Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240 | |
22 | Anastasios Kementsietsidis, Marcelo Arenas: Data Sharing Through Query Translation in Autonomous Sources. VLDB 2004: 468-479 | |
21 | Marcelo Arenas, Leonid Libkin: A normal form for XML documents. ACM Trans. Database Syst. 29: 195-232 (2004) | |
2003 | ||
20 | Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas: Coordinating Peer Databases Using ECA Rules. DBISP2P 2003: 108-122 | |
19 | Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller: Managing Data Mappings in the Hyperion Project. ICDE 2003: 732-734 | |
18 | Marcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. PODS 2003: 15-26 | |
17 | Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller: Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. SIGMOD Conference 2003: 325-336 | |
16 | Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos: The hyperion project: from data integration to data coordination. SIGMOD Record 32(3): 53-58 (2003) | |
15 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer sets for consistent query answering in inconsistent databases. TPLP 3(4-5): 393-424 (2003) | |
14 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, Jeremy Spinrad: Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 296(3): 405-434 (2003) | |
2002 | ||
13 | Marcelo Arenas, Wenfei Fan, Leonid Libkin: What's Hard about XML Schema Constraints? DEXA 2002: 269-278 | |
12 | Marcelo Arenas, Wenfei Fan, Leonid Libkin: On Verifying Consistency of XML Specifications. PODS 2002: 259-270 | |
11 | Marcelo Arenas, Leonid Libkin: A Normal Form for XML Documents. PODS 2002: 85-96 | |
10 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer Sets for Consistent Query Answering in Inconsistent Databases CoRR cs.DB/0207094: (2002) | |
9 | Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Reasoning in Databases. J. Intell. Inf. Syst. 19(2): 231-259 (2002) | |
2001 | ||
8 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001: 39-53 | |
2000 | ||
7 | Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941 | |
6 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Specifying and Querying Database Repairs using Logic Programs with Exceptions. FQAS 2000: 27-41 | |
1999 | ||
5 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Consistent Query Answers in Inconsistent Databases. PODS 1999: 68-79 | |
1998 | ||
4 | Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Queries in Databases. KRDB 1998: 4.1-4.8 | |
3 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Query Evaluation in Almost Consistent Databases using Residues. SCCC 1998: 8-14 | |
2 | Marcelo Arenas, Leopoldo E. Bertossi: The Dynamics of Database Views. Transactions and Change in Logic Databases 1998: 197-226 | |
1 | Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti: SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10(3): 253-280 (1998) |