what star system is alpha coronae borealis a in?
(AND astronomy.star_system (JOIN astronomy.star_system.stars m.0kkr1b9))