CREATE TABLE stock (shop_id DECIMAL, device_id DECIMAL, quantity DECIMAL)
CREATE TABLE device (device_id DECIMAL, device TEXT, carrier TEXT, package_version TEXT, applications TEXT, software_platform TEXT)
CREATE TABLE shop (shop_id DECIMAL, shop_name TEXT, location TEXT, open_date TEXT, open_year DECIMAL)

What are the names of shops that do not have any devices in stock?
SELECT shop_name FROM shop WHERE NOT shop_id IN (SELECT shop_id FROM stock)
SELECT "shop_name" FROM "shop" WHERE NOT "shop_id" IN (SELECT "shop_id" FROM "stock")