a foreign key DB example (requires one universal quantifier)
eager translation of DB instances; DB minor fixes