Pages that link to "Item:Q5925716"
From MaRDI portal
The following pages link to Introduction to constraint databases (Q5925716):
Displayed 13 items.
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Trajectory databases: data models, uncertainty and complete query languages (Q988570) (← links)
- Estimating the maximum rise in temperature according to climate models using abstract interpretation (Q2283722) (← links)
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (Q2304532) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Well (and Better) Quasi-Ordered Transition Systems (Q3067860) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
- Efficient Evaluation of Arbitrary Relational Calculus Queries (Q6137874) (← links)