2026-07-22T16:58:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4288 2024-03-06T10:28:01Z ddc:004 open_access

The Chase Procedure and its Applications in Data Exchange Onet, Adrian chase chase termination data exchange incomplete information 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Adrian Onet 2013 Is Part Of Dagstuhl Follow-Ups, Volume 5, Data Exchange, Integration, and Streams (2013) InCollection Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DFU.Vol5.10452.1 urn:nbn:de:0030-drops-42884 https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol5.10452.1 eng https://creativecommons.org/licenses/by/3.0/legalcode