Database view of extensional predicates
Extensional predicates are tables consisting of rows with the same number of columns:
| id | name | hp |
|---|---|---|
| 1 | Bulbasaur | 45 |
| 2 | Ivysaur | 60 |
| … | … | … |
| 898 | Calyrex | 100 |
The EDB gives the contents of extensional predicates from which we compute other predicates.