Reachability and connectivity queries in constraint databases
type: Item
instance of: scholarly article
title: Reachability and connectivity queries in constraint databases
zbMATH Open document ID: 1026.68036
DOI: 10.1016/S0022-0000(02)00034-X
author: Michael Benedikt
author: Martin Grohe
author: Luc Segoufin
author: Leonid Libkin
published in: Journal of Computer and System Sciences
publication date: 2003-06-25T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 1934655
zbMATH Keywords: connectivity properties
zbMATH Keywords: reachability properties
MaRDI profile type: Publication
cites work: Q4864249
cites work: Q3996250
cites work: Relational expressive power of constraint query languages
cites work: Relational queries over interpreted structures
cites work: The complexity of elementary algebra and geometry
cites work: Q3770650
cites work: Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
cites work: Model theory.
cites work: Q4079605
cites work: Q4385542
cites work: Q4473167
cites work: Adding a path connectedness operator to \(FO+poly(linear)\)
cites work: Q4945218
cites work: Description of the connected components of a semialgebraic set in single exponential time
cites work: Q4503930
cites work: Languages that Capture Complexity Classes
cites work: Q4935250
cites work: Q4249569
cites work: O-minimal hybrid systems.
cites work: Topological queries in spatial databases
cites work: First-Order Queries on Finite Structures Over the Reals
cites work: Definable Sets in Ordered Structures. III
cites work: Q4508941
cites work: Q5638112
cites work: Querying spatial databases via topological invariants
cites work: Q5603731
cites work: Q4392286
cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
full work available at URL: s0022-0000(02)00034-x
OpenAlex ID: W2714643361
description: scientific article; zbMATH DE number 1934655