3 ms·
Relational algebra is more or less isomorphic to SQL if you're doing SQL you're doing relational algebra. Hoar logic can prove your programs 100% correct. This
by crimsonalucard 7y ago
Relational algebra is more or less isomorphic to SQL if you're doing SQL you're doing relational algebra.
Hoar logic can prove your programs 100% correct. This is useful for anyone who wants to write a program that's bug free.
UML is more of a visualization tool then a theoretical tool.
>Proving diagrams commute with abstract nonsense is not going to help the average programmer.
What in the world is a proving diagram, and what is abstract nonsense? Please be more clear with your explanations. I am not talking about diagrams and trying to say they commute with anything.