image

概述
SQL是強(qiáng)類型語(yǔ)言养匈。也就是說(shuō)秋度，每個(gè)數(shù)據(jù)都與一個(gè)決定其行為和用法的數(shù)據(jù)類型相關(guān)聯(lián)芍秆。OushuDB 有一個(gè)可擴(kuò)展的數(shù)據(jù)類型系統(tǒng)惯疙， 該系統(tǒng)比其它SQL實(shí)現(xiàn)更具通用性和靈活性翠勉。因此，OushuDB 中大多數(shù)類型轉(zhuǎn)換是由通用規(guī)則來(lái)管理的霉颠， 而不是由專門的試探法分析的对碌，這種做法允許使用混合類型的表達(dá)式， 即便是其中包含用戶定義的類型也如此蒿偎。
OushuDB 掃描/分析器只將詞法元素分解成五個(gè)基本種類： 整數(shù)朽们、浮點(diǎn)數(shù)、字符串酥郭、標(biāo)識(shí)符华坦、關(guān)鍵字。大多數(shù)非數(shù)字類型首先表征為字符串不从，SQL 語(yǔ)言定義允許聲明字符串的類型名惜姐，而且這種機(jī)制可以用于OushuDB 保證分析器沿著正確的方向運(yùn)行。例如椿息，查詢：
SELECT text 'Origin' AS "label", point '(0,0)' AS "value";label | value--------+-------Origin | (0,0)(1 row)
有兩個(gè)文本常量歹袁，類型分別為text和point。 如果沒有為字符串文本聲明類型寝优，該文本先被初始化成一個(gè)擁有存儲(chǔ)空間的 unknown類型条舔，該類型將在后面描述的晚期階段分析。
在OushuDB 分析器里乏矾， 有四種基本的SQL元素需要獨(dú)立的類型轉(zhuǎn)換規(guī)則：
函數(shù)調(diào)用
多數(shù)OushuDB 類型系統(tǒng)是建立在一套豐富的函數(shù)上的孟抗。函數(shù)調(diào)用可以有一個(gè)或多個(gè)參數(shù)。因?yàn)镺ushuDB 允許函數(shù)重載钻心， 所以函數(shù)名自身并不唯一地標(biāo)識(shí)將要調(diào)用的函數(shù)凄硼， 分析器必須根據(jù)函數(shù)提供的參數(shù)類型選擇正確的函數(shù)。
操作符
OushuDB 允許在表達(dá)式上使用前綴或后綴(單目)操作符捷沸， 也允許表達(dá)式內(nèi)部使用雙目操作符(兩個(gè)參數(shù))摊沉。像函數(shù)一樣，操作符也可以被重載痒给， 因此操作符的選擇也和函數(shù)一樣取決于參數(shù)類型说墨。
值存儲(chǔ)
INSERT和UPDATE語(yǔ)句將表達(dá)式結(jié)果放入表中。 語(yǔ)句中的表達(dá)式類型必須和目標(biāo)列的類型一致或者可以轉(zhuǎn)換為一致苍柏。
UNION, CASE和相關(guān)構(gòu)造
因?yàn)槁?lián)合SELECT語(yǔ)句中的所有查詢結(jié)果必須在一列里顯示出來(lái)尼斧， 所以每個(gè)SELECT子句中的元素類型必須相互匹配并轉(zhuǎn)換成一套統(tǒng)一類型。 類似地试吁，一個(gè)CASE構(gòu)造的結(jié)果表達(dá)式必須轉(zhuǎn)換成統(tǒng)一的類型突颊， 這樣CASE表達(dá)式自身作為整體有一種已知輸出類型。 同樣的要求也存在于ARRAY構(gòu)造中。
系統(tǒng)表casts存儲(chǔ)有關(guān)哪種數(shù)據(jù)類型之間存在哪種轉(zhuǎn)換以及如何執(zhí)行這些轉(zhuǎn)換的信息律秃。額外的轉(zhuǎn)換可以由用戶通過(guò)CREATE CAST命令增加爬橡。(這個(gè)通常和定義一種新的數(shù)據(jù)類型一起完成。內(nèi)置的類型轉(zhuǎn)換集已經(jīng)經(jīng)過(guò)仔細(xì)的雕琢了棒动， 因此最好不要去更改它們糙申。)
分析器中還提供了一個(gè)額外的搜索器，允許提高對(duì)有隱含轉(zhuǎn)換的類型組之間的適當(dāng)?shù)霓D(zhuǎn)換行為的決斷船惨。數(shù)據(jù)類型分成了幾個(gè)基本 類型分類 柜裸，包括：boolean, numeric, string, bitstring, datetime, timespan, geometric, network, user-defined(用戶定義)。每種類型(除用戶定義)都有一種或多種 首選類型 用于解決類型選擇的問題粱锐。因此歧義的表達(dá)式（那些有多個(gè)候選解析方案的）當(dāng)有多個(gè)內(nèi)置類型時(shí)可以解決疙挺，但是用戶定義的類型有多個(gè)選擇時(shí)會(huì)產(chǎn)生錯(cuò)誤。
所有類型轉(zhuǎn)換規(guī)則都是建立在下面幾個(gè)基本原則上的：
● 隱含轉(zhuǎn)換決不能有奇怪的或不可預(yù)見的輸出怜浅。
● 解析器沒有 先驗(yàn) 知識(shí)的用戶定義類型應(yīng)該是 “較高的” 類型等級(jí)铐然。在混合類型表達(dá)式中，本地類型總應(yīng)該轉(zhuǎn)換為用戶定義的類型(當(dāng)然恶座，只要轉(zhuǎn)換是必要的)搀暑。
● 用戶定義的類型是不相關(guān)的。現(xiàn)在跨琳，除了內(nèi)置類型的硬編碼啟發(fā)式和可用函數(shù)和轉(zhuǎn)換的隱式關(guān)系外自点，OushuDB 沒有類型之間關(guān)系的可用信息。
● 如果一個(gè)查詢不需要隱含的類型轉(zhuǎn)換脉让，分析器或執(zhí)行器不應(yīng)該進(jìn)行更多的額外操作桂敛。 這就是說(shuō)贷痪，任何一個(gè)類型匹配娶聘、格式清晰的查詢不應(yīng)該在分析器里耗費(fèi)更多的時(shí)間， 也不應(yīng)該向查詢中引入任何不必要的隱含類型轉(zhuǎn)換調(diào)用奸笤。
另外伟恶，如果一個(gè)查詢通常使用某個(gè)函數(shù)進(jìn)行隱含類型轉(zhuǎn)換，而用戶定義了一個(gè)有正確參數(shù)的函數(shù)毅该， 解釋器應(yīng)該使用新函數(shù)取代原先舊函數(shù)的隱含操作博秫。