I am not sure if this is what you are looking for, but the Relational Model is built on a mathematical foundation of Set Theory[1] and first order predicate cal

I am not sure if this is what you are looking for, but the Relational Model is built on a mathematical foundation of Set Theory[1] and first order predicate calculus[2]. This foundation is used to define a logically closed algebra known as Relational Algebra[3]. The implications of this closed logical foundation is, in my opinion, the real power of the Relational Model and is in no small part why RDBMS's exploded in popularity. In the context of a RDBMS, SQL is a domain language for expressing the underlying Relational Algebra: https://cs.ulb.ac.be/public/_media/teaching/infoh417/sql2alg_eng.pdf https://cs.ulb.ac.be/public/_media/teaching/infoh417/sql2alg... [1] https://en.wikipedia.org/wiki/Relational_model https://en.wikipedia.org/wiki/Relational_model [2] https://en.wikipedia.org/wiki/First-order_logic https://en.wikipedia.org/wiki/First-order_logic [3] https://en.wikipedia.org/wiki/Relational_algebra https://en.wikipedia.org/wiki/Relational_algebra