Composing Datalog Rules
Extensional predicates: represent relations appearing in the database.
Intentional predicates: defined by rules. These can be thought of as
Datalog rules may be composed in order to express more complex
- it becomes easier to express certain queries (define views)
- we can define queries including unions,
- we can define recursive queries.