Mappings between schemas are key elements in several contexts such as data exchange,
data integration and peer data management systems. In all these contexts, the mapping …

We present SVTe, a tool to validate relational database schemas that allows performing
several tests to determine the correctness of a schema. When a test is satisfied, our tool …

Schema mappings define relationships between schemas in a declarative way. We
demonstrate MVT, a mapping validation tool that allows the designer to ask whether the …

We present TINTIN, a tool to perform efficient integrity checking of SQL assertions in SQL
Server. TINTIN rewrites each assertion into a set of standard SQL queries that, given a set of …

We propose a new method for database schema validation that provides an explanation
when it determines that a certain desirable property of a database schema does not hold …

A query is unlively if it always returns an empty answer. Debugging a database schema
requires not only determining unlively queries, but also fixing them. To the best of our …

Ninguno de los SGBD actuales implementa aserciones SQL, obligando ası a implementar
manualmente su comprobación. Por este motivo hemos desarrollado TINTIN: una …

Evaluating the quality of a database schema by manual review is timeconsuming, error-
prone and requires a good overview. To accommodate these problems, we propose DBLint …

Ninguno de los SGBD más populares del momento implementa aserciones SQL, obligando
así a implementar manualmente su comprobación. Por ello, presentamos TINTIN: una …

This thesis project aims to provide a software infrastructure to support new types of
pedagogically augmented collaborative learning methodologies and resources by means of …