試用關(guān)系邏輯的規(guī)則來定義下列查詢語句：
①檢索LIU老師所授課程的課程號(hào)和課程名。
②檢索年齡大于23歲的男學(xué)生的學(xué)號(hào)和姓名。
③檢索學(xué)號(hào)為S3學(xué)生所學(xué)課程的課程名與任課教師名。
④檢索至少選修LIU老師所授課程中一門課的女學(xué)生姓名。
⑤檢索WANG同學(xué)不學(xué)的課程的課程號(hào)。
⑥檢索至少選修兩門課的學(xué)生學(xué)號(hào)。
⑦檢索全部學(xué)生都選修的課程的課程號(hào)與課程名。
⑧檢索選修課程包含LIU老師所授全部課程的學(xué)生學(xué)號(hào)。

對下列每個(gè)規(guī)則，寫出關(guān)系代數(shù)表達(dá)式來定義與規(guī)則頭部相同的關(guān)系：

假設(shè)R（A，B，C），S（B，C，D）和T（D，E）為三個(gè)關(guān)系。對每個(gè)自然聯(lián)接寫出單一的規(guī)則：

假設(shè)R（X，Y，Z）為一個(gè)關(guān)系，試寫出下列關(guān)系代數(shù)表達(dá)式σ_F（R）的關(guān)系邏輯規(guī)則。其中F為以下條件：

假設(shè)R（A，B，C），S（A，B，C）和T（A，B，C）為三個(gè)關(guān)系。試對下列關(guān)系代數(shù)表達(dá)式寫出關(guān)系邏輯的規(guī)則或規(guī)則集：