بن بست و روشهای جلوگیری وترمیم آن درپایگاه داده توضیح شده با مدلسازی توسط اتوماتای محدودیت

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

کلیدواژه ها:

بن بست ، پایگاه داده ، توضیع شده ، اتوماتای محدودیت