//irgendwas[@a=//irgendwasanderes/@b]

Abgesehen davon ändert das ja nichts daran, dass es deklarativ ist. Du gibst ja nicht genau an, wie man an die Daten kommt und wie sie verarbeitet werden usw.. Zwei For-Schleifen sind ja nur logische Konstrukte. Du hast in anderen deklarativen Sprachen ja auch Rekursionen etc.

Gruß

Mike