Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion

We consider the evaluation of first-order queries over classes of databases with local bounded expansion. This class was introduced by Nesetril and Ossona de Mendez and generalizes many well known classes of databases, such as bounded degree, bounded tree width or bounded expansion. It is known that over classes of databases with local bounded expansion, first-order sentences can be evaluated in pseudo-linear time (pseudo-linear time means that for all \epsilon there exists an algorithm working in time O(n^{1+\epsilon})). Here, we investigate other scenarios, where queries are not sentences. We show that first-order queries can be enumerated with constant delay after a pseudo-linear preprocessing over any class of databases having locally bounded expansion. We also show that, in this context, counting the number of solutions can be done in pseudo-linear time.

[1]  Luc Segoufin,et al.  First-order query evaluation on structures of bounded degree , 2011, Log. Methods Comput. Sci..

[2]  Guillaume Bagan,et al.  MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay , 2006, CSL.

[3]  Mamadou Moustapha Kanté Graph Structurings: Some Algorithmic Applications. (Structurations de Graphes: Quelques Applications Algorithmiques) , 2008 .

[4]  Luc Segoufin,et al.  Enumeration of monadic second-order queries on trees , 2013, TOCL.

[5]  Luc Segoufin,et al.  First-order queries on classes of structures with bounded expansion , 2018, Log. Methods Comput. Sci..

[6]  Stephan Kreutzer,et al.  Parameterized Complexity of First-Order Logic , 2009, Electron. Colloquium Comput. Complex..

[7]  Jaroslav Nesetril,et al.  On nowhere dense graphs , 2011, Eur. J. Comb..

[8]  ThomasRobin,et al.  Testing first-order properties for subclasses of sparse graphs , 2013 .

[9]  Martin Grohe,et al.  Deciding first-order properties of locally tree-decomposable structures , 2000, JACM.

[10]  Stephan Kreutzer,et al.  Deciding first-order properties of nowhere dense graphs , 2013, STOC.

[11]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[12]  Martin Grohe,et al.  The complexity of first-order and monadic second-order logic revisited , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[13]  Arnaud Durand,et al.  First-order queries on structures of bounded degree are computable with constant delay , 2005, TOCL.

[14]  Markus Frick,et al.  Generalized Model-Checking over Locally Tree-Decomposable Classes , 2003, Theory of Computing Systems.

[15]  Robin Thomas,et al.  Testing first-order properties for subclasses of sparse graphs , 2011, JACM.

[16]  Nicole Schweikardt,et al.  Enumerating answers to first-order queries over databases of low degree , 2014, PODS.

[17]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.