First-Order Queries on Finite Structures Over the Reals
From MaRDI portal
Publication:4210130
DOI10.1137/S009753979629766zbMath0907.68062MaRDI QIDQ4210130
Jan Van den Bussche, Jan Paredaens, Dirk Van Gucht
Publication date: 21 September 1998
Published in: SIAM Journal on Computing (Search for Journal in Brave)
68P15: Database theory
03C13: Model theory of finite structures
03C07: Basic properties of first-order languages and structures
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Stability theory, permutations of indiscernibles, and embedded finite models, On the expressiveness of linear-constraint query languages for spatial databases, Aggregate operators in constraint query languages, Ehrenfeucht-Fraïssé goes automatic for real addition, A collapse result for constraint queries over structures of small degree, Finitely representable databases, Queries with arithmetical constraints, Reachability and connectivity queries in constraint databases, A technique for proving decidability of containment and equivalence of linear constraint queries, A representation independent language for planar spatial databases with Euclidean distance