Reachability and Connectivity Queries in Constraint Databases
Summary: Augments standard constraint-query languages (FO+Lin, FO+Poly) with topological predicates to obtain closed languages that can express connectivity and reachability. Introduces Path Logic: closed, PTIME data complexity for linear/polynomial constraints, expresses rich path properties via discrete abstractions of continuous paths. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Michael Benedikt (AT&T)
- 2. Martin Grohe (University of Freiburg)
- 3. Leonid Libkin (AT&T)
- 4. Luc Segoufin (INRIA)
BibTeX Citation
@inproceedings{benedikt_pods00,
address = {New York, NY, USA},
series = {{PODS} '00},
title = {{Reachability and Connectivity Queries in Constraint Databases}},
url = {https://dl.acm.org/doi/10.1145/335168.335213},
doi = {10.1145/335168.335213},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Benedikt, Michael and Grohe, Martin and Libkin, Leonid and Segoufin, Luc},
year = {2000}
}
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,890 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 9.5330753e-05 |
| 3,695 | Topological Queries in Spatial Databases | 1996 | PODS | 7.1911058e-05 |
| 5,303 | Querying Spatial Databases via Topological Invariants | 1998 | PODS | 6.2745166e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 3,544 | On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract) | 1997 | PODS |
| 2 | 5,146 | Query Containment and Rewriting Using Views for Regular Path Queries Under Constraints | 2003 | PODS |
| 3 | 5,523 | Dense-Order Constraint Databases (Extended Abstract) | 1995 | PODS |
| 4 | 348 | Regular Path Queries with Constraints | 1997 | PODS |
| 5 | 8,052 | Complete geometrical query languages (extended abstract) | 1997 | PODS |
| 6 | 747 | Querying Graph Databases | 2013 | PODS |
| 7 | 3,308 | Path Constraints on Semistructured and Structured Data | 1998 | PODS |
| 8 | 12,875 | Fixed-Point Query Languages for Linear Constraint Databases | 2000 | PODS |
| 9 | 3,695 | Topological Queries in Spatial Databases | 1996 | PODS |
| 10 | 12,876 | Linear approximation of planar spatial databases using transitive-closure logic | 2000 | PODS |