Fair Value Measurements - Additional Information (Detail) (USD $) In Millions, unless otherwise specified	3 Months Ended	9 Months Ended
Feb. 28, 2013	Feb. 29, 2012	Feb. 28, 2013	Feb. 29, 2012	May 31, 2012
Fair Value, Measurement Inputs, Disclosure [Line Items]
Available-for-sale securities with maturity dates within one year from purchase date	$ 1,199		$ 1,199		$ 1,129
Available-for-sale securities with maturity dates over one year and less than five years from purchase date	286		286		311
Interest income related to cash and equivalents and short-term investments	6	7	20	22
Fair value of long term debt	$ 223		$ 223		$ 283

Amount of available-for-sale debt securities at fair value maturing in the second fiscal year through the fifth fiscal year following the latest fiscal year.

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 942

-SubTopic 320

-Section 50

-Paragraph 3

-Subparagraph (b)

-URI http://asc.fasb.org/extlink&oid=6957658&loc=d3e62586-112803

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (d)

-URI http://asc.fasb.org/extlink&oid=6872113&loc=d3e27161-111563

Reference 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 20

-Subparagraph b

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesAfterOneThroughFiveYearsFairValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant