#### Filter Results:

- Full text PDF available (22)

#### Publication Year

2008

2017

- This year (4)
- Last 5 years (20)
- Last 10 years (27)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Marcelo Arenas, Jorge Pérez, Cristian Riveros
- ACM Trans. Database Syst.
- 2008

A schema mapping is a specification that describes how data from a source schema is to be mapped to a target schema. Once the data has been transferred from the source to the target, a natural question is whether one can undo the process and recover the initial data, or at least part of it. In fact, it would be desirable to find a <i>reverse</i> schema… (More)

- Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
- SIGMOD Record
- 2009

A schema mapping is a specification that describes how data from a source schema is to be mapped to a target schema. Schema mappings have proved to be essential for data-interoperability tasks such as data exchange and data integration. The research on this area has mainly focused on performing these tasks. However, as Bernstein pointed out [7], many… (More)

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

The inversion of schema mappings has been identified as one of the fundamental operators for the development of a general framework for metadata management. In fact, during the last years three alternative notions of inversion for schema mappings have been proposed (Fagin-inverse [10], quasi-inverse [14] and maximum recovery [2]). However, the procedures… (More)

- Michael Benedikt, Gabriele Puppis, Cristian Riveros
- 2011 IEEE 26th Annual Symposium on Logic in…
- 2011

What do you do if a computational object (e.g. program trace) fails a specification?An obvious approach is to perform \emph{repair}: modify the object minimally to get something that satisfies the constraints..In this paper we study repair of temporal constraints, given as automata or temporal logic formulas. We focus on determining the number of repairs… (More)

- Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
- J. Comput. Syst. Sci.
- 2013

The problems of composing and inverting schema mappings specified by source-to-target tuple-generating dependencies (st-tgds) have attracted a lot of attention, as they are of fundamental importance for the development of Bernstein’s metadata management framework. In the case of the composition operator, a natural semantics has been proposed and the… (More)

- Michael Benedikt, Gabriele Puppis, Cristian Riveros
- J. Comput. Syst. Sci.
- 2013

What do you do if a computational object (e.g. program trace) fails a specification? An obvious approach is to perform a repair : modify the object minimally to get something that satisfies the constraints. This approach has been investigated in the database community, for integrity constraints, and in the AI community for propositional logics. Here we… (More)

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

In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metadata management. There have been many achievements in this area, and semantics have been defined for operators on schema mappings such as composition and inverse. However, little… (More)

- Stephan Kreutzer, Cristian Riveros
- 2013 28th Annual ACM/IEEE Symposium on Logic in…
- 2013

While monadic second-order logic is a prominent logic for specifying languages of finite words, it lacks the power to compute quantitative properties, e.g. to count. An automata model capable of computing such properties are weighted automata, but logics equivalent to these automata have only recently emerged. We propose a new framework for adding… (More)

- Ahmed Shamsul Arefin, Cristian Riveros, Regina Berretta, Pablo Moscato
- 2012 7th International Conference on Computer…
- 2012

Data clustering is a distinctive method for analyzing complex networks in terms of functional relationships of the comprising elements. A number of graph-based algorithms have been proposed so far to tackle the complexity of the problem and many of them are based on the representation of data in the form of a minimum spanning tree (MST). In this work, we… (More)

- Michael Benedikt, Gabriele Puppis, Cristian Riveros
- Theor. Comput. Sci.
- 2014