What is the name of the student who has the highest total credits in the History department.
CREATE TABLE student (name VARCHAR, dept_name VARCHAR, tot_cred VARCHAR)
SELECT TOP 1 name FROM student WHERE dept_name = 'History' ORDER BY tot_cred DESC
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE student (name VARCHAR, dept_name VARCHAR, tot_cred VARCHAR) Question: What is the name of the student who has the highest total credits in the History department. [/INST] SELECT TOP 1 name FROM student WHERE dept_name = 'History' ORDER BY tot_cred DESC </s>