Database: formula_1
Question: What is the forename and surname of the driver with the shortest laptime?
SQL:
SELECT T1.forename ,  T1.surname FROM drivers AS T1 JOIN laptimes AS T2 ON T1.driverid = T2.driverid ORDER BY T2.milliseconds LIMIT 1