Al原生数据库与RAG 张颖峰 英飞流（上海）信息科技有限公司 创始人 目 录 RAG技术实践 01 Infinity系统架构 02 RAG技术实践 第一部分 基于向量数据库的RAG解决方案 文档 文本块 向量 VectorDB Embedding 向量相似度 提问 答案 查询 结果 文本切分 相关文本块 提示词 提示词模版 对话机器人 搜索 推荐

b i l i t y . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 E x p e r i m e n t al f e at u r e s . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Ac k n ow l e d gm e n t s 7 1. 1 Not at i on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1. 2 Le x i c al gr am m ar . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1. 2. 1 W h i t e s p ac e an d 2. 2 K e y w or d s an d op e r at or s . . . . . . . . . . . . . . . . . . . 8 1. 2. 3 Li t e r al s . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1. 2. 4 I d e n t i fi e r s . . . .

s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 61 3 Th e E ff e c t s Tu t or i al 66 4 Th e or e m P r ov i n g 98 5 L an gu age R e f e r e n c e 109 6 Tu t or i al s on t h e t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f i c d om ai n /z e r o/1. 0/ 1 C H A P T E R 1 T h e I d r i s T u t or i al T h i s i s t h e I d r i s T u t or i al . I t w i l l t e ac h y ou ab ou t p r ogr am m i n g i n t h e I d r i s Lan

or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 67 3 I m p l e m e n t i n g S t at e - aw ar e S y s t e m s i n I d r i s : Th e S T Tu t or i al 73 4 Th e E ff e c t s Tu t or i al 108 108 5 Th e or e m P r ov i n g 142 6 L an gu age R e f e r e n c e 153 7 Tu t or i al s on t h e I d r i s L an gu age 221 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f

or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 66 3 I m p l e m e n t i n g S t at e - aw ar e S y s t e m s i n I d r i s : Th e S T Tu t or i al 71 4 Th e E ff e c t s Tu t or i al 106 106 5 Th e or e m P r ov i n g 140 6 L an gu age R e f e r e n c e 151 7 Tu t or i al s on t h e I d r i s L an gu age 219 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f

or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 67 3 I m p l e m e n t i n g S t at e - aw ar e S y s t e m s i n I d r i s : Th e S T Tu t or i al 72 4 Th e E ff e c t s Tu t or i al 107 107 5 Th e or e m P r ov i n g 141 6 L an gu age R e f e r e n c e 152 7 Tu t or i al s on t h e I d r i s L an gu age 220 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f

or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 63 3 I m p l e m e n t i n g S t at e - aw ar e S y s t e m s i n I d r i s : Th e S T Tu t or i al 68 4 Th e E ff e c t s Tu t or i al 103 103 5 Th e or e m P r ov i n g 137 6 L an gu age R e f e r e n c e 148 7 Tu t or i al s on t h e I d r i s L an gu age 215 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f

or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 62 3 I m p l e m e n t i n g S t at e - aw ar e S y s t e m s i n I d r i s : Th e S T Tu t or i al 67 4 Th e E ff e c t s Tu t or i al 102 102 5 Th e or e m P r ov i n g 136 6 L an gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 214 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f

or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 62 3 I m p l e m e n t i n g S t at e - aw ar e S y s t e m s i n I d r i s : Th e S T Tu t or i al 67 4 Th e E ff e c t s Tu t or i al 102 102 5 Th e or e m P r ov i n g 136 6 L an gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 214 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s t h e e x t e n t p os s i b l e u n d e r l aw , T h e I d r i s C o m m u n i t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f