Converging to the Chase -- A Tool for Finite Controllability

Tomasz Gogacz, Jerzy Marcinkowski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationLICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages10
ISBN (Print)978-0-7695-5020-6
Publication statusPublished - 2012


Dive into the research topics of 'Converging to the Chase -- A Tool for Finite Controllability'. Together they form a unique fingerprint.

Cite this