"LOL. It's the only formally proven, mathematically correct representation and querying of data sets." Someone led you down the garden path. There is absolute

"LOL. It's the only formally proven, mathematically correct representation and querying of data sets." Someone led you down the garden path. There is absolutely no proof that RDBMS is objectively correct in any meaningful sense whatsoever. Did someone invent an arbitrary standard to measure it by, and then prove that it met that standard? Sure. But that's a far cry from a claim that RDBMS's are somehow "formally proven." That's just pure mathematical silliness and marketing propaganda.