Pages that link to "Item:Q4210130"
From MaRDI portal
The following pages link to First-Order Queries on Finite Structures Over the Reals (Q4210130):
Displayed 12 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)
- Finitely representable databases (Q1376408) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← 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)
- Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
- On the expressiveness of linear-constraint query languages for spatial databases (Q5940929) (← links)
- Linear constraint query languages expressive power and complexity (Q6064293) (← links)
- The past and future of embedded finite model theory (Q6173101) (← links)