Sufficient conditions for effective translation of locally generic queries

DOI10.1007/S10958-011-0211-3MaRDI QIDQ549459zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)