A time-series database for high-performance real-time analytics packaged as a Postgres extension