Álgebra de Bool
Vocês verão em breve que a PubMed (basicamente o SQL) utiliza a álgebra booleana para mostrar resultados.
Na verdade o que ela está fazendo são operações com conjutos (união e interseção).
A seguir vemos alguns conceitos básicos da Álgebra Booleana.
Lógica AND
A lógica AND funciona como a Interseção entre conjuntos. Ou seja, Interseção(A,B) = A AND B = somente os elementos comuns em A e B. Como exemplo, na PubMed, você escreve um query = pneumonia AND woman. O SQL irá buscar:
todos os papers que contém ‘pneumonia’ = A
todos os papers que contém ‘woman’ = B
e depois fará a interseção
Dado que x e y são as respostas de cada paper ao query formulado, apresentamos o resultado x AND y, ou seja, pode-se observar na tabela verdade abaixo que se e somente se x=True e y=True que a Interseção será True.
x |
y |
x ^ y |
|---|---|---|
F |
F |
F |
F |
T |
F |
T |
F |
F |
T |
T |
T |
Lógica OR
A lógica OR funciona como a União entre conjuntos. Ou seja, União(A,B) = A OR B = todos os elementos em A e B, sem repetição Como exemplo, na PubMed, você escreve um query = young AND children. O SQL irá buscar:
todos os papers que contém ‘young’ = A = todos artigos contendo jovens
todos os papers que contém ‘children’ = B = todos artigos contendo criança
e depois fará a União
Dado que x e y são as respostas de cada paper ao query formulado, apresentamos o resultado x OR y, ou seja, pode-se observar na tabela verdade abaixo que se x=True ou y=True basta para a União ser True.
x |
y |
x ^ y |
|---|---|---|
F |
F |
F |
F |
T |
T |
T |
F |
T |
T |
T |
T |
Ver
http://carol.dimap.ufrn.br/logicwiki/index.php?title=%C3%81lgebra_Booleana