More on database persistence:

On every relaunching of the music player, database cleans out entries
that are no longer valid and populates the library accordingly.