ارائه روشبهبود الگوریتم های شناسایی و رفع بنبست به شیوهی توزیع شده درپایگاه داده های توزیع شده با نگرشی صوری
Publish place: The first conference on new approaches in computer engineering and information technology
Publish Year: 1390
Type: Conference paper
Language: Persian
View: 2,195
This Paper With 5 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
ROUDSARIT01_095
Index date: 10 August 2011
ارائه روشبهبود الگوریتم های شناسایی و رفع بنبست به شیوهی توزیع شده درپایگاه داده های توزیع شده با نگرشی صوری abstract
امروزه در بعضی مواقع تراکنشهای صورت گرفته بر روی پایگاه های داده دچار مشکل شده و سیستم آن پایگاه در یکحالت قفل شدن قرار گرفته و از انجام فعالیتهای عادی خود باز می ماند که در اصطلاح در حالت بن بستقرار می گیرند. در این مقاله با تحقیق بر روی الگوریتم های تشخیصو رفع بن بست در پایگاه داده های توزیع شده به شیوه توزیع شده و با نگرش صوری سعی در بر طرف کردن این مشکل شده است. با معرفی کردن نگرشی جدید برای اثبات صوری الگوریتم های این رده روش معرفی شده بر مبنای اتوماتای محدودیت کار می کند، یعنی ابتدا الگوریتم با شناخت بن بست مشکل را یافته و سپس تلاشمی کند تا آنرا بر طرف سازد.
ارائه روشبهبود الگوریتم های شناسایی و رفع بنبست به شیوهی توزیع شده درپایگاه داده های توزیع شده با نگرشی صوری Keywords:
ارائه روشبهبود الگوریتم های شناسایی و رفع بنبست به شیوهی توزیع شده درپایگاه داده های توزیع شده با نگرشی صوری authors
سجاد صبوری زاده
دانشجوی کارشناسی نرم افزار کامپیوتر، گروه کامپیوتر، موسسه غیر انتفاع
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :