結果 : deductive database example