Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Atualizar rótulo vegano para produtos que nunca receberam uma violação de segurança e são certificados como livres de crueldade.
 ###Tabelas: 
CREATE TABLE products (product_id INT, product_name TEXT, is_cruelty_free BOOLEAN, is_vegan BOOLEAN); CREATE TABLE safety_records (record_id INT, product_id INT, violation_date DATE);
UPDATE products SET is_vegan = TRUE FROM products INNER JOIN safety_records ON products.product_id = safety_records.product_id WHERE products.is_cruelty_free = TRUE AND safety_records.record_id IS NULL;