Refactor join rule.
Add label generation.
WARN: There is some bug with the primary and foreign key label sides getting mixed up.
Make join label rule use lowercase edge labels.
Fix error in company ER diagram for WORKS_FOR relationship, there
was no bug in the datalog rules after all.