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...
| Publié dans: | Journal of the ACM 48, 4 (2001). |
|---|---|
| Auteur principal: | |
| Format: | Article |
| Langue: | anglais |
| Sujets: |