Sufficient conditions for effective translation of locally generic queries

DOI10.1007/S10958-011-0211-3zbMATH Open1221.68081OpenAlexW2078069381MaRDI QIDQ549459FDOQ549459

Authors: Sergey M. Dudakov 

Publication date: 18 July 2011

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-011-0211-3

Recommendations

• Extended order-generic queries
• Collapse results for query languages in database theory
• First-order queries on databases embedded in an infinite structure
• Relational expressive power of constraint query languages
• scientific article; zbMATH DE number 1688383

zbMATH Keywords

Presburger arithmeticeffective translationfirst-order languagesinformation extraction from databaseslocally generic queriestheory of real numbers

Mathematics Subject Classification ID

Database theory (68P15) Basic properties of first-order languages and structures (03C07)

Cites Work

• Stability theory, permutations of indiscernibles, and embedded finite models
• A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
• Extended order-generic queries
• A general condition for collapse results

Cited In (1)

• Collapse results for query languages in database theory

This page was built for publication: Sufficient conditions for effective translation of locally generic queries

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