<strong id="f5y9f"><pre id="f5y9f"></pre></strong>

名詞解釋

無窮驗(yàn)證

答案：

在驗(yàn)證公式時(shí)需對(duì)無窮多個(gè)元組進(jìn)行驗(yàn)證就是無窮驗(yàn)證。

你可能感興趣的試題

無限關(guān)系

答案：

當(dāng)一個(gè)關(guān)系中存在無窮多個(gè)元組時(shí)，此關(guān)系為無限關(guān)系。

非過程性語言

答案：

編程時(shí)只須指出需要什么信息，不必給出具體的操作步驟。各種關(guān)系查詢語言均屬于非過程性語言。