Converging to the Chase - a Tool for Finite Controllability
Databases
2015-12-08 v3
Abstract
We solve a problem, stated in [CGP10], showing that Sticky Datalog, defined in the cited paper as an element of the Datalog\pm project, has the finite controllability property. In order to do that, we develop a technique, which we believe can have further applications, of approximating Chase(D, T), for a database instance D and some sets of tuple generating dependencies T, by an infinite sequence of finite structures, all of them being models of T.
Keywords
Cite
@article{arxiv.1204.3432,
title = {Converging to the Chase - a Tool for Finite Controllability},
author = {T. Gogacz and J. Marcinkowski},
journal= {arXiv preprint arXiv:1204.3432},
year = {2015}
}