IF … THEN … ELSE … in SQL