Me reuní sobre la respuesta de esta pregunta de esta manera: esta consulta es sintácticamente correcta. Sin embargo, solicita todas las tuplas S de modo que S no esté en (la instancia dada de) Sailors. El conjunto de tales tuplas S es obviamente infinito, en el contexto de dominios infinitos como el conjunto de todos los enteros. Este sencillo ejemplo ilustra una consulta insegura. Es deseable restringir el cálculo relacional para no permitir insegura queries.I
'm Sured si funciona para usted.