A class of bounded functions, a database language and an extended lambda calculus

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