which star has a luminosity of 8.05?
(AND astronomy.star (JOIN astronomy.star.luminosity 8.05^^http://www.w3.org/2001/XMLSchema#float))