This is awesome. Purely out of interest, how would one go about a similar ___location database for arbitrary locations in space? PostGIS presumably assumes a spheroid planet; what if I'm tracking objects in interplanetary space? Are there any DB plugins (accessible outside of national space agencies) that can do that?
That would require arbitrary telemetry and possibly non-deterministic solution, or something like SPICE(https://naif.jpl.nasa.gov/naif/toolkit.html) which is a bit too far outside of 'database' ___domain.
Proper motion is rather slow. Fortunately astronomy can take measurements across the centuries.
"Proper motion was suspected by early astronomers (according to Macrobius, AD 400) but a proof was not provided until 1718 by Edmund Halley, who noticed that Sirius, Arcturus and Aldebaran were over half a degree away from the positions charted by the ancient Greek astronomer Hipparchus roughly 1850 years earlier."