baxter extension set

pre: predicate andproposition
next: what is a foreign key sqlprimary keys and foreign key