Hypothesis Evaluation
class(A,reptile):- eggs(A).
class(A,bird):- eggs(A).
class(A,fish):- eggs(A).
=2
=1
=2
Max. 2 SQL executions
Negative example never change
SELECT
COUNT ( DISTINCT T1.name), T1.class
FROM animal T1
WHERE T1.eggs = ‘yes’ //condition
GROUP BY T1.class
( HAVING
COUNT ( DISTINCT T1.name) > MIN )
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示