First-Order Queries over One Unary Function

DOI10.1007/11874683_22MaRDI QIDQ3613347zbMATH OpenOpenAlexFDO

Authors Arnaud Durand, Frédéric Olive

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_22

Mathematics Subject Classification ID

Logic in computer science (03B70) Quantifier elimination, model completeness, and related topics (03C10) Database theory (68P15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• First-order definable counting-only queries
• First-order definable counting-only queries
• Additive first-order queries
• First-Order Queries on Finite Structures Over the Reals
• First-order queries on classes of structures with bounded expansion
• Computing thejth solution of a first-order query
• First-order queries on databases embedded in an infinite structure
• On compiling queries in recursive first-order databases
• Ordering property for unary functions
• Unary functions

Cited in

(3)

• Computing thejth solution of a first-order query
• scientific article; zbMATH DE number 2144731 (Why is no real title available?)
• First-order definable counting-only queries

This page was built for publication: First-Order Queries over One Unary Function

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