BIROn - Birkbeck Institutional Research Online

Checking containment of schema mappings

Calì, Andrea and Torlone, R. (2009) Checking containment of schema mappings. In: Arenas, M. and Bertossi, L.E. (eds.) Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. CEUR Workshop Proceedings 450. CEUR Workshop Proceedings.

Full text not available from this repository.

Abstract

In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target schema to represent the domain of interest. A schema mapping is the union of the source-to-target and of the target constraints. In this paper, we address the problem of containment of schema mappings for data exchange, which has been recently proposed in this framework as a step towards the optimization of data exchange settings. We refer to a natural notion of containment that relies on the behaviour of schema mappings with respect to conjunctive query answering, in the presence of so-called LAV TGDs as target constraints. Our contribution is a practical technique for testing the containment based on the existence of a homomorphism between special “dummy” instances, which can be easily built from schema mappings. We argue that containment of schema mappings is decidable for most practical cases, and we set the basis for further investigations in the topic.

Metadata

Item Type: Book Section
Additional Information: Series ISSN: 1613-0073
School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Research Centres and Institutes: Birkbeck Knowledge Lab
Depositing User: Sarah Hall
Date Deposited: 10 May 2013 15:00
Last Modified: 09 Aug 2023 12:33
URI: https://eprints.bbk.ac.uk/id/eprint/6702

Statistics

6 month trend
0Downloads
6 month trend
360Hits

Additional statistics are available via IRStats2.

Archive Staff Only (login required)

Edit/View Item
Edit/View Item