Logics with aggregate operators.

We study adding aggregate operators, such as summing up elements of a column of a relation, to logics with counting mechanisms. The primary motivation comes from database applications, where aggregate operators are present in all real life query languages. Unlike other features of query languages, a...

Full description

Bibliographic Details
Published in:Journal of the ACM 48, 4 (2001).
Main Author: Hella, Lauri
Format: Article
Language:English
Subjects: