Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable

Egor V. Kostylev; Mark Kaminski

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1901.09353 v1 pith:6NYVHQYT submitted 2019-01-27 cs.DB

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable

Mark Kaminski , Egor V. Kostylev This is my paper

classification cs.DB

keywords patternswell-designedsparqlsubsumptionweaklycontainmentequivalenceundecidable

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

Weakly well-designed SPARQL patterns is a recent generalisation of well-designed patterns, which preserve good computational properties but also capture almost all patterns that appear in practice. Subsumption is one of static analysis problems for SPARQL, along with equivalence and containment. In this paper we show that subsumption is undecidable for weakly well-designed patterns, which is in stark contrast to well-designed patterns, and to equivalence and containment.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

First Experimental Bounds on Transverse Plasmon Solar Axions with ANAIS-112
hep-ex 2026-07 conditional novelty 7.0

ANAIS-112 found no annual modulation from solar axions produced by resonant transverse-plasmon conversion, setting a 90% C.L. limit gaγ<1.32e-9 GeV^-1 at ma≈150 eV.