زمان کنونی: ۰۹ فروردین ۱۴۰۳, ۰۲:۴۵ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

کمک در مورد اثبات قضایا در مدیریت تراکنشها

ارسال:
  

peresfone پرسیده:

کمک در مورد اثبات قضایا در مدیریت تراکنشها

سلام وقت بخیر
استادمون ۳تا قضیه برای اثبات گفته، که توو امتحان میاد
کسی هست کمکم کنه ? خیلی فوریه

قضیه ۱: اگر H یک سابقه توالی پذیر در برخورد باشد آنگاه H بک سابقه توالی پذیر در دید هم هست ولی عکس آن صادق نیست

قضیه ۲: هر سابقه ای که ST باشد حتما ACA است پس حتما RC هم هست

قضیه ۳: توالی پذیری، ترمیم پذیری و اجتناب از انتشار abort و اجرای محض دارای خاصیت pcc می باشند. یعنی اگر H یک سابقه توالی پذیر باشد پس برای هر پیشوند H پریم از H،
(H)c پریم نیز توالی پذیر است
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  اثبات به کمک استنتاج Xzrix ۲ ۲,۷۲۵ ۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ
آخرین ارسال: ghaderZ
  مدیریت سیستم چند پردازنده ای متقارن no_ta2000 ۰ ۱,۴۶۱ ۰۹ مهر ۱۳۹۹ ۰۲:۲۱ ب.ظ
آخرین ارسال: no_ta2000
  اثبات بومی بودن sirvan.t ۸ ۵,۱۴۳ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  برگزاری دوره آموزشی مدیریت صادرات با همکاری شرکت بازرگانی ماهان masoudkhan ۱ ۲,۸۴۶ ۲۱ دى ۱۳۹۸ ۰۵:۱۳ ب.ظ
آخرین ارسال: parisa1140
  مشاوره برای تغییر رشته به مدیریت nima20-20 ۱۰ ۱۴,۰۹۷ ۰۸ آذر ۱۳۹۷ ۰۴:۵۸ ب.ظ
آخرین ارسال: abdollah75
  درخواست کتاب یا جزوه مدیریت شبکه های مخابراتی و کامپیوتری H.Mohammadi ۴ ۴,۲۹۳ ۰۳ آبان ۱۳۹۷ ۰۳:۰۸ ق.ظ
آخرین ارسال: negarin_
Exclamation کمک کمک کمک در مورد ادامه تحصیل در مقطع دکتری !!! aminomidi ۳ ۴,۲۶۰ ۱۷ مهر ۱۳۹۷ ۰۵:۴۵ ب.ظ
آخرین ارسال: negarin_
  اصول مدیریت راهبردی فناوری اطلاعات master of net ۱ ۲,۰۴۱ ۱۱ شهریور ۱۳۹۷ ۰۴:۴۲ ب.ظ
آخرین ارسال: master of net
  ۱۷۴ آی تی - روزانه خواجه نصیر گرایش مدیریت سیستم های اطلاعاتی imisutit ۴ ۴,۱۵۲ ۰۹ شهریور ۱۳۹۷ ۰۵:۴۰ ب.ظ
آخرین ارسال: saeedzare74
  کمک در مورد انتخاب رشته ...... اول شبانه تهران یا روزانه شهرستان؟ Shine_20 ۵ ۵,۱۷۴ ۱۷ خرداد ۱۳۹۷ ۱۲:۲۵ ق.ظ
آخرین ارسال: SASSAN.S

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close