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

DOI10.4230/LIPICS.ICDT.2017.9zbMATH Open1402.68042OpenAlexW2604456471MaRDI QIDQ3174898FDOQ3174898

Hubie Chen, Simone Bova

Publication date: 18 July 2018

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

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

zbMATH Keywords

first-order logicquery optimizationfinite-variable logicsexistential positive queries

Mathematics Subject Classification ID

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

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)