use case I mentioned has no surrogate keys by definition.As a next point, the relational model works perfectly well from a logical standpoint when tuple elements are of any type at all, including other relations or sets or tuples etc, and I would argue there is no violation of first normal form occurring here, rather the only violation is where duplicate tuples are allowed.In fact, practice would