一般に、「検索」は、つぎの3つの条件を満たす必要がある。 (1)第1は、「目的のものを必ず引き出せること」。つまり、「検索してヒットした対象に、目的のファイルが含まれること」である。当然のことながら、これはどうしても満たされなければならない条件だ。 (2)第2は、「目的のもの以外が引き出されないこと」、つまり、「検索でヒットした対象には、目的のファイル以外は含まれていないこと」である。これを前回では「雑音が少ないこと」と表現した。これは、どうしても必要というわけではないが、できれば満たされていることが望ましい条件である。 (3)さらに次の条件が満たされていれば、もっと望ましい。つまり、「保存したかどうか確実に覚えていないものについても、なんらかの手がかりが得られること」。また、「目的ファイルが存在していなければ、そのことが確認できること」である。つまり、「不存在」の証明ができることだ