試用關(guān)系邏輯的規(guī)則來(lái)定義下列查詢語(yǔ)句: ①檢索LIU老師所授課程的課程號(hào)和課程名。 ②檢索年齡大于23歲的男學(xué)生的學(xué)號(hào)和姓名。 ③檢索學(xué)號(hào)為S3學(xué)生所學(xué)課程的課程名與任課教師名。 ④檢索至少選修LIU老師所授課程中一門(mén)課的女學(xué)生姓名。 ⑤檢索WANG同學(xué)不學(xué)的課程的課程號(hào)。 ⑥檢索至少選修兩門(mén)課的學(xué)生學(xué)號(hào)。 ⑦檢索全部學(xué)生都選修的課程的課程號(hào)與課程名。 ⑧檢索選修課程包含LIU老師所授全部課程的學(xué)生學(xué)號(hào)。
對(duì)下列每個(gè)規(guī)則,寫(xiě)出關(guān)系代數(shù)表達(dá)式來(lái)定義與規(guī)則頭部相同的關(guān)系: