License
When quoting this document, please refer to the following
DOI: 10.4230/DFU.Vol5.10452.1
URN: urn:nbn:de:0030-drops-42884
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4288/
Go to the corresponding DFU Volume Portal


Onet, Adrian

The Chase Procedure and its Applications in Data Exchange

pdf-format:
ch01-onet.pdf (0.8 MB)


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.

BibTeX - Entry

@InCollection{onet:DFU:2013:4288,
  author =	{Adrian Onet},
  title =	{{The Chase Procedure and its Applications in Data Exchange}},
  booktitle =	{Data Exchange, Integration, and Streams},
  pages =	{1--37},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-61-3},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{5},
  editor =	{Phokion G. Kolaitis and Maurizio Lenzerini and Nicole Schweikardt},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4288},
  URN =		{urn:nbn:de:0030-drops-42884},
  doi =		{10.4230/DFU.Vol5.10452.1},
  annote =	{Keywords: chase, chase termination, data exchange, incomplete information}
}

Keywords: chase, chase termination, data exchange, incomplete information
Seminar: Data Exchange, Integration, and Streams
Issue Date: 2013
Date of publication: 09.10.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI