The Chase Procedure and its Applications in Data Exchange

Onet, Adrian

doi:10.4230/DFU.Vol5.10452.1

Document

The Chase Procedure and its Applications in Data Exchange

Author Adrian Onet

Part of: Volume: Data Exchange, Integration, and Streams (DFU - Vol. 5)
Part of: Series: Dagstuhl Follow-Ups (DFU)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-10-18

PDF

File

PDF

DFU.Vol5.10452.1.pdf

Filesize: 0.76 MB
37 pages

Document Identifiers

DOI: 10.4230/DFU.Vol5.10452.1
URN: urn:nbn:de:0030-drops-42884

Subject Classification

Keywords

chase
chase termination
data exchange
incomplete information

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

The initial and basic role of the chase procedure was to test logical implication between sets of dependencies in order to determine equivalence of database instances known to satisfy a given set of dependencies and to determine query equivalence under database constrains. Recently the chase procedure has experienced a revival due to its application in data exchange. In this chapter we review the chase algorithm and its properties as well as its application in data exchange.

Cite As Get BibTex

Adrian Onet. The Chase Procedure and its Applications in Data Exchange. In Data Exchange, Integration, and Streams. Dagstuhl Follow-Ups, Volume 5, pp. 1-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013) https://doi.org/10.4230/DFU.Vol5.10452.1

Author Details

Adrian Onet

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail