Logics with aggregate operators

DOI10.1145/502090.502100MaRDI QIDQ5441362zbMATH OpenOpenAlexFDO

Authors Lauri Hella, Juha Nurmonen, Limsoon Wong, Leonid 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

Mathematics Subject Classification ID

Logic in computer science (03B70) Database theory (68P15) Descriptive complexity and finite models (68Q19)

Recommendations

• Aggregate operators in constraint query languages
• scientific article; zbMATH DE number 1453077
• How expressive is stratified aggregation?
• Low-complexity aggregation in GraphLog and Datalog
• The expressive power of fixed-point logic with counting

Cited in

(21)

• Query languages for bags and aggregate functions
• Expressive power of SQL.
• Incremental recomputation in local languages.
• Lower bounds for invariant queries in logics with counting.
• An existential locality theorem
• 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
• Recursive rules with aggregation: a simple unified semantics
• Database query processing using finite cursor machines
• Game-based notions of locality over finite models
• Compositional semantics of SQL: Aggregate functions
• On the expressive power of query languages for matrices
• scientific article; zbMATH DE number 5363851 (Why is no real title available?)
• An Analytic Logic of Aggregation
• scientific article; zbMATH DE number 1368934 (Why is no real title available?)
• Pebble weighted automata and weighted logics
• Succinct ordering and aggregation constraints in algebraic array theories
• Aggregate operators in constraint query languages
• Querying incomplete data: complexity and tractability via Datalog and first-order rewritings
• Monitoring of temporal first-order properties with aggregations

This page was built for publication: Logics with aggregate operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5441362)