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

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

ارسال:
  

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