4 ms·Not generally, although proofs around set theory were useful in grokking databases.by mathgeek 3y agoNot generally, although proofs around set theory were useful in grokking databases.