7 ms·
To go a bit further that equivalence is what put the relational in relational databases. Though really a set of tuples is just a model, you can reason about rel
by contravariant 4y ago
To go a bit further that equivalence is what put the relational in relational databases. Though really a set of tuples is just a model, you can reason about relations without needing to construct an explicit model for them (which is convenient when dealing with a relation on a proper class).