DBScholar

Back to papers

Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC

Summary: Derive general inexpressibility lemmas for FC (finite-model concatenation) via Ehrenfeucht-Fraïssé games, yielding concrete non-definable relations. Lift these FC barriers to prove several relations are not selectable by generalized core spanners, sharpening core spanner expressivity limits. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1943
Venue
PODS
Year
2024
Pagerank
5.0723324e-05
Overall Rank
11,185 | 23.53%
DOI
10.1145/3651143

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{thompson_pods24,
        address = {New York, NY, USA},
        series = {{PODS} '24},
        title = {{Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC}},
        url = {https://dl.acm.org/doi/10.1145/3651143},
        doi = {10.1145/3651143},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Thompson, Sam M. and Freydenberger, Dominik D.},
        year = {2024}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
4,703 Spanner Evaluation over SLP-Compressed Documents 2021 PODS 6.5336472e-05
Previous Page 1 / 1 Next

Semantically Similar Papers