The following pages link to Logics with aggregate operators (Q5441362):
Displayed 13 items.
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- Incremental recomputation in local languages. (Q1401928) (← links)
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- An existential locality theorem (Q1887659) (← links)
- On the expressive power of linear algebra on graphs (Q2035472) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra (Q2084947) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Database query processing using finite cursor machines (Q2272221) (← links)
- Game-based notions of locality over finite models (Q2478544) (← links)
- On the Expressive Power of Query Languages for Matrices (Q3305355) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)