A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width
2019
International Symposium on Mathematical Foundations of Computer Science
Marx (STOC 2010, J. ACM 2013) introduced the notion of submodular width of a conjunctive query (CQ) and showed that for any class Φ of Boolean CQs of bounded submodular width, the model-checking problem for Φ on the class of all finite structures is fixed-parameter tractable (FPT). Note that for non-Boolean queries, the size of the query result may be far too large to be computed entirely within FPT time. We investigate the free-connex variant of submodular width and generalise Marx's result to
doi:10.4230/lipics.mfcs.2019.58
dblp:conf/mfcs/BerkholzS19
fatcat:mymzb4fe7zapla6aa7wwn3726a