db-design-theory want to do given R and scriptF compute all of the super-keys and keys check if it's BCNF or 3NF eventually given a create.sql file, find an optimized table design