檢索是指從已儲存的信息庫中索取、找出所需要的信息的過程。檢索變元是指檢索程式或函式中變數的名稱、類型及數量。檢索變元在很多方面都有套用，例如電腦程式在進入記憶體運行之前，系統一般會先檢索程式中變元，然後根據變元的相關屬性分配記憶體。
基本介紹
- 中文名：檢索變元
- 外文名：search argument
- 學科：計算機
- 定義：檢索程式變數的名稱、類型及數量
- 有關術語：變元
- 領域：計算機系統
簡介,變元,關係演算,概述,元組演算,信息檢索,
簡介
檢索變元是指檢索程式或函式中變數的名稱、類型及數量。檢索變元在很多方面都有套用，例如在程式記憶體大小的分配和資料庫關係演算中都有用到檢索變元，檢索變元可以發現變元之間存在關係，編譯分析和理解。檢索變元也是一種信息檢索。
變元
數學語言中可以表示各種具體內容的符號。使用變元是數學語言同自然語言的本質區別之一。由於使用了各種變元，數學語言能夠很好地表示一般規律，從而數學語言可以表示形式，在這個形式中可以填進各種內容。這些形式從個別的、具體的內容中抽出來，保留了關於整個事物或關係的共同的東西。變元的採用，使得數學語言在暫時不被顧及語義的情況下，僅作為形式被研究，但它又隨時可以被賦予豐富的語義。這樣，既收到了純形式運演之利，又保持了數學的實際套用價值。變元和它的值之間的聯繫，就是語言和它所表示的東西之間的聯繫。
關係演算
概述
關係演算包括元組關係演算和域關係演算，是資料庫的關係模型的一部分，提供了查詢資料庫的聲明性方式。關係演算與關係模型中的關係代數相反，因為關係代數提供的是查詢資料庫的過程性方式。關係代數和關係演算是邏輯等價的：對於任何代數表達式，都有一個等價的演算表達式，反之亦然。
元組演算
元組演算是埃德加·科德導入的演算，是關係模型的一部分，發展目的是提供宣告式的資料庫查詢語言。資料庫查詢語言QUEL和後來的SQL中的一些靈感是由元組演算而來。SQL和原來的關係模型和演算已有許多不同，後來成為實際上的資料庫查詢語言標準，幾乎所有的關係資料庫管理系統中都會用到SQL或是其變體。後來Lacroix和Pirotte提出了接近於一階邏輯的域演算，並證明了這兩種演算和關係代數在表達能力上是等價的。若關係資料庫的查詢語言可以表達一種以上上述的查詢方式，則可稱為具有“關係完備性”。
域關係演算與元組關係演算最大的區別是域關係演算中的變數表示資料庫的表屬性，而元組關係演算的變數表示元組，即資料庫的一行。
信息檢索
信息檢索（Information Retrieval）是用戶進行信息查詢和獲取的主要方式，是查找信息的方法和手段。狹義的信息檢索僅指信息查詢（Information Search）。即用戶根據需要，採用一定的方法，藉助檢索工具，從信息集合中找出所需要信息的查找過程。廣義的信息檢索是信息按一定的方式進行加工、整理、組織部存儲起來，再根據信息用戶特定的需要將相關信息準確的查找出來的過程。又稱信息的存儲於檢索。一般情況下，信息檢索指的就是廣義的信息檢索。當用戶向系統輸入查詢時，信息檢索過程開始。查詢是信息需求的正式聲明，例如在Web搜尋引擎中的搜尋字元串。在信息檢索中，查詢不會唯一地標識集合中的單個對象。相反可以有不止一個對象匹配查詢，它們可能具有不同程度的相關性。
