The following pages link to Finitely representable databases (Q1376408):
Displayed 13 items.
- Aggregate operators in constraint query languages (Q696963) (← links)
- Arity bounds in first-order incremental evaluation and definition of polynomial time database queries (Q1278038) (← links)
- Extended order-generic queries (Q1302301) (← links)
- Metafinite model theory (Q1383163) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Querying spatial databases via topological invariants (Q1591156) (← links)
- A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671) (← links)
- Constraint-generating dependencies (Q1807678) (← links)
- Uniform generation in spatial constraint databases and applications (Q2495401) (← links)
- A representation independent language for planar spatial databases with Euclidean distance (Q2641864) (← links)
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space (Q5109238) (← links)
- Metafinite model theory (Q6064289) (← links)
- Linear constraint query languages expressive power and complexity (Q6064293) (← links)