| | 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 | |