Computable aggregations

در این مقاله، محاسبات را به عنوان یک عنصر کلیدی در تضمین سازگاری یک خانواده از توابع تجمعی مطرح می کنیم تا چنین خانواده ای از اپراتورها را می توان یک قاعده تجمعی در نظر گرفت. به طور خاص، ما پیشنهاد می کنیم که مفهوم یک قانون تجمع باید از نقطه نظر محاسباتی تعریف شود، با تمرکز بر خواص محاسباتی چنین جمع آوری شده، یعنی به نحوی که در آن مقادیر تجمع محاسبه می شود. تعریف الگوریتمی جدیدی از تجمیع که پیشنهاد می کنیم یک رویکرد عملیاتی برای تجمع را فراهم می کند، که براساس لیست هایی از طول متغیر است و یک راه حل را حتی زمانی که بخش هایی از داده ها درج می شوند یا حذف می شوند. در میان مزایای دیگر، این روش اجازه می دهد تا ساختن طبقه بندی های مختلف قوانین تجمع با توجه به پارادایم های برنامه نویسی که برای محاسبه آنها استفاده می شود یا بر اساس پیچیدگی محاسباتی آنها باشد.