Compiling Existential Positive Queries to Bounded-Variable Fragments
Abstract
References
Index Terms
- Compiling Existential Positive Queries to Bounded-Variable Fragments
Recommendations
Counting Answers to Existential Positive Queries: A Complexity Classification
PODS '16: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database SystemsExistential positive formulas form a fragment of first-order logic that includes and is semantically equivalent to unions of conjunctive queries, one of the most important and well-studied classes of queries in database theory. We consider the ...
On the complexity of existential positive queries
We systematically investigate the complexity of model checking the existential positive fragment of first-order logic. In particular, for a set of existential positive sentences, we consider model checking where the sentence is restricted to fall into ...
How Many Variables are Needed to Express an Existential Positive Query?
AbstractThe number of variables used by a first-order query is a fundamental measure which has been studied in numerous contexts, and which is known to be highly relevant to the task of query evaluation. In this article, we study this measure in the ...
Comments
Information & Contributors
Information
Published In
- General Chairs:
- Dan Suciu,
- Sebastian Skritek,
- Program Chair:
- Christoph Koch
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Ministerio de Educación, Cultura y Deporte
- Deutsche Forschungsgemeinschaft
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 135Total Downloads
- Downloads (Last 12 months)13
- Downloads (Last 6 weeks)1
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in