Databáze intenzionálně

• Př.: mějme predikáty

• F(x,y) x je otec y

• M(x) x je muž

• S(x,y) x je sourozencem y

• B(x,y) x je bratr y

• Extenzionální databáze (EDB):

• F(Oldřich, Pavel) (1)

• F(Oldřich, Jaroslav) (2)

• F(Jaroslav, Veronika) (3)