Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion
暂无分享,去创建一个
[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.