MySQL: Wie bekomme ich das schneller hin?

[sheel]

Jedenfalls, um deinen originalen Code etwas abzuändern:

SELECT Name, Vorname FROM Benutzer WHERE 
Typ= 'Entwickler'
OR ID IN (
   SELECT AutorID FROM Dateien GROUP BY AutorID
  )
ORDER BY Name, Vorname

Dazu Zusatz-Indexe zumindest auf Dateien.AutorID und Benutzer.Typ