Wykrywanie zdublowanych rekordów w pliku xml Opcje

[pepro]

Witajcie.
Mój szef zadał mi pracę domową. Jest plik dane.xml o strukturze

[XML] pobierz, plaintext 
<dane>
    <rec>
        <name>nazwa</name>
        <address>adres</address>
        <city>miasto</city>
        <tel>600700800</tel>
    </rec>
</dane>
[XML] pobierz, plaintext 

Tych wpisów jest około 12000. wiele pól 'tel' się powtarza więc w jakiś magiczny sposób chciałbym wykryć zdublowane wpisy.
W efekcie chciałbym aby wylistowany był tylko jeden a nie kilka czy kilkanaście. Potem wygenerować zmodyfikowany plik dane.xml. Niby wszystko wiem tylko problemem pozostaje wyfiltrowanie i pozbycie się zdublowanych telefonów.

Mógłby mnie ktoś naprowadzić czego szukać lub podać jakiś przykład bym mógł sobie jakoś dojść do tego?

Serdeczne dzięki z góry za podpowiedzi.

Powód edycji: [webdice]: Błąd ortograficzny.

[adbacz]

12000 wpisów w XML to troche dużo wg mnie.

Ale jeśli nie brać pod uwagę tego ile ich jest, to wystarczy parsowanie to obiektu lub tablicy, co Ci bardziej pasuje. Później dwie pętle i tyle:

[PHP] pobierz, plaintext 
// Przechowujemy przefiltrowane dane
$newData = array();
 
// Przechowuje oryginalną tablicę z elementami XML
$currentData = array();
 
for($i=0, $count=count($currentData); $i<$count; $i++)
{
  $isset = false;
 
  for($j=0, $countj=count($newData); $j<$countj; $j++)
  {
    if($currentData[$i]['tel'] == $newData[$j]['tel'])
    {
      $isset = true;
      break;
    }
  }
 
  if($isset === false)
  {
    $newData[] = $currentData[$i];
  }
}
[PHP] pobierz, plaintext 

Takie coś powinno załatwić sprawę, ale nie wiem jak będzie z wydajnością. Jeśli to ma być tylko jednorazowe filtrowanie to ok, ale jeśli to ma działać częściej to warto pomyśleć nad innym wyjściem.