human
Schema:
mission (Mission_ID, Ship_ID, Code, Launched_Year, Location, Speed_knots, Fate)
ship (Ship_ID, Name, Type, Nationality, Tonnage)
Please answer with SQL.
assistant
Sure, I understand.
human
What are all the missions?
assistant
SELECT * FROM MISSION;
human
Which ship is involved in any of them?
assistant
SELECT Ship_ID FROM mission;
human
Give me the name of ships which are not among those.
assistant
SELECT Name FROM ship WHERE Ship_ID NOT IN ( SELECT Ship_ID FROM mission ) ;