Operar valores con php obtenidos de una consulta mysql

[jpint]

Yo lo haría guardando en una variable el valor de la linea anterior:

Código PHP:

  $last_time = 0;
WHILE ($row = mysql_fetch_array($result)){
    $num = $row['numero'];
    $time = $row['tiempo'];
 
    $result = $time - $last_time;
 
    echo "<tr>
            <td>".$num."</td>
            <td>".$time."</td>
            <td>".$result."</td>
        </tr>";
 
    $last_time = $time;
}