Onet, Adrian Constantin (2012) The chase procedure and its applications. PhD thesis, Concordia University.
|PDF - Accepted Version|
The goal of this thesis is not only to introduce and present new chase-based algorithms, but also to investigate the differences between the main existing chase procedures. In order to achieve this, first we will investigate and do a clear delimitation between the existing chase algorithms based on their termination criteria. This will give a better picture of which chase algorithm can be used for different dependency classes. Next, we will investigate the data exchange, data repair and data correspondence problems and show how the chase algorithm can be used to characterize different types of solutions. For the later two problems, we will also investigate the data complexity of solution-existence and solution-check problems. Further, we will introduce a new chase based algorithm which computes representative solutions under constructible models, a new closed world semantics. This new semantics is, in our view, appropriate to be used as a closed world semantics in data exchange. We will also show that the conditional table computed by this chase algorithm can help to get both possible and certain answers for general queries. And finally, we will investigate strong representation systems and strong data exchange representation system. We will prove, by introducing a new chase based algorithm, that mappings specified by source-to-target second order dependencies and target richly acyclic TGD’s are strong data exchange representation systems for the class of first order queries.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (PhD)|
|Authors:||Onet, Adrian Constantin|
|Degree Name:||Ph. D.|
|Date:||28 June 2012|
|Thesis Supervisor(s):||Grahne, Gösta|
|Keywords:||The chase procedure, metadata management, incomplete databases, data exchange, data repair, schema mapping|
|Deposited By:||ADRIAN CONSTANT ONET|
|Deposited On:||29 Oct 2012 15:27|
|Last Modified:||29 Oct 2012 15:27|
Repository Staff Only: item control page