1,930 research outputs found
Converging to the Chase - a Tool for Finite Controllability
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
Aperiodic tilings of manifolds of intermediate growth
We give a homological construction of aperiodic tiles for certain open
Riemannian surfaces admitting actions of Grigorchuk groups of intermediate
growth.Comment: Accepted for publication in Groups, Geometry and Dynamic
- …