On the BDD/FC Conjecture
Summary: Conjectures that Bounded Derivation Depth (BDD) implies Finite Controllability (FC) for Datalogā programs. Provides supporting evidence and proves the implication for all theories over binary signatures. (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 |
|---|---|---|---|---|
| 10,350 | No Cliques Allowed: The Next Step Towards BDD/FC Conjecture | 2025 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 144 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00041462501 |
| 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,324 | On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information | 2006 | PODS | 7.2213002e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,826 | Bounded Arity Datalog(!=) Queries on Graphs (Extended Abstract) | 1994 | PODS | 4.1945683e-05 |
| 3,010 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7205569e-05 |
| 1,490 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011699154 |
| 11,441 | Deciding Boundedness of Monadic Sirups | 2021 | PODS | 4.1945683e-05 |
| 8,815 | Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability | 2015 | PODS | 4.4432234e-05 |
| 11,328 | A Journey to the Frontiers of Query Rewritability | 2022 | PODS | 4.1945683e-05 |
| 3,317 | Data Functions, Datalog and Negation (Extended Abstract) | 1988 | SIGMOD | 7.2283048e-05 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 4,631 | Tools for Datalog Boundedness | 1991 | PODS | 6.0347472e-05 |
| 10,350 | No Cliques Allowed: The Next Step Towards BDD/FC Conjecture | 2025 | PODS | 4.1945683e-05 |