| 摘要 |
一側面において、検索条件式に含まれる一部の命題の判定処理の遅れによる、検索条件式全体の照合処理の速度劣化を生じにくくすることを目的とする。コンピュータに、１つの命題、もしくは１又は複数の命題同士の論理積である命題群による論理和となる論理式を受け付けた場合に、前記論理式に含まれる前記１つの命題および前記命題群のそれぞれと、前記１つの命題か、前記命題群の前記１又は複数の命題のいずれかを共通に含む他の命題群を生成し、前記論理式の判定処理を行なうとともに、前記他の命題群に含まれる各命題が満たされない旨の判定結果が得られた場合に、前記論理式が満たされないと判定する、処理を実行させる。 |
