now show me the shop which have devices in stock
SELECT T2.Shop_Name FROM stock AS T1 JOIN shop AS T2 ON T1.Shop_ID   =   T2.Shop_ID GROUP BY T1.Shop_ID
devices in stock refers to a non-zero inventory in the stock table; show me the shop which have refers to selecting Shop_Name from a joined stock and shop tables based on Shop_ID;