Locality of order-invariant first-order formulas
From MaRDI portal
Publication:5738900
DOI10.1145/343369.343386zbMath1365.68204MaRDI QIDQ5738900
Thomas Schwentick, Martin Grohe
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/343369.343386
Related Items
On the expressive power of monadic least fixed point logic, Expressive power of SQL., Incremental recomputation in local languages., Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates, Towards a characterization of order-invariant queries over tame graphs