سجاد صبوری زاده - کارشناس مهندسینرم افزار
حسین شاه حیدر - کارشناس مهندسی نرم افزار
محمد مظفری خواه - دانشجوی کارشناسی تکنولوژی برق

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

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