How many variables are needed to express an existential positive query?

DOI10.4230/LIPICS.ICDT.2017.9MaRDI QIDQ3174898zbMATH OpenOpenAlexFDO

Authors Simone Bova, Hubie Chen

Publication date 18 July 2018

Full work available at URL https://doi.org/10.4230/LIPIcs.ICDT.2017.9

zbMATH Keywords

first-order logicquery optimizationfinite-variable logicsexistential positive queries

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Recommendations

• How many variables are needed to express an existential positive query?
• On the complexity of existential positive queries
• How many first-order variables are needed on finite ordered structures?
• The complexity of equivalence, entailment, and minimization in existential positive logic
• Number of variables is equivalent to space

Cited in

(1)

• How many variables are needed to express an existential positive query?

This page was built for publication: How many variables are needed to express an existential positive query?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174898)