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...
| Publicado en: | Journal of the ACM 48, 4 (2001). |
|---|---|
| Autor Principal: | |
| Formato: | Artigo |
| Idioma: | English |
| Subjects: |