| 229 | * π_{Title, AvgDaysToReturn, MinDaysToReturn, MaxDaysToReturn, TotalLoans, LoansWithFines} |
| 230 | (σ_{TotalLoans ≥ 5} |
| 231 | (γ_{Book.BookID, Book.Title} |
| 232 | (Loan ⨝{Loan.BookCopyID = Book_Copies.CopyID} Book_Copies |
| 233 | ⨝{Book_Copies.BookID = Book.BookID} Book |
| 234 | ⟕{Loan.LoanID = Fine.LoanID} Fine) |
| 235 | AVG(Loan.ReturnDate - Loan.LoanDate) → AvgDaysToReturn, |
| 236 | MIN(Loan.ReturnDate - Loan.LoanDate) → MinDaysToReturn, |
| 237 | MAX(Loan.ReturnDate - Loan.LoanDate) → MaxDaysToReturn, |
| 238 | COUNT(*) → TotalLoans, |
| 239 | COUNT(σ{Fine.FineID IS NOT NULL} (*)) → LoansWithFines |
| 240 | ) |
| 241 | τ_{AvgDaysToReturn DESC}) |
| 242 | |