Pages that link to "Item:Q4210130"
From MaRDI portal
The following pages link to First-Order Queries on Finite Structures Over the Reals (Q4210130):
Displaying 18 items.
- Aggregate operators in constraint query languages (Q696963) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- A collapse result for constraint queries over structures of small degree (Q1007620) (← links)
- First-order queries on databases embedded in an infinite structure (Q1350000) (← links)
- Finitely representable databases (Q1376408) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Expressing the box cone radius in the relational calculus with real polynomial constraints (Q1422229) (← links)
- A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671) (← links)
- A representation independent language for planar spatial databases with Euclidean distance (Q2641864) (← links)
- First-Order Queries over One Unary Function (Q3613347) (← links)
- Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
- (Q4785505) (← links)
- (Q4941885) (← links)
- First-order queries on structures of bounded degree are computable with constant delay (Q5277786) (← links)
- On first-order topological queries (Q5738958) (← links)
- First-order definable counting-only queries (Q5915664) (← links)
- On the expressiveness of linear-constraint query languages for spatial databases (Q5940929) (← links)