کتاب کنترل همروندی و ترمیم در سیستم های پایگاه داده

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