Pages that link to "Item:Q3841038"
From MaRDI portal
The following pages link to Relational expressive power of constraint query languages (Q3841038):
Displayed 22 items.
- Aggregate operators in constraint query languages (Q696963) (← links)
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Topological queries in spatial databases (Q1305920) (← links)
- Complete geometric query languages (Q1307692) (← links)
- On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases (Q1307697) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Quantifier rank for parity of embedded finite models. (Q1401237) (← links)
- Querying spatial databases via topological invariants (Q1591156) (← links)
- An expressive language for linear spatial database queries (Q1765302) (← links)
- First-order expressibility of languages with neutral letters or: The Crane Beach conjecture (Q1776372) (← 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)
- Definability with a predicate for a semi-linear set (Q4457736) (← links)
- Stability theory, permutations of indiscernibles, and embedded finite models (Q4505906) (← links)
- La limite des theories de courbes generiques (Q4532598) (← links)
- Definability of Geometric Properties in Algebraically Closed Fields (Q4704658) (← links)
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space (Q5109238) (← links)
- On the expressiveness of linear-constraint query languages for spatial databases (Q5940929) (← links)
- A general condition for collapse results (Q5957919) (← links)