Considere que para duas proposições p e q da lógica proposicional vale a fórmula .
Nesse cenário, e na ausência de qualquer outra informação sobre p ou q, para que seja possível inferir sem refutar a validade de pode-se assumir a validade de

Uma entidade associativa do modelo de entidades e relacionamentos é um(a)

Considerando as duas tabelas apresentadas, a consulta SQL
SELECT SUM( vendas ) FROM Lojas WHERE EXISTS ( SELECT * FROM Regioes WHERE nome_regiao = 'Sul' ) apresentará o seguinte resultado:

Considere o documento DTD a seguir.


O trecho de documento XML consistente com o DTD acima é

Na engenharia de software, existem diversos modelos de desenvolvimento de software, e, dentre eles, o modelo em cascata, o qual, no contexto do desenvolvimento de sistemas de software complexos, recomenda