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

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

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

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