4 ms·PGM-index: a fully-dynamic learned index with provable worst-case bounds [pdf]2 points by ngaut 6y ago