First-order definable counting-only queries

DOI10.1007/978-3-319-90050-6_13MaRDI QIDQ5915664zbMATH OpenOpenAlexFDO

Authors Jelle Hellings, Marc Gyssens, D. Van Gucht, Yuqing Wu

Publication date 26 June 2018

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• First-order definable counting-only queries
• First-Order Queries on Finite Structures Over the Reals
• First-order queries on classes of structures with bounded expansion
• Enumerating answers to first-order queries over databases of low degree
• Decidable first-order modal logics with counting quantifiers
• First-Order Queries over One Unary Function
• Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
• Tractable counting of the answers to conjunctive queries
• scientific article; zbMATH DE number 512828
• Definable relations and first-order query languages over strings

Cited in

(4)

• Calculi for symmetric queries
• First-Order Queries over One Unary Function
• First-Order Queries on Finite Structures Over the Reals
• First-order definable counting-only queries

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

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