I have posed this question to some experts at my university who would probably know the answer if there were a complete one, so my expectations are limited. It's possible that the question deserves the "open problems" tag, but I'm not that certain.

Here is the setup. By "K-homology" I mean the generalized homology theory dual to topological K-theory. The model of K-homology most relevant to this question, due to Kasparov, comes from functional analysis. Given a locally compact Hausdorff space $X$, one defines a Fredholm module to be a triple $(\rho,H,F)$ where $H$ is a Hilbert space, $\rho$ is a representation of the C*-algebra $C_0(X)$ on $H$, and $F$ is a bounded operator on $H$ which is compatible with the representation in a suitable sense. In Kasparov's model, the K-homology groups of $X$ are generated by equivalence classes of Fredholm modules where the equivalence relation identifies Fredholm modules which are operator homotopic, unitarily equivalent, or compact perturbations of one another.

Baaj and Julg proved that the K-homology groups of a space (in fact, the KK groups of a pair of C*-algebras) are generated by "unbounded Fredholm modules" in which the operator above is a densely defined unbounded operator (and some additional axioms are satisfied). Specifically, they associated to any unbounded Fredholm module an ordinary (bounded) Fredholm module and showed that all K-homology classes have an unbounded representative. This implicitly yields an unbounded model for K-homology: just say two unbounded Fredholm modules are equivalent if the associated bounded Fredholm modules are.

My question is: can anyone express the equivalence relation on unbounded Fredholm modules which determines K-homology more explicitly (i.e. without referring to the bounded theory)? There are some serious technical challenges; for example two Fredholm modules could be constructed from the same representation on the same Hilbert space but with operators whose domains are disjoint.

Searching the literature, I can find a number of papers written about how to define the Kasparov product in the unbounded model, but as far as I can tell nobody has sorted out the relations. Is there any progress on this?