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...
| 發表在: | Journal of the ACM 48, 4 (2001). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |