سال انتشار: ۱۳۹۰

محل انتشار: اولین همایش منطقه ای رویکردهای نوین در مهندسی کامپیوتر و فناوری اطلاعات

تعداد صفحات: ۵

نویسنده(ها):

سجاد صبوری زاده – دانشجوی کارشناسی نرم افزار کامپیوتر، گروه کامپیوتر، موسسه غیر انتفاع

چکیده:

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