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).
المؤلف الرئيسي: Hella, Lauri
التنسيق: مقال
اللغة:English
الموضوعات: