ブール結合クエリ

リレーショナルデータベースの理論において、ブール論理積クエリとは、区別される述語を持たない論理積クエリ、つまり の形式のクエリ です。ここで、各 は関係記号であり、各 は変数と定数の組です。 の要素数はのアリティに等しくなります。このようなクエリは、データベース内の関係に適切な値の組が含まれているかどうかに応じて、真または偽のいずれかに評価されます。つまり、論理積はデータベース内の事実に基づいて 有効です。${\displaystyle R_{1}(t_{1})\wedge \cdots \wedge R_{n}(t_{n})}$ ${\displaystyle R_{i}}$ ${\displaystyle t_{i}}$ ${\displaystyle t_{i}}$ ${\displaystyle R_{i}}$

例えば、データベーススキーマにFather（二項関係、誰が誰の父親か）とEmployed（単項関係、誰が雇用されているか）という関係記号が含まれている場合、結合クエリは となります。このクエリは、Mark の子であり、かつ雇用されている個体x が存在する場合に true と評価されます。言い換えれば、このクエリは「Mark には雇用されている子供がいるか？」という質問を表しています。 ${\displaystyle Father({\text{Mark}},x)\wedge Employed(x)}$

複雑

参照

• 論理積
• 接続詞クエリ

参考文献

• G. Gottlob; N. Leone; F. Scarcello (2001). 「非巡回的連言クエリの複雑性」Journal of the ACM . 48 (3): 431– 498. doi :10.1145/382780.382783.