DocumentCode
626320
Title
Converging to the Chase -- A Tool for Finite Controllability
Author
Gogacz, Tomasz ; Marcinkowski, Jerzy
fYear
2013
fDate
25-28 June 2013
Firstpage
540
Lastpage
549
Abstract
We solve a problem, stated in [CGP10], showing that Sticky Datalog∃, defined in the cited paper as an element of the Datalog± 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 a set of tuple generating dependencies and datalog rules T, by an infinite sequence of finite structures, all of them being models of T and D.
Keywords
DATALOG; controllability; database theory; database instance; datalog rules; finite controllability property; finite structures; infinite sequence; tuple generating dependencies; Boolean functions; Computer science; Context; Controllability; Data structures; Databases; Finite element analysis; Finite Controllability; Sticky Logic; Tuple generating dependencies;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location
New Orleans, LA
ISSN
1043-6871
Print_ISBN
978-1-4799-0413-6
Type
conf
DOI
10.1109/LICS.2013.61
Filename
6571587
Link To Document