The following pages link to (Q4935250):
Displayed 23 items.
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- Evaluating geometric queries using few arithmetic operations (Q694567) (← links)
- Cardinal directions between spatial objects: the pairwise-consistency problem (Q707346) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Database query languages and functional logic programming (Q867491) (← links)
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- Trajectory databases: data models, uncertainty and complete query languages (Q988570) (← links)
- A collapse result for constraint queries over structures of small degree (Q1007620) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Quantifier rank for parity of embedded finite models. (Q1401237) (← links)
- On the orthographic dimension of definable sets (Q1603462) (← 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)
- Efficient evaluation of specific queries in constraint databases (Q1944172) (← links)
- Database querying under changing preferences (Q2385451) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets (Q2489141) (← links)
- \(N\)-dimensional versus \((N-1)\)-dimensional connectivity testing of first-order queries to semi-algebraic sets (Q2576661) (← links)
- A representation independent language for planar spatial databases with Euclidean distance (Q2641864) (← links)
- (Q2844062) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)
- Definability with a predicate for a semi-linear set (Q4457736) (← links)