Relational synthesis and chase

Example: e-commerce orders
Needs repairNot in 3NF: 2 transitive dependencies
Candidate key{order_id, sku}
Tables out4
Chaselossless
TableKeyRowsStatus
ordersorder_id1,2043NF
customerscustomer_id3113NF
order_linesorder_id, sku4,8703NF
legacy_view(none)88Refused
Status chips: ok needs repair refused insufficient
git clone https://github.com/dbccpage/simplex-normal-forms.git
pip install -e .
pytest