Exactness in homology I've been thinking about the exactness "axiom" which says that 
For any topological pair $(X,A)$ the following sequence is exact:
$$ \dots \rightarrow H_n(X) \rightarrow H_n(X,A) \rightarrow H_{n-1}(A) \rightarrow \dots$$
I thought I could use this to compute the relative homology so I tried the following example:
$H_n(D^2, S^1) = ?$
By exactness the following sequence is exact:
$$ \dots \rightarrow H_n(D^2) \xrightarrow{j_\ast} H_n(D^2,S^1) \xrightarrow{\partial_\ast} H_{n-1}(S^1) \rightarrow \dots$$
Then I though I could use the following 2 facts to find $H_n(D^2, S^1) $:
$H_n(D^2) = H_n(\{\ast\}) = 0 (n>0) $ and $\mathbb{Z}(n=0)$ 
$H_n(S^1) = 0 (n \geq 2) $ and $\mathbb{Z}(n=0,1)$
But somehow knowing $im j_\ast = ker\partial_\ast$ etc. doesn't give me any useful information to find $H_n(D^2, S^1) $. What am I doing wrong? Is this not a good example of when to apply the exactness axiom? If no, can someone please show me a better one? Many thanks for your help!
Edit
OK, after Theo's comment I produced the following exact sequence:
$$ \dots 0 \xrightarrow{a} H_2(D^2, S^1) \xrightarrow{b} \mathbb{Z} \rightarrow 0 \xrightarrow{c} H_1(D^2, S^1) \xrightarrow{d} \mathbb{Z} \rightarrow \mathbb{Z} \xrightarrow{e} H_0(D^2, S^1) \xrightarrow{f} 0$$
I assume that $H_n(D^2, S^1) = 0$ for $n > 2$ because the space doesn't have any $n$ cells in it but I'm not entirely sure that's rigorous. Anyway, with the exactness of the sequence I get the following:
(i) $im a = 0 = ker b $ $\implies b$ is injective
(ii) $ker f = H_0(D^2,S^1) = im e$
(iii) $im c = 0 = ker d$ $\implies d$ injective
 A: Since $H_n(D^2) = H_n(S^1) = 0$ for $n \geq 2$, we also have $H_n(D^2, S^1) = 0$ for $n> 2$. So we must focus on $H_n(D^2,S^1)$ for $n=0,1,2$.
For $n=0$, we have
$$
\dots \longrightarrow H_0(S^1) \longrightarrow H_0(D^2) \longrightarrow H_0(D^2,S^1) \longrightarrow 0
$$
which is
$$
\dots \longrightarrow \mathbb{Z} = \mathbb{Z} \longrightarrow H_0(D^2,S^1) \longrightarrow 0 \ .
$$
Hence 
$$
H_0(D^2,S^1) = 0 \ .
$$
For $n=1$, the situation is
$$
\dots  \longrightarrow H_1(D^2) \longrightarrow H_1(D^2,S^1) \longrightarrow H_0(S^1) \longrightarrow H_0(D^2) \longrightarrow \dots
$$
That is,
$$
0 \longrightarrow H_1(D^2,S^1) \longrightarrow \mathbb{Z} = \mathbb{Z}
$$
Which again means 
$$
H_1(D^2, S^1) = 0 \ .
$$
Finally, for $n=2$,
$$
\dots \longrightarrow H_2(D^2) \longrightarrow H_2(D^2,S^1) \longrightarrow H_1(S^1) \longrightarrow H_1(D^2) \longrightarrow \dots
$$
Which is
$$
0 \longrightarrow H_2(D^2, S^1) \longrightarrow \mathbb{Z} \longrightarrow 0
$$
So, 
$$
H_2(D^2, S^1) = \mathbb{Z}  \ .
$$
A: Well, you know that that sequence up there is exact. Okay, what does that mean? Well, so we have a long trail of 0s, and remember that a sequence of the form:
$0 \rightarrow A \rightarrow^f B$ is exact if and only if f is injective. So, we have that in this case you'll have a long trail of 0s, followed by:
$0 \rightarrow H_2(D^2,S^1) \rightarrow^{\partial} H_1(S^1)  \rightarrow 0 \cdots$. Well, so we have that $\partial$ is injective, and surjective, that is, an isomorphism. So $H_2(D^2,S_1) = Z$. And in the same way, we can reason for the other terms. Note that we used that a sequence $0 \rightarrow A \rightarrow^f B \rightarrow 0$ is exact iff f is surjective and injective.
A: Using your helpful answers and comments I'm posting the answer in my own words, including the details I was missing (knew them but failed to apply):
Fact 1: A group homomorphism $\varphi: G \rightarrow G^\prime$ where $G = <g>$ and $G^\prime = <g^\prime>$ such that $\varphi(g) = g^\prime$ is an isomorphism.
Fact 2: If $X$ is path-connected any two constant singular 0-simplexes $\sigma, \sigma^\prime$ in $C_0(X)$ differ by a boundary, i.e. $\exists$ a path $ \gamma \in C_1(X)$ such that $\partial \gamma = \sigma + \sigma^\prime$. Therefore they are all in the same homology class and therefore any constant singular 0-simplex in $X$ generates $H_0(X)$.
Fact 3: As a consequence of facts 1 and 2, the inclusion $i: A \hookrightarrow X$ induces an isomorphism $i_\ast: H_0(A) \rightarrow H_0(X)$.
Case $n = 0$:
$$ \dots \rightarrow H_0(S^1) \xrightarrow{i_\ast} H_0(D^2) \rightarrow H_0(D^2, S^1) \rightarrow 0$$
is
$$ \dots \rightarrow \mathbb{Z} \xrightarrow{i_\ast} \mathbb{Z} \xrightarrow{f} H_0(D^2, S^1) \xrightarrow{g} 0$$
Now because $i_\ast$ is an isomorphism, $im i_\ast = \mathbb{Z} = ker f$ $ \implies f = 0$
and therefore $im f = 0 = ker g$, so $g$ is injective. But $g = 0$ is also surjective, so $g$ is an isomorphism and therefore $H_0(D^2, S^1) \cong 0$.
Case $n=1$
$$ \rightarrow H_1(S^1) \xrightarrow{i_\ast}  H_1(D^2) \xrightarrow{f} H_1(D^2, S^1) \xrightarrow{\partial_\ast} H_0(S^1) \xrightarrow{i_\ast} H_0(D^2) \dots$$
where $H_1(S^1) = \mathbb{Z}$, $H_1(D^2) = 0$, $H_0(S^1) = \mathbb{Z} = H_0(D^2)$
(i) $im i_\ast = 0 = ker f $  $\implies f$ injective
(ii) $ker i_\ast = 0 = im \partial_\ast $  $\implies \partial_\ast = 0$ (const.)
(iii) $ker \partial_\ast = H_1(D^2, S^1) = im f $  $\implies f$ surjective
$\implies f$ is isomorphism 
$\implies  H_1(D^2, S^1) = 0$
Case $n=2$
$$ 0 \xrightarrow{f} H_2(D^2, S^1) \xrightarrow{g} \mathbb{Z} \xrightarrow{h} 0$$
(i) $im f = 0 = ker g $  $\implies g$ injective
(ii) $im h = 0 \implies ker h = \mathbb{Z} = im g \implies g$ surjective
$\implies g$ is isomorphism 
$\implies H_2(D^2, S^1) \cong \mathbb{Z}$ 
