Safe Constraint Queries
From MaRDI portal
Publication:4943888
DOI10.1137/S0097539798342484zbMath0949.68061MaRDI QIDQ4943888
Michael Benedikt, Leonid O. Libkin
Publication date: 19 March 2000
Published in: SIAM Journal on Computing (Search for Journal in Brave)
(n)-dimensional polytopes (52B11) Database theory (68P15) Model theory of finite structures (03C13) Models with special properties (saturated, rigid, etc.) (03C50) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (6)
A representation independent language for planar spatial databases with Euclidean distance ⋮ Unnamed Item ⋮ Aggregate operators in constraint query languages ⋮ An expressive language for linear spatial database queries ⋮ On the expressiveness of linear-constraint query languages for spatial databases ⋮ Uniform generation in spatial constraint databases and applications
This page was built for publication: Safe Constraint Queries
