Logics with aggregate operators
From MaRDI portal
Publication:5441362
DOI10.1145/502090.502100zbMath1127.68367OpenAlexW1975880448MaRDI QIDQ5441362
Juha Nurmonen, Limsoon Wong, Lauri Hella, Leonid O. Libkin
Publication date: 11 February 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/502090.502100
Database theory (68P15) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)
Related Items (13)
An existential locality theorem ⋮ Recursive rules with aggregation: a simple unified semantics ⋮ On the Expressive Power of Query Languages for Matrices ⋮ Monitoring of temporal first-order properties with aggregations ⋮ Expressive power of SQL. ⋮ Incremental recomputation in local languages. ⋮ Game-based notions of locality over finite models ⋮ Pebble Weighted Automata and Weighted Logics ⋮ Database query processing using finite cursor machines ⋮ On the expressive power of linear algebra on graphs ⋮ Propositional and predicate logics of incomplete information ⋮ On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra ⋮ Lower bounds for invariant queries in logics with counting.
This page was built for publication: Logics with aggregate operators
