ERA

Download the full-sized PDF of A framework for semantically verifying schema mappings for data exchangeDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R32G9Q

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Graduate Studies and Research, Faculty of

Collections

This file is in the following collections:

Theses and Dissertations

A framework for semantically verifying schema mappings for data exchange Open Access

Descriptions

Other title
Subject/Keyword
semantic
ontology
mapping verification
schema mapping
data exchange
Type of item
Thesis
Degree grantor
University of Alberta
Author or creator
Walny, Jagoda K
Supervisor and department
Barbosa, Denilson (Computing Science)
Examining committee member and department
Reformat, Marek (Electrical and Computer Engineering)
Stroulia, Eleni (Computing Science)
Department
Department of Computing Science
Specialization

Date accepted
2010-01-06T17:57:29Z
Graduation date
2010-06
Degree
Master of Science
Degree level
Master's
Abstract
We propose a framework for semi-automatically verifying relational database schema mappings for data exchange. Schema mappings for data exchange formally describe how to move data between a source and target database. State-of-the-art schema mapping tools propose several mappings, but require user intervention to determine their semantic correctness. For this, the user must understand the domain the schemas represent and the meanings of individual schema elements in relation to the domain. Our framework eases the task of understanding the domain and schemas and performs preliminary mapping verification. We use a readable, expressive, and formal conceptual model - a domain ontology - to model the source and target schema domain. We model the schema semantics by annotating schema elements with ontology elements. Our mapping verification algorithm rewrites mappings as statements in terms of the ontology, and uses a reasoner to check that the statements are entailed by the ontology.
Language
English
DOI
doi:10.7939/R32G9Q
Rights
License granted by Jagoda Walny (walny@ualberta.ca) on 2010-01-05T10:51:31Z (GMT): Permission is hereby granted to the University of Alberta Libraries to reproduce single copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. Where the thesis is converted to, or otherwise made available in digital form, the University of Alberta will advise potential users of the thesis of the above terms. The author reserves all other publication and other rights in association with the copyright in the thesis, and except as herein provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatsoever without the author's prior written permission.
Citation for previous publication

File Details

Date Uploaded
Date Modified
2014-04-29T18:23:30.752+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 784654
Last modified: 2015:10:12 19:25:10-06:00
Filename: Walny_Jagoda_Spring 2010.pdf
Original checksum: bd7935236beec1fa42c437ea3471e3b3
Well formed: true
Valid: true
Page count: 78
Activity of users you follow
User Activity Date