×

zbMATH — the first resource for mathematics

Safe constraint queries. (English) Zbl 0949.68061

MSC:
68P15 Database theory
03C10 Quantifier elimination, model completeness, and related topics
03C13 Model theory of finite structures
03C50 Models with special properties (saturated, rigid, etc.)
52B11 \(n\)-dimensional polytopes
03C07 Basic properties of first-order languages and structures
PDF BibTeX XML Cite
Full Text: DOI