DPLY-10: Simplify synchronizations by not using database ids