First-order definable counting-only queries

DOI10.1007/s10472-019-09652-8zbMath1452.68070OpenAlexW4250008364WikidataQ127483181 ScholiaQ127483181MaRDI QIDQ5919275

Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jelle Hellings

Publication date: 9 December 2019

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1942/29993

zbMATH Keywords

satisfiabilitybag of setscounting-only queryfirst-order definable query

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• Complexity results for classes of quantificational formulas
• On the expressive power of the relational algebra
• On logics with two variables
• Calculi for symmetric queries
• DECOMPOSING GENERALIZED QUANTIFIERS
• Finite Variable Logics in Descriptive Complexity Theory
• First-order definable counting-only queries

This page was built for publication: First-order definable counting-only queries