Extended order-generic queries

DOI10.1016/S0168-0072(98)00025-6MaRDI QIDQ1302301zbMATH OpenOpenAlexFDO

Authors Oleg Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin

Publication date 13 March 2001

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(98)00025-6

zbMATH Keywords

relational databaseslocally generic queriesembedded finite modelsfinitely presented databasesfirst-order queriesquasi-o-minimality

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Models with special properties (saturated, rigid, etc.) (03C50) Database theory (68P15) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 1114329
• First-order queries on databases embedded in an infinite structure
• scientific article; zbMATH DE number 1848311
• scientific article; zbMATH DE number 1302667

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1114329 (Why is no real title available?)
• scientific article; zbMATH DE number 1479611 (Why is no real title available?)
• scientific article; zbMATH DE number 3382339 (Why is no real title available?)
• Classification theory and the number of non-isomorphic models.
• Computable queries for relational data bases
• Definability and decision problems in arithmetic
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Definable Sets in Ordered Structures. III
• Finitely representable databases
• First-order queries on databases embedded in an infinite structure
• Model theory.
• The comparison of the expressive power of first-order dynamic logics
• Ultrahomogeneous Structures

Cited in

(14)

• Aggregate operators in constraint query languages
• An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
• Sufficient conditions for effective translation of locally generic queries
• On o-Stable Expansions of $$\boldsymbol{(\mathbb{Z},<,+)}$$
• First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
• Coset-minimal groups
• Stability theory, permutations of indiscernibles, and embedded finite models
• Pseudofinite homogeneity, isolation, and reducibility
• In memoriam: Mikhail A. Taitslin, 1936--2013
• Invariance to ordinal transformations in rank-aware databases
• Query Order
• The past and future of embedded finite model theory
• Metafinite model theory
• A general condition for collapse results

This page was built for publication: Extended order-generic queries

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