Typically operating systems don't maintain a database but instead rely on network time servers to let them know that a leap second is about to occur.