سوال ۱۱۱ کنکور ارشد مهندسی کامپیوتر ۱۴۰۲

Create Assertion BookConstraint
Check (Not Exists(select * from Member where MemType = 'regular' And Exists
  (select * From Borrowed As B1 Where
   (select * From Borrowed As B2 Where B1.ISBN = B2.ISBN
    And B1.BorrowDate = B2.BorrowDate))))

Create Assertion BookConstraint
Check (Not Exists(Select ISBN From Book Where
  (select count(*) From Borrowed Natural Join Member
   where MemType = 'regular') > 2))

Create Assertion BookConstraint
Check (Not Exists(select * from Member where Member.MemID = Borrowed.MemID And Not Exists
  (select * from Borrowed where Member.MemID = Borrowed.MemID
   Group By ISBN Having count(*) > 2)))

Create Assertion BookConstraint
Check (Not Exists(select * from Member Natural Join Borrowed Natural Join Book
  where MemType = 'regular'
  Group By ISBN, MemID Having count(*) > 2))