Extended order-generic queries (Q1302301)

From MaRDI portal
Revision as of 09:21, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Extended order-generic queries
scientific article

    Statements

    Extended order-generic queries (English)
    0 references
    0 references
    0 references
    0 references
    13 March 2001
    0 references
    The authors consider (finite) relational databases over an ordered domain \(U\) with some additional relations. They study first-order queries that are invariant under order-preserving partial functions, so-called locally generic queries. They introduce various model-theoretic conditions on the first-order theory \(\text{Th}(U)\) of \(U\) that ensure that every locally generic query is equivalent to a pure order query in models of \(\text{Th}(U)\). The homogeneity property and the stronger property of quasi-o-minimality are among these conditions; they have turned out to be interesting notions from the model-theoretic point of view. The authors show how the results can be generalized to finitely presented databases.
    0 references
    0 references
    embedded finite models
    0 references
    relational databases
    0 references
    first-order queries
    0 references
    locally generic queries
    0 references
    quasi-o-minimality
    0 references
    finitely presented databases
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references