تالار گفتمان مانشت

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

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

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

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