Discovering attribute groups, named model groups, or archetypes has well known combinatorial analogues; however, useful grouping must reflect semantics and finding optimal solutions is probably both intractable and uninteresting.
This must wait until Schema prosposal is better understood (by me).
These computations are also related to discovering implicit structure - again, to do something interesting here, we must have an objective function.