Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Locality of Queries

  • Pablo Barceló
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1270

Synonyms

Gaifman-locality; Hanf-locality; Locality

Definition

Letσ be a relational signature without constant symbols. Given a σ-structure \( \mathcal{A} \)

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Hanf W. Model-theoretic methods in the study of elementary logic. In: Addison JW et al., editors. The theory of models. Amsterdam: North Holland; 1965. p. 132–45.zbMATHGoogle Scholar
  2. 2.
    Gaifman H. On local and non-local properties. In: Proceedings of the Herbrand Symposium: Logic Colloquium ‘81. Amsterdam: North Holland; 1982.Google Scholar
  3. 3.
    Libkin L. On the forms of locality over finite models. Proceedings of the 12th IEEE Conference on Logic in Computer Science; 1997. p. 204–15.Google Scholar
  4. 4.
    Libkin L. On counting logics and local properties. ACM Trans Comput Logic. 2000;1(1):33–59.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.University of ChileSantiagoChile