I have implemented database schemas, (without knowing database theory), and these principles are a revelation to me. A question I have is: Given a schema, are

I have implemented database schemas, (without knowing database theory), and these principles are a revelation to me. A question I have is: Given a schema, are there automated verifiers for validating that it adheres to these principles ? A schema "linter" of sorts. There seem to be parallels to linear algebra here (orthogonal bases, decompositions, etc)