Flag & Check: Data Access with Monadically Defined Queries
Summary: Introduce MODEQs and NEMODEQs, query formalisms that extend CQs, conjunctive two-way RPQs and monadic Datalog, expressible in Datalog/MSO but crucially enjoying decidable query containment. They have P data complexity, combined complexity NP (MODEQs)/PSPACE (NEMODEQs), and preserve decidable answering under broad classes of TGDs via (partial) rewriting techniques. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,739 | Expressive Languages for Querying the Semantic Web | 2014 | PODS | 4.2936538e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 698 | The Chase Revisited | 2008 | PODS | 0.00018030148 |
| 810 | Query Containment for Conjunctive Queries With Regular Expressions | 1998 | PODS | 0.00016428374 |
| 1,370 | Monadic Datalog and the Expressive Power of Languages for Web Information Extraction | 2002 | PODS | 0.00012338027 |
| 1,736 | Generalized Schema-Mappings: From Termination To Tractability | 2009 | PODS | 0.00010720323 |
| 2,720 | A General Datalog-Based Framework for Tractable Query Answering over Ontologies | 2009 | PODS | 8.2367715e-05 |
| 2,755 | Advanced Processing for Ontological Queries | 2010 | VLDB | 8.1690695e-05 |
| 3,489 | On Chase Termination Beyond Stratification | 2009 | VLDB | 7.0468114e-05 |
| 8,484 | Chase Termination: A Constraints Rewriting Approach | 2010 | VLDB | 4.5007769e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,558 | On Monotonic Determinacy and Rewritability For Recursive Queries and Views | 2020 | PODS | 4.1945683e-05 |
| 11,441 | Deciding Boundedness of Monadic Sirups | 2021 | PODS | 4.1945683e-05 |
| 4,611 | On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values | 2005 | PODS | 6.0488752e-05 |
| 12,833 | Adding Disjunction to Datalog (Extended Abstract) | 1994 | PODS | 4.1945683e-05 |
| 581 | The Complexity of Querying Indefinite Data about Linearly Ordered Domains (Preliminary Version) | 1992 | PODS | 0.00019767772 |
| 11,967 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS | 4.1945683e-05 |
| 1,490 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011699154 |
| 4,298 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2885419e-05 |
| 11,762 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1945683e-05 |
| 11,326 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1945683e-05 |