| 摘要 |
PROBLEM TO BE SOLVED: To reduce processing time required for evaluation when a complicated search query is evaluated on the basis of a BDD method. SOLUTION: When a searching apparatus 100 accepts a search query, a BDD construction unit 160e creates first diagram data 150g based on the BDD method. Then, a BDD conversion unit 160f, on the basis of the first diagram data 150g, creates second diagram data 150h of bit strings indicative of a true or false condition of a variable at each level that arrives from a starting-point node to an arrival node ahead thereof by predetermined multiple levels. A diagram execution unit 160g compares the second diagram data 150h with a logical value table 150e to thereby evaluate the search query. COPYRIGHT: (C)2010,JPO&INPIT
|
