Enumeration of first-order queries on classes of structures with bounded expansion

Wojciech Kazana; Luc Segoufin

Conference Papers Year : 2013

Enumeration of first-order queries on classes of structures with bounded expansion

(1) , (1)

1

Wojciech Kazana

Function : Author

Verification in databases

Luc Segoufin

Function : Author

Verification in databases

Domains

Computation and Language [cs.CL]

Luc Segoufin : Connect in order to contact the contributor

https://inria.hal.science/hal-00908779

Submitted on : Monday, November 25, 2013-11:56:26 AM

Last modification on : Friday, March 24, 2023-2:52:57 PM

Dates and versions

hal-00908779 , version 1 (25-11-2013)

Identifiers

HAL Id : hal-00908779 , version 1

Cite

Wojciech Kazana, Luc Segoufin. Enumeration of first-order queries on classes of structures with bounded expansion. ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.297-308. ⟨hal-00908779⟩

Enumeration of first-order queries on classes of structures with bounded expansion

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share