Question: Do you know the total credits for the Civil Eng. Department? | Did you want the sum of total credits across all students in the Civil Eng. department? | Sure.
SQL: SELECT SUM ( tot_cred )  FROM student WHERE dept_name  =  "Civil Eng."