A database frontend for concurrent editing systems