Sciweavers

Share
ENTCS
2006

Locality of Queries and Transformations

3 years 11 months ago
Locality of Queries and Transformations
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structures that locally look alike cannot be distinguished by first-order sentences. Very recently these standard notions have been generalized in two ways. The first extension makes the notion of "looking alike" depend on logical indistinguishability, rather than isomorphism, of local neighborhoods. The second extension considers transformations defined by FO formulae, and requires that small neighborhoods be preserved by those transformations. In this survey we explain these new notions
Leonid Libkin
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Leonid Libkin
Comments (0)
books