ブール論理積クエリ

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

例えば、データベーススキーマに関係シンボル「父」（二項関係、誰が誰の父親か）と「雇用されている」（単項関係、誰が雇用されているか）が含まれている場合、結合クエリは次のようになります。$\displaystyle 父(マーク,x)\wedge 就業中(x)}$このクエリは、マークの子供であり、かつ就業している人物xが存在する場合に真と評価されます。言い換えれば、このクエリは「マークには就業している子供がいますか？」という質問を表しています。

• 論理積
• 接続詞クエリ

• G. Gottlob ; N. Leone; F. Scarcello ( 2001). 「非巡回結合クエリの複雑性」。ACMジャーナル。48 ( 3): 431–498。doi : 10.1145/382780.382783。