Question: "All I Want for Christmas is You" is a Christmas song by Mariah Carey, which is the lead single from an album that contains a contemporary holiday theme, and was released by who?

Context paragraphs:
Auld Lang Syne (The New Year's Anthem): "Auld Lang Syne (The New Year's Anthem)" is a song by American singer and songwriter Mariah Carey from her second Christmas album/thirteenth studio album, "Merry Christmas II You" (2010).  The second single from the album, an extended play consisting of nine remixes was released by Island on December 14, 2010.  Using the public domain poem "Auld Lang Syne" by Robert Burns, Carey along with Randy Jackson and Johnny "Sev" Severin (of RedOne) composed a new arrangement and re-titled it.  The track garnered a negative response from critics, all of whom disliked how Carey had re-composed the poem into a house music song.  An accompanying music video was released featuring a pregnant Carey singing in front of a background of exploding fireworks.  "Auld Lang Syne (The New Year's Anthem)" charted on the lower regions of the South Korean international singles charts and at number nine on the US Holiday Digital Songs chart.

Oh Santa!: "Oh Santa!"  is a song by American singer and songwriter Mariah Carey from her second Christmas album/thirteenth studio album, "Merry Christmas II You" (2010).  Carey wrote and produced the song in collaboration with Jermaine Dupri and Bryan-Michael Cox.  It was released as the lead single from the album.  It is an up-tempo R&B song about Carey making a plea for Santa Claus to bring back her partner in time for the Christmas holidays.  Instrumentation of sleigh bells, jingle bells and hand claps.  It received a positive response from music critics, with many praising its composition and style.

I Don't Wanna Cry: "I Don't Wanna Cry" is a song written by Mariah Carey and Narada Michael Walden, and produced by Walden for Carey's debut album, "Mariah Carey" (1990).  The ballad was released as the album's fourth single in the second quarter of 1991.  It became another U.S. number one single for Carey.  Like the previous singles released from "Mariah Carey", the song received a BMI Pop Award.

Merry Christmas (Mariah Carey album): Merry Christmas is the first Christmas album, and the fourth studio album, by American singer and songwriter Mariah Carey.  Released by Columbia Records on November 1, 1994, the album features cover versions of popular Christmas tunes and original material.  Carey worked with Walter Afanasieff, with whom she wrote all of the original tracks, as well as producing Carey's interpretations of the covered material.  The album contains a contemporary holiday theme, and featured "authentic, gospel flavored background vocals".  Three singles were released from the album, of which "All I Want for Christmas Is You" went on to become one of the best-selling singles of all time.

Christmas Time Is in the Air Again: "Christmas Time is in the Air Again" is a song by American singer and songwriter Mariah Carey from her second Christmas album and thirteenth studio album, "Merry Christmas II You" (2010).  It was written and produced by Carey in collaboration with Broadway composer Marc Shaiman.  Lyrically, it is about finding love during the Christmas season.  The track garnered positive reviews from critics, with one describing it as an outstanding performance and the only song on the album that could compare to one of Carey's previous Christmas singles, "All I Want for Christmas Is You".  It was released as a single in December 2012.  An accompanying lyric video was released, and Carey has performed "Christmas Time Is in the Air Again" live on NBC's "Christmas in Rockefeller Centre" event and during her December 2014 Beacon Theatre residency called All I Want For Christmas Is You, A Night of Joy & Festivity.

Do You Want to Build a Snowman?: "Do You Want to Build a Snowman?"  is a song from the 2013 Disney animated feature film "Frozen", with music and lyrics composed by Kristen Anderson-Lopez and Robert Lopez.  As of November 25, 2016, the total sales of the digital track stands at 1,600,000 downloads according to Nielsen SoundScan, placing it second on the list of all-time best-selling Christmas/holiday digital singles in SoundScan history (behind Mariah Carey's 1994 hit single, "All I Want for Christmas Is You").

All I Want for Christmas Is You: "All I Want for Christmas Is You" is a Christmas song performed by American singer and songwriter Mariah Carey.  She wrote and produced the song with Walter Afanasieff.  Columbia Records released it on November 1, 1994, as the lead single from her first holiday album and fourth studio album, "Merry Christmas".  "Christmas" is an uptempo love song that includes bell chimes and heavy back-up vocals, as well as use of synthesizers.

Beautiful (Mariah Carey song): "#Beautiful" is a song recorded by American singers Mariah Carey and Miguel.  It was released as the lead single from Carey's fourteenth studio album, "Me.  I Am Mariah... The Elusive Chanteuse" (2014). " #Beautiful" was written by Carey, Miguel, Nathan Perez, Brooke Davis, Mac Robinson, and Brian Keith Warfield, with Carey, Miguel and Perez producing the song.  Released on May 6, 2013, Carey and Miguel did not reveal that they had collaborated on the song, until April 25, 2013, when Carey revealed the title in a 25-second teaser video during season twelve of "American Idol".  It was also on "Idol", on May 9, that Carey premiered the official music video for "#Beautiful", before uploading an alternative edit to her VEVO account, that is set to the explicit version of the song.

When Christmas Comes: "When Christmas Comes" is a song by American singer and songwriter Mariah Carey from her second Christmas album/thirteenth studio album, "Merry Christmas II You" (2010).  Carey wrote and produced the song in collaboration with James Poyser.  A soul song with an influence of R&B, the lyrics are about giving the gift of love.  In November 2011, Carey re-recorded the song as duet with John Legend, which was later released as a single.  Both versions of the track were a hit in South Korea, with the duet debuting at number one with sales in excess of 80,000 copies.  The song's accompanying music video features Carey and Legend at a hosting a Christmas house party.  It has been performed by Carey at her ABC 2010 Christmas special and during her 2014 Beacon Theatre residency All I Want for Christmas Is You, A Night of Joy and Festivity in December 2014.

Mariah Carey (album): Mariah Carey is the debut studio album by American singer and songwriter Mariah Carey, released on June 12, 1990 by Columbia Records.  Its music incorporates a range of contemporary genres with a mix of slow ballads and dance tracks.  Originally, Carey wrote four songs with Ben Margulies, which solely constituted her demo tape.  While altered and partially re-sung after being signed to Columbia, all four songs made the final cut for the album.  Aside from Margulies, Carey worked with a range of professional writers and producers, all of whom were hired by Columbia CEO, Tommy Mottola.  "Mariah Carey" featured production and writing from Rhett Lawrence, Ric Wake and Narada Michael Walden, all of whom were top record producers at the time.  Together with Carey, they conceived the album and reconstructed her original demo tape.

Supporting paragraphs: All I Want for Christmas Is You Merry Christmas (Mariah Carey album)
Answer: Columbia Records