blob: d7f88f701610462a1c0ff4e6a89007809083ada5 [file] [log] [blame]
drhcce7d172000-05-31 15:34:51 +00001/*
drhb19a2bc2001-09-16 00:13:26 +00002** 2001 September 15
drhcce7d172000-05-31 15:34:51 +00003**
drhb19a2bc2001-09-16 00:13:26 +00004** The author disclaims copyright to this source code. In place of
5** a legal notice, here is a blessing:
drhcce7d172000-05-31 15:34:51 +00006**
drhb19a2bc2001-09-16 00:13:26 +00007** May you do good and not evil.
8** May you find forgiveness for yourself and forgive others.
9** May you share freely, never taking more than you give.
drhcce7d172000-05-31 15:34:51 +000010**
11*************************************************************************
12** This file contains C code routines that are called by the parser
drhb19a2bc2001-09-16 00:13:26 +000013** to handle SELECT statements in SQLite.
drhcce7d172000-05-31 15:34:51 +000014**
drh1cc3d752002-03-23 00:31:29 +000015** $Id: select.c,v 1.77 2002/03/23 00:31:29 drh Exp $
drhcce7d172000-05-31 15:34:51 +000016*/
17#include "sqliteInt.h"
18
drhcce7d172000-05-31 15:34:51 +000019/*
drh9bb61fe2000-06-05 16:01:39 +000020** Allocate a new Select structure and return a pointer to that
21** structure.
drhcce7d172000-05-31 15:34:51 +000022*/
drh9bb61fe2000-06-05 16:01:39 +000023Select *sqliteSelectNew(
drhdaffd0e2001-04-11 14:28:42 +000024 ExprList *pEList, /* which columns to include in the result */
25 IdList *pSrc, /* the FROM clause -- which tables to scan */
26 Expr *pWhere, /* the WHERE clause */
27 ExprList *pGroupBy, /* the GROUP BY clause */
28 Expr *pHaving, /* the HAVING clause */
29 ExprList *pOrderBy, /* the ORDER BY clause */
drh9bbca4c2001-11-06 04:00:18 +000030 int isDistinct, /* true if the DISTINCT keyword is present */
31 int nLimit, /* LIMIT value. -1 means not used */
32 int nOffset /* OFFSET value. -1 means not used */
drh9bb61fe2000-06-05 16:01:39 +000033){
34 Select *pNew;
35 pNew = sqliteMalloc( sizeof(*pNew) );
drhdaffd0e2001-04-11 14:28:42 +000036 if( pNew==0 ){
37 sqliteExprListDelete(pEList);
38 sqliteIdListDelete(pSrc);
39 sqliteExprDelete(pWhere);
40 sqliteExprListDelete(pGroupBy);
41 sqliteExprDelete(pHaving);
42 sqliteExprListDelete(pOrderBy);
43 }else{
44 pNew->pEList = pEList;
45 pNew->pSrc = pSrc;
46 pNew->pWhere = pWhere;
47 pNew->pGroupBy = pGroupBy;
48 pNew->pHaving = pHaving;
49 pNew->pOrderBy = pOrderBy;
50 pNew->isDistinct = isDistinct;
51 pNew->op = TK_SELECT;
drh9bbca4c2001-11-06 04:00:18 +000052 pNew->nLimit = nLimit;
53 pNew->nOffset = nOffset;
drhdaffd0e2001-04-11 14:28:42 +000054 }
drh9bb61fe2000-06-05 16:01:39 +000055 return pNew;
56}
57
58/*
59** Delete the given Select structure and all of its substructures.
60*/
61void sqliteSelectDelete(Select *p){
drh82c3d632000-06-06 21:56:07 +000062 if( p==0 ) return;
drh9bb61fe2000-06-05 16:01:39 +000063 sqliteExprListDelete(p->pEList);
64 sqliteIdListDelete(p->pSrc);
65 sqliteExprDelete(p->pWhere);
66 sqliteExprListDelete(p->pGroupBy);
67 sqliteExprDelete(p->pHaving);
68 sqliteExprListDelete(p->pOrderBy);
drh82c3d632000-06-06 21:56:07 +000069 sqliteSelectDelete(p->pPrior);
drha76b5df2002-02-23 02:32:10 +000070 sqliteFree(p->zSelect);
drh9bb61fe2000-06-05 16:01:39 +000071 sqliteFree(p);
72}
73
74/*
drh22827922000-06-06 17:27:05 +000075** Delete the aggregate information from the parse structure.
76*/
drh1d83f052002-02-17 00:30:36 +000077static void sqliteAggregateInfoReset(Parse *pParse){
drh22827922000-06-06 17:27:05 +000078 sqliteFree(pParse->aAgg);
79 pParse->aAgg = 0;
80 pParse->nAgg = 0;
drh22827922000-06-06 17:27:05 +000081 pParse->useAgg = 0;
82}
83
84/*
85** This routine generates the code for the inside of the inner loop
86** of a SELECT.
drh82c3d632000-06-06 21:56:07 +000087**
88** The pEList is used to determine the values for each column in the
drh967e8b72000-06-21 13:59:10 +000089** result row. Except if pEList==NULL, then we just read nColumn
drh82c3d632000-06-06 21:56:07 +000090** elements from the srcTab table.
drh22827922000-06-06 17:27:05 +000091*/
92static int selectInnerLoop(
93 Parse *pParse, /* The parser context */
94 ExprList *pEList, /* List of values being extracted */
drh82c3d632000-06-06 21:56:07 +000095 int srcTab, /* Pull data from this table */
drh967e8b72000-06-21 13:59:10 +000096 int nColumn, /* Number of columns in the source table */
drh22827922000-06-06 17:27:05 +000097 ExprList *pOrderBy, /* If not NULL, sort results using this key */
98 int distinct, /* If >=0, make sure results are distinct */
99 int eDest, /* How to dispose of the results */
100 int iParm, /* An argument to the disposal method */
101 int iContinue, /* Jump here to continue with next row */
102 int iBreak /* Jump here to break out of the inner loop */
103){
104 Vdbe *v = pParse->pVdbe;
105 int i;
drhdaffd0e2001-04-11 14:28:42 +0000106 if( v==0 ) return 0;
drh22827922000-06-06 17:27:05 +0000107
drh967e8b72000-06-21 13:59:10 +0000108 /* Pull the requested columns.
drh22827922000-06-06 17:27:05 +0000109 */
drh82c3d632000-06-06 21:56:07 +0000110 if( pEList ){
111 for(i=0; i<pEList->nExpr; i++){
112 sqliteExprCode(pParse, pEList->a[i].pExpr);
113 }
drh967e8b72000-06-21 13:59:10 +0000114 nColumn = pEList->nExpr;
drh82c3d632000-06-06 21:56:07 +0000115 }else{
drh967e8b72000-06-21 13:59:10 +0000116 for(i=0; i<nColumn; i++){
drh99fcd712001-10-13 01:06:47 +0000117 sqliteVdbeAddOp(v, OP_Column, srcTab, i);
drh82c3d632000-06-06 21:56:07 +0000118 }
drh22827922000-06-06 17:27:05 +0000119 }
120
drhdaffd0e2001-04-11 14:28:42 +0000121 /* If the DISTINCT keyword was present on the SELECT statement
122 ** and this row has been seen before, then do not make this row
123 ** part of the result.
drh22827922000-06-06 17:27:05 +0000124 */
125 if( distinct>=0 ){
126 int lbl = sqliteVdbeMakeLabel(v);
drh99fcd712001-10-13 01:06:47 +0000127 sqliteVdbeAddOp(v, OP_MakeKey, pEList->nExpr, 1);
128 sqliteVdbeAddOp(v, OP_Distinct, distinct, lbl);
129 sqliteVdbeAddOp(v, OP_Pop, pEList->nExpr+1, 0);
130 sqliteVdbeAddOp(v, OP_Goto, 0, iContinue);
131 sqliteVdbeResolveLabel(v, lbl);
132 sqliteVdbeAddOp(v, OP_String, 0, 0);
drh6b125452002-01-28 15:53:03 +0000133 sqliteVdbeAddOp(v, OP_PutStrKey, distinct, 0);
drh22827922000-06-06 17:27:05 +0000134 }
drh82c3d632000-06-06 21:56:07 +0000135
drh22827922000-06-06 17:27:05 +0000136 /* If there is an ORDER BY clause, then store the results
137 ** in a sorter.
138 */
139 if( pOrderBy ){
140 char *zSortOrder;
drh99fcd712001-10-13 01:06:47 +0000141 sqliteVdbeAddOp(v, OP_SortMakeRec, nColumn, 0);
drh22827922000-06-06 17:27:05 +0000142 zSortOrder = sqliteMalloc( pOrderBy->nExpr + 1 );
143 if( zSortOrder==0 ) return 1;
144 for(i=0; i<pOrderBy->nExpr; i++){
drhd8bc7082000-06-07 23:51:50 +0000145 zSortOrder[i] = pOrderBy->a[i].sortOrder ? '-' : '+';
drh22827922000-06-06 17:27:05 +0000146 sqliteExprCode(pParse, pOrderBy->a[i].pExpr);
147 }
148 zSortOrder[pOrderBy->nExpr] = 0;
drh99fcd712001-10-13 01:06:47 +0000149 sqliteVdbeAddOp(v, OP_SortMakeKey, pOrderBy->nExpr, 0);
150 sqliteVdbeChangeP3(v, -1, zSortOrder, strlen(zSortOrder));
drh6e142f52000-06-08 13:36:40 +0000151 sqliteFree(zSortOrder);
drh99fcd712001-10-13 01:06:47 +0000152 sqliteVdbeAddOp(v, OP_SortPut, 0, 0);
drh22827922000-06-06 17:27:05 +0000153 }else
154
drh82c3d632000-06-06 21:56:07 +0000155 /* In this mode, write each query result to the key of the temporary
156 ** table iParm.
drh22827922000-06-06 17:27:05 +0000157 */
drh82c3d632000-06-06 21:56:07 +0000158 if( eDest==SRT_Union ){
drh99fcd712001-10-13 01:06:47 +0000159 sqliteVdbeAddOp(v, OP_MakeRecord, nColumn, 0);
160 sqliteVdbeAddOp(v, OP_String, iParm, 0);
drh6b125452002-01-28 15:53:03 +0000161 sqliteVdbeAddOp(v, OP_PutStrKey, iParm, 0);
drh82c3d632000-06-06 21:56:07 +0000162 }else
163
drh5974a302000-06-07 14:42:26 +0000164 /* Store the result as data using a unique key.
165 */
drh2d0794e2002-03-03 03:03:52 +0000166 if( eDest==SRT_Table || eDest==SRT_TempTable ){
drh99fcd712001-10-13 01:06:47 +0000167 sqliteVdbeAddOp(v, OP_MakeRecord, nColumn, 0);
168 sqliteVdbeAddOp(v, OP_NewRecno, iParm, 0);
169 sqliteVdbeAddOp(v, OP_Pull, 1, 0);
drh6b125452002-01-28 15:53:03 +0000170 sqliteVdbeAddOp(v, OP_PutIntKey, iParm, 0);
drh5974a302000-06-07 14:42:26 +0000171 }else
172
drh82c3d632000-06-06 21:56:07 +0000173 /* Construct a record from the query result, but instead of
174 ** saving that record, use it as a key to delete elements from
175 ** the temporary table iParm.
176 */
177 if( eDest==SRT_Except ){
drh99fcd712001-10-13 01:06:47 +0000178 int addr = sqliteVdbeAddOp(v, OP_MakeRecord, nColumn, 0);
179 sqliteVdbeAddOp(v, OP_NotFound, iParm, addr+3);
180 sqliteVdbeAddOp(v, OP_Delete, iParm, 0);
drh22827922000-06-06 17:27:05 +0000181 }else
182
183 /* If we are creating a set for an "expr IN (SELECT ...)" construct,
184 ** then there should be a single item on the stack. Write this
185 ** item into the set table with bogus data.
186 */
187 if( eDest==SRT_Set ){
drh967e8b72000-06-21 13:59:10 +0000188 assert( nColumn==1 );
drh99fcd712001-10-13 01:06:47 +0000189 sqliteVdbeAddOp(v, OP_String, 0, 0);
drh6b125452002-01-28 15:53:03 +0000190 sqliteVdbeAddOp(v, OP_PutStrKey, iParm, 0);
drh22827922000-06-06 17:27:05 +0000191 }else
192
drh82c3d632000-06-06 21:56:07 +0000193
drh22827922000-06-06 17:27:05 +0000194 /* If this is a scalar select that is part of an expression, then
195 ** store the results in the appropriate memory cell and break out
196 ** of the scan loop.
197 */
198 if( eDest==SRT_Mem ){
drh967e8b72000-06-21 13:59:10 +0000199 assert( nColumn==1 );
drh8721ce42001-11-07 14:22:00 +0000200 sqliteVdbeAddOp(v, OP_MemStore, iParm, 1);
drh99fcd712001-10-13 01:06:47 +0000201 sqliteVdbeAddOp(v, OP_Goto, 0, iBreak);
drh22827922000-06-06 17:27:05 +0000202 }else
203
204 /* If none of the above, send the data to the callback function.
205 */
206 {
drh9bbca4c2001-11-06 04:00:18 +0000207 sqliteVdbeAddOp(v, OP_Callback, nColumn, iBreak);
drh82c3d632000-06-06 21:56:07 +0000208 }
209 return 0;
210}
211
212/*
drhd8bc7082000-06-07 23:51:50 +0000213** If the inner loop was generated using a non-null pOrderBy argument,
214** then the results were placed in a sorter. After the loop is terminated
215** we need to run the sorter and output the results. The following
216** routine generates the code needed to do that.
217*/
drh967e8b72000-06-21 13:59:10 +0000218static void generateSortTail(Vdbe *v, int nColumn){
drhd8bc7082000-06-07 23:51:50 +0000219 int end = sqliteVdbeMakeLabel(v);
220 int addr;
drh99fcd712001-10-13 01:06:47 +0000221 sqliteVdbeAddOp(v, OP_Sort, 0, 0);
222 addr = sqliteVdbeAddOp(v, OP_SortNext, 0, end);
drh9bbca4c2001-11-06 04:00:18 +0000223 sqliteVdbeAddOp(v, OP_SortCallback, nColumn, end);
drh99fcd712001-10-13 01:06:47 +0000224 sqliteVdbeAddOp(v, OP_Goto, 0, addr);
225 sqliteVdbeResolveLabel(v, end);
drha8b38d22001-11-01 14:41:34 +0000226 sqliteVdbeAddOp(v, OP_SortReset, 0, 0);
drhd8bc7082000-06-07 23:51:50 +0000227}
228
229/*
drh82c3d632000-06-06 21:56:07 +0000230** Generate code that will tell the VDBE how many columns there
231** are in the result and the name for each column. This information
232** is used to provide "argc" and "azCol[]" values in the callback.
233*/
drh832508b2002-03-02 17:04:07 +0000234static void generateColumnNames(
235 Parse *pParse, /* Parser context */
236 int base, /* VDBE cursor corresponding to first entry in pTabList */
237 IdList *pTabList, /* List of tables */
238 ExprList *pEList /* Expressions defining the result set */
239){
drhd8bc7082000-06-07 23:51:50 +0000240 Vdbe *v = pParse->pVdbe;
drh82c3d632000-06-06 21:56:07 +0000241 int i;
drhdaffd0e2001-04-11 14:28:42 +0000242 if( pParse->colNamesSet || v==0 || sqlite_malloc_failed ) return;
drhd8bc7082000-06-07 23:51:50 +0000243 pParse->colNamesSet = 1;
drh99fcd712001-10-13 01:06:47 +0000244 sqliteVdbeAddOp(v, OP_ColumnCount, pEList->nExpr, 0);
drh82c3d632000-06-06 21:56:07 +0000245 for(i=0; i<pEList->nExpr; i++){
246 Expr *p;
drh1bee3d72001-10-15 00:44:35 +0000247 int showFullNames;
drh82c3d632000-06-06 21:56:07 +0000248 if( pEList->a[i].zName ){
249 char *zName = pEList->a[i].zName;
drh99fcd712001-10-13 01:06:47 +0000250 sqliteVdbeAddOp(v, OP_ColumnName, i, 0);
251 sqliteVdbeChangeP3(v, -1, zName, strlen(zName));
drh82c3d632000-06-06 21:56:07 +0000252 continue;
253 }
254 p = pEList->a[i].pExpr;
drhdaffd0e2001-04-11 14:28:42 +0000255 if( p==0 ) continue;
drh1bee3d72001-10-15 00:44:35 +0000256 showFullNames = (pParse->db->flags & SQLITE_FullColNames)!=0;
257 if( p->span.z && p->span.z[0] && !showFullNames ){
drh99fcd712001-10-13 01:06:47 +0000258 int addr = sqliteVdbeAddOp(v,OP_ColumnName, i, 0);
259 sqliteVdbeChangeP3(v, -1, p->span.z, p->span.n);
drhe1b6a5b2000-07-29 13:06:59 +0000260 sqliteVdbeCompressSpace(v, addr);
drh1bee3d72001-10-15 00:44:35 +0000261 }else if( p->op==TK_COLUMN && pTabList ){
drh832508b2002-03-02 17:04:07 +0000262 Table *pTab = pTabList->a[p->iTable - base].pTab;
drh97665872002-02-13 23:22:53 +0000263 char *zCol;
drh8aff1012001-12-22 14:49:24 +0000264 int iCol = p->iColumn;
265 if( iCol<0 ) iCol = pTab->iPKey;
drh97665872002-02-13 23:22:53 +0000266 assert( iCol==-1 || (iCol>=0 && iCol<pTab->nCol) );
267 zCol = iCol<0 ? "_ROWID_" : pTab->aCol[iCol].zName;
drh1bee3d72001-10-15 00:44:35 +0000268 if( pTabList->nId>1 || showFullNames ){
drh82c3d632000-06-06 21:56:07 +0000269 char *zName = 0;
drh82c3d632000-06-06 21:56:07 +0000270 char *zTab;
271
drh832508b2002-03-02 17:04:07 +0000272 zTab = pTabList->a[p->iTable - base].zAlias;
drh01a34662001-10-20 12:30:10 +0000273 if( showFullNames || zTab==0 ) zTab = pTab->zName;
drh97665872002-02-13 23:22:53 +0000274 sqliteSetString(&zName, zTab, ".", zCol, 0);
drh99fcd712001-10-13 01:06:47 +0000275 sqliteVdbeAddOp(v, OP_ColumnName, i, 0);
276 sqliteVdbeChangeP3(v, -1, zName, strlen(zName));
drh82c3d632000-06-06 21:56:07 +0000277 sqliteFree(zName);
278 }else{
drh99fcd712001-10-13 01:06:47 +0000279 sqliteVdbeAddOp(v, OP_ColumnName, i, 0);
drh22f70c32002-02-18 01:17:00 +0000280 sqliteVdbeChangeP3(v, -1, zCol, 0);
drh82c3d632000-06-06 21:56:07 +0000281 }
drh1bee3d72001-10-15 00:44:35 +0000282 }else if( p->span.z && p->span.z[0] ){
283 int addr = sqliteVdbeAddOp(v,OP_ColumnName, i, 0);
284 sqliteVdbeChangeP3(v, -1, p->span.z, p->span.n);
285 sqliteVdbeCompressSpace(v, addr);
286 }else{
287 char zName[30];
288 assert( p->op!=TK_COLUMN || pTabList==0 );
289 sprintf(zName, "column%d", i+1);
290 sqliteVdbeAddOp(v, OP_ColumnName, i, 0);
291 sqliteVdbeChangeP3(v, -1, zName, strlen(zName));
drh82c3d632000-06-06 21:56:07 +0000292 }
293 }
294}
295
296/*
drhd8bc7082000-06-07 23:51:50 +0000297** Name of the connection operator, used for error messages.
298*/
299static const char *selectOpName(int id){
300 char *z;
301 switch( id ){
302 case TK_ALL: z = "UNION ALL"; break;
303 case TK_INTERSECT: z = "INTERSECT"; break;
304 case TK_EXCEPT: z = "EXCEPT"; break;
305 default: z = "UNION"; break;
306 }
307 return z;
308}
309
310/*
drh22f70c32002-02-18 01:17:00 +0000311** Given a SELECT statement, generate a Table structure that describes
312** the result set of that SELECT.
313*/
314Table *sqliteResultSetOfSelect(Parse *pParse, char *zTabName, Select *pSelect){
315 Table *pTab;
316 int i;
317 ExprList *pEList;
318 static int fillInColumnList(Parse*, Select*);
319
320 if( fillInColumnList(pParse, pSelect) ){
321 return 0;
322 }
323 pTab = sqliteMalloc( sizeof(Table) );
324 if( pTab==0 ){
325 return 0;
326 }
327 pTab->zName = zTabName ? sqliteStrDup(zTabName) : 0;
328 pEList = pSelect->pEList;
329 pTab->nCol = pEList->nExpr;
drh417be792002-03-03 18:59:40 +0000330 assert( pTab->nCol>0 );
drh22f70c32002-02-18 01:17:00 +0000331 pTab->aCol = sqliteMalloc( sizeof(pTab->aCol[0])*pTab->nCol );
332 for(i=0; i<pTab->nCol; i++){
333 Expr *p;
334 if( pEList->a[i].zName ){
335 pTab->aCol[i].zName = sqliteStrDup(pEList->a[i].zName);
336 }else if( (p=pEList->a[i].pExpr)->span.z && p->span.z[0] ){
337 sqliteSetNString(&pTab->aCol[i].zName, p->span.z, p->span.n, 0);
drhd820cb12002-02-18 03:21:45 +0000338 }else if( p->op==TK_DOT && p->pRight && p->pRight->token.z &&
339 p->pRight->token.z[0] ){
340 sqliteSetNString(&pTab->aCol[i].zName,
341 p->pRight->token.z, p->pRight->token.n, 0);
drh22f70c32002-02-18 01:17:00 +0000342 }else{
343 char zBuf[30];
344 sprintf(zBuf, "column%d", i+1);
345 pTab->aCol[i].zName = sqliteStrDup(zBuf);
346 }
347 }
348 pTab->iPKey = -1;
349 return pTab;
350}
351
352/*
drhd8bc7082000-06-07 23:51:50 +0000353** For the given SELECT statement, do two things.
354**
drh967e8b72000-06-21 13:59:10 +0000355** (1) Fill in the pTabList->a[].pTab fields in the IdList that
drh22f70c32002-02-18 01:17:00 +0000356** defines the set of tables that should be scanned.
drhd8bc7082000-06-07 23:51:50 +0000357**
358** (2) If the columns to be extracted variable (pEList) is NULL
359** (meaning that a "*" was used in the SQL statement) then
360** create a fake pEList containing the names of all columns
361** of all tables.
362**
363** Return 0 on success. If there are problems, leave an error message
364** in pParse and return non-zero.
365*/
366static int fillInColumnList(Parse *pParse, Select *p){
drh7c917d12001-12-16 20:05:05 +0000367 int i, j, k;
drhdaffd0e2001-04-11 14:28:42 +0000368 IdList *pTabList;
369 ExprList *pEList;
drha76b5df2002-02-23 02:32:10 +0000370 Table *pTab;
drhdaffd0e2001-04-11 14:28:42 +0000371
372 if( p==0 || p->pSrc==0 ) return 1;
373 pTabList = p->pSrc;
374 pEList = p->pEList;
drhd8bc7082000-06-07 23:51:50 +0000375
376 /* Look up every table in the table list.
377 */
378 for(i=0; i<pTabList->nId; i++){
379 if( pTabList->a[i].pTab ){
380 /* This routine has run before! No need to continue */
381 return 0;
382 }
drhdaffd0e2001-04-11 14:28:42 +0000383 if( pTabList->a[i].zName==0 ){
drh22f70c32002-02-18 01:17:00 +0000384 /* A sub-query in the FROM clause of a SELECT */
drh22f70c32002-02-18 01:17:00 +0000385 assert( pTabList->a[i].pSelect!=0 );
386 pTabList->a[i].pTab = pTab =
387 sqliteResultSetOfSelect(pParse, pTabList->a[i].zAlias,
388 pTabList->a[i].pSelect);
389 if( pTab==0 ){
390 return 1;
391 }
392 pTab->isTransient = 1;
393 }else{
drha76b5df2002-02-23 02:32:10 +0000394 /* An ordinary table or view name in the FROM clause */
395 pTabList->a[i].pTab = pTab =
396 sqliteFindTable(pParse->db, pTabList->a[i].zName);
397 if( pTab==0 ){
drh22f70c32002-02-18 01:17:00 +0000398 sqliteSetString(&pParse->zErrMsg, "no such table: ",
399 pTabList->a[i].zName, 0);
400 pParse->nErr++;
401 return 1;
402 }
drha76b5df2002-02-23 02:32:10 +0000403 if( pTab->pSelect ){
drh417be792002-03-03 18:59:40 +0000404 if( sqliteViewGetColumnNames(pParse, pTab) ){
405 return 1;
406 }
drhff78bd22002-02-27 01:47:11 +0000407 pTabList->a[i].pSelect = sqliteSelectDup(pTab->pSelect);
drha76b5df2002-02-23 02:32:10 +0000408 }
drhd8bc7082000-06-07 23:51:50 +0000409 }
410 }
411
drh7c917d12001-12-16 20:05:05 +0000412 /* For every "*" that occurs in the column list, insert the names of
413 ** all columns in all tables. The parser inserted a special expression
414 ** with the TK_ALL operator for each "*" that it found in the column list.
415 ** The following code just has to locate the TK_ALL expressions and expand
416 ** each one to the list of all columns in all tables.
drhd8bc7082000-06-07 23:51:50 +0000417 */
drh7c917d12001-12-16 20:05:05 +0000418 for(k=0; k<pEList->nExpr; k++){
419 if( pEList->a[k].pExpr->op==TK_ALL ) break;
420 }
421 if( k<pEList->nExpr ){
422 struct ExprList_item *a = pEList->a;
423 ExprList *pNew = 0;
424 for(k=0; k<pEList->nExpr; k++){
425 if( a[k].pExpr->op!=TK_ALL ){
426 pNew = sqliteExprListAppend(pNew, a[k].pExpr, 0);
427 pNew->a[pNew->nExpr-1].zName = a[k].zName;
428 a[k].pExpr = 0;
429 a[k].zName = 0;
430 }else{
431 for(i=0; i<pTabList->nId; i++){
432 Table *pTab = pTabList->a[i].pTab;
433 for(j=0; j<pTab->nCol; j++){
drh22f70c32002-02-18 01:17:00 +0000434 Expr *pExpr, *pLeft, *pRight;
435 pRight = sqliteExpr(TK_ID, 0, 0, 0);
436 if( pRight==0 ) break;
437 pRight->token.z = pTab->aCol[j].zName;
438 pRight->token.n = strlen(pTab->aCol[j].zName);
439 if( pTab->zName ){
440 pLeft = sqliteExpr(TK_ID, 0, 0, 0);
441 if( pLeft==0 ) break;
442 if( pTabList->a[i].zAlias && pTabList->a[i].zAlias[0] ){
443 pLeft->token.z = pTabList->a[i].zAlias;
444 pLeft->token.n = strlen(pTabList->a[i].zAlias);
445 }else{
446 pLeft->token.z = pTab->zName;
447 pLeft->token.n = strlen(pTab->zName);
448 }
449 pExpr = sqliteExpr(TK_DOT, pLeft, pRight, 0);
450 if( pExpr==0 ) break;
drh7c917d12001-12-16 20:05:05 +0000451 }else{
drh22f70c32002-02-18 01:17:00 +0000452 pExpr = pRight;
453 pExpr->span = pExpr->token;
drh7c917d12001-12-16 20:05:05 +0000454 }
drh7c917d12001-12-16 20:05:05 +0000455 pNew = sqliteExprListAppend(pNew, pExpr, 0);
456 }
drh17e24df2001-11-06 14:10:41 +0000457 }
drhd8bc7082000-06-07 23:51:50 +0000458 }
459 }
drh7c917d12001-12-16 20:05:05 +0000460 sqliteExprListDelete(pEList);
461 p->pEList = pNew;
drhd8bc7082000-06-07 23:51:50 +0000462 }
463 return 0;
464}
465
466/*
drhff78bd22002-02-27 01:47:11 +0000467** This routine recursively unlinks the Select.pSrc.a[].pTab pointers
468** in a select structure. It just sets the pointers to NULL. This
469** routine is recursive in the sense that if the Select.pSrc.a[].pSelect
470** pointer is not NULL, this routine is called recursively on that pointer.
471**
472** This routine is called on the Select structure that defines a
473** VIEW in order to undo any bindings to tables. This is necessary
474** because those tables might be DROPed by a subsequent SQL command.
475*/
476void sqliteSelectUnbind(Select *p){
477 int i;
478 IdList *pSrc = p->pSrc;
479 Table *pTab;
480 if( p==0 ) return;
481 for(i=0; i<pSrc->nId; i++){
482 if( (pTab = pSrc->a[i].pTab)!=0 ){
483 if( pTab->isTransient ){
484 sqliteDeleteTable(0, pTab);
485 sqliteSelectDelete(pSrc->a[i].pSelect);
486 pSrc->a[i].pSelect = 0;
487 }
488 pSrc->a[i].pTab = 0;
489 if( pSrc->a[i].pSelect ){
490 sqliteSelectUnbind(pSrc->a[i].pSelect);
491 }
492 }
493 }
494}
495
496/*
drhd8bc7082000-06-07 23:51:50 +0000497** This routine associates entries in an ORDER BY expression list with
498** columns in a result. For each ORDER BY expression, the opcode of
drh967e8b72000-06-21 13:59:10 +0000499** the top-level node is changed to TK_COLUMN and the iColumn value of
drhd8bc7082000-06-07 23:51:50 +0000500** the top-level node is filled in with column number and the iTable
501** value of the top-level node is filled with iTable parameter.
502**
503** If there are prior SELECT clauses, they are processed first. A match
504** in an earlier SELECT takes precedence over a later SELECT.
505**
506** Any entry that does not match is flagged as an error. The number
507** of errors is returned.
508*/
509static int matchOrderbyToColumn(
510 Parse *pParse, /* A place to leave error messages */
511 Select *pSelect, /* Match to result columns of this SELECT */
512 ExprList *pOrderBy, /* The ORDER BY values to match against columns */
513 int iTable, /* Insert this this value in iTable */
514 int mustComplete /* If TRUE all ORDER BYs must match */
515){
516 int nErr = 0;
517 int i, j;
518 ExprList *pEList;
519
drhdaffd0e2001-04-11 14:28:42 +0000520 if( pSelect==0 || pOrderBy==0 ) return 1;
drhd8bc7082000-06-07 23:51:50 +0000521 if( mustComplete ){
522 for(i=0; i<pOrderBy->nExpr; i++){ pOrderBy->a[i].done = 0; }
523 }
524 if( fillInColumnList(pParse, pSelect) ){
525 return 1;
526 }
527 if( pSelect->pPrior ){
drh92cd52f2000-06-08 01:55:29 +0000528 if( matchOrderbyToColumn(pParse, pSelect->pPrior, pOrderBy, iTable, 0) ){
529 return 1;
530 }
drhd8bc7082000-06-07 23:51:50 +0000531 }
532 pEList = pSelect->pEList;
533 for(i=0; i<pOrderBy->nExpr; i++){
534 Expr *pE = pOrderBy->a[i].pExpr;
drh92cd52f2000-06-08 01:55:29 +0000535 int match = 0;
drhd8bc7082000-06-07 23:51:50 +0000536 if( pOrderBy->a[i].done ) continue;
537 for(j=0; j<pEList->nExpr; j++){
drh4cfa7932000-06-08 15:10:46 +0000538 if( pEList->a[j].zName && (pE->op==TK_ID || pE->op==TK_STRING) ){
drha76b5df2002-02-23 02:32:10 +0000539 char *zName, *zLabel;
540 zName = pEList->a[j].zName;
541 assert( pE->token.z );
542 zLabel = sqliteStrNDup(pE->token.z, pE->token.n);
drhd8bc7082000-06-07 23:51:50 +0000543 sqliteDequote(zLabel);
544 if( sqliteStrICmp(zName, zLabel)==0 ){
545 match = 1;
546 }
drh6e142f52000-06-08 13:36:40 +0000547 sqliteFree(zLabel);
drhd8bc7082000-06-07 23:51:50 +0000548 }
drh4cfa7932000-06-08 15:10:46 +0000549 if( match==0 && sqliteExprCompare(pE, pEList->a[j].pExpr) ){
drhd8bc7082000-06-07 23:51:50 +0000550 match = 1;
551 }
552 if( match ){
drh967e8b72000-06-21 13:59:10 +0000553 pE->op = TK_COLUMN;
554 pE->iColumn = j;
drhd8bc7082000-06-07 23:51:50 +0000555 pE->iTable = iTable;
556 pOrderBy->a[i].done = 1;
557 break;
558 }
559 }
drh92cd52f2000-06-08 01:55:29 +0000560 if( !match && mustComplete ){
drhd8bc7082000-06-07 23:51:50 +0000561 char zBuf[30];
562 sprintf(zBuf,"%d",i+1);
563 sqliteSetString(&pParse->zErrMsg, "ORDER BY term number ", zBuf,
564 " does not match any result column", 0);
565 pParse->nErr++;
566 nErr++;
567 break;
568 }
569 }
570 return nErr;
571}
572
573/*
574** Get a VDBE for the given parser context. Create a new one if necessary.
575** If an error occurs, return NULL and leave a message in pParse.
576*/
577Vdbe *sqliteGetVdbe(Parse *pParse){
578 Vdbe *v = pParse->pVdbe;
579 if( v==0 ){
drh4c504392000-10-16 22:06:40 +0000580 v = pParse->pVdbe = sqliteVdbeCreate(pParse->db);
drhd8bc7082000-06-07 23:51:50 +0000581 }
drhd8bc7082000-06-07 23:51:50 +0000582 return v;
583}
584
585
586/*
drh82c3d632000-06-06 21:56:07 +0000587** This routine is called to process a query that is really the union
588** or intersection of two or more separate queries.
589*/
590static int multiSelect(Parse *pParse, Select *p, int eDest, int iParm){
drh10e5e3c2000-06-08 00:19:02 +0000591 int rc; /* Success code from a subroutine */
592 Select *pPrior; /* Another SELECT immediately to our left */
593 Vdbe *v; /* Generate code to this VDBE */
594 int base; /* Baseline value for pParse->nTab */
drh82c3d632000-06-06 21:56:07 +0000595
drhd8bc7082000-06-07 23:51:50 +0000596 /* Make sure there is no ORDER BY clause on prior SELECTs. Only the
597 ** last SELECT in the series may have an ORDER BY.
drh82c3d632000-06-06 21:56:07 +0000598 */
drhdaffd0e2001-04-11 14:28:42 +0000599 if( p==0 || p->pPrior==0 ) return 1;
drhd8bc7082000-06-07 23:51:50 +0000600 pPrior = p->pPrior;
601 if( pPrior->pOrderBy ){
602 sqliteSetString(&pParse->zErrMsg,"ORDER BY clause should come after ",
603 selectOpName(p->op), " not before", 0);
drh82c3d632000-06-06 21:56:07 +0000604 pParse->nErr++;
605 return 1;
606 }
607
drhd8bc7082000-06-07 23:51:50 +0000608 /* Make sure we have a valid query engine. If not, create a new one.
609 */
610 v = sqliteGetVdbe(pParse);
611 if( v==0 ) return 1;
612
drh1cc3d752002-03-23 00:31:29 +0000613 /* Create the destination temporary table if necessary
614 */
615 if( eDest==SRT_TempTable ){
616 sqliteVdbeAddOp(v, OP_OpenTemp, iParm, 0);
617 eDest = SRT_Table;
618 }
619
drhd8bc7082000-06-07 23:51:50 +0000620 /* Process the UNION or INTERSECTION
621 */
drh10e5e3c2000-06-08 00:19:02 +0000622 base = pParse->nTab;
drh82c3d632000-06-06 21:56:07 +0000623 switch( p->op ){
drhd8bc7082000-06-07 23:51:50 +0000624 case TK_ALL:
drh82c3d632000-06-06 21:56:07 +0000625 case TK_EXCEPT:
626 case TK_UNION: {
drhd8bc7082000-06-07 23:51:50 +0000627 int unionTab; /* Cursor number of the temporary table holding result */
628 int op; /* One of the SRT_ operations to apply to self */
629 int priorOp; /* The SRT_ operation to apply to prior selects */
drh82c3d632000-06-06 21:56:07 +0000630
drhd8bc7082000-06-07 23:51:50 +0000631 priorOp = p->op==TK_ALL ? SRT_Table : SRT_Union;
632 if( eDest==priorOp ){
633 /* We can reuse a temporary table generated by a SELECT to our
634 ** right. This also means we are not the right-most select and so
635 ** we cannot have an ORDER BY clause
636 */
drh82c3d632000-06-06 21:56:07 +0000637 unionTab = iParm;
drhd8bc7082000-06-07 23:51:50 +0000638 assert( p->pOrderBy==0 );
drh82c3d632000-06-06 21:56:07 +0000639 }else{
drhd8bc7082000-06-07 23:51:50 +0000640 /* We will need to create our own temporary table to hold the
641 ** intermediate results.
642 */
643 unionTab = pParse->nTab++;
644 if( p->pOrderBy
645 && matchOrderbyToColumn(pParse, p, p->pOrderBy, unionTab, 1) ){
646 return 1;
647 }
drhd8bc7082000-06-07 23:51:50 +0000648 if( p->op!=TK_ALL ){
drhc6b52df2002-01-04 03:09:29 +0000649 sqliteVdbeAddOp(v, OP_OpenTemp, unionTab, 1);
drh99fcd712001-10-13 01:06:47 +0000650 sqliteVdbeAddOp(v, OP_KeyAsData, unionTab, 1);
drh345fda32001-01-15 22:51:08 +0000651 }else{
drh99fcd712001-10-13 01:06:47 +0000652 sqliteVdbeAddOp(v, OP_OpenTemp, unionTab, 0);
drhd8bc7082000-06-07 23:51:50 +0000653 }
drh82c3d632000-06-06 21:56:07 +0000654 }
drhd8bc7082000-06-07 23:51:50 +0000655
656 /* Code the SELECT statements to our left
657 */
drh832508b2002-03-02 17:04:07 +0000658 rc = sqliteSelect(pParse, pPrior, priorOp, unionTab, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000659 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000660
661 /* Code the current SELECT statement
662 */
663 switch( p->op ){
664 case TK_EXCEPT: op = SRT_Except; break;
665 case TK_UNION: op = SRT_Union; break;
666 case TK_ALL: op = SRT_Table; break;
667 }
drh82c3d632000-06-06 21:56:07 +0000668 p->pPrior = 0;
drh832508b2002-03-02 17:04:07 +0000669 rc = sqliteSelect(pParse, p, op, unionTab, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000670 p->pPrior = pPrior;
671 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000672
673 /* Convert the data in the temporary table into whatever form
674 ** it is that we currently need.
675 */
676 if( eDest!=priorOp ){
drh6b563442001-11-07 16:48:26 +0000677 int iCont, iBreak, iStart;
drh82c3d632000-06-06 21:56:07 +0000678 assert( p->pEList );
drh832508b2002-03-02 17:04:07 +0000679 generateColumnNames(pParse, p->base, 0, p->pEList);
drh82c3d632000-06-06 21:56:07 +0000680 iBreak = sqliteVdbeMakeLabel(v);
drh6b563442001-11-07 16:48:26 +0000681 iCont = sqliteVdbeMakeLabel(v);
682 sqliteVdbeAddOp(v, OP_Rewind, unionTab, iBreak);
683 iStart = sqliteVdbeCurrentAddr(v);
drh82c3d632000-06-06 21:56:07 +0000684 rc = selectInnerLoop(pParse, 0, unionTab, p->pEList->nExpr,
drhd8bc7082000-06-07 23:51:50 +0000685 p->pOrderBy, -1, eDest, iParm,
drh82c3d632000-06-06 21:56:07 +0000686 iCont, iBreak);
687 if( rc ) return 1;
drh6b563442001-11-07 16:48:26 +0000688 sqliteVdbeResolveLabel(v, iCont);
689 sqliteVdbeAddOp(v, OP_Next, unionTab, iStart);
drh99fcd712001-10-13 01:06:47 +0000690 sqliteVdbeResolveLabel(v, iBreak);
691 sqliteVdbeAddOp(v, OP_Close, unionTab, 0);
drhd8bc7082000-06-07 23:51:50 +0000692 if( p->pOrderBy ){
693 generateSortTail(v, p->pEList->nExpr);
694 }
drh82c3d632000-06-06 21:56:07 +0000695 }
696 break;
697 }
698 case TK_INTERSECT: {
699 int tab1, tab2;
drh6b563442001-11-07 16:48:26 +0000700 int iCont, iBreak, iStart;
drh82c3d632000-06-06 21:56:07 +0000701
drhd8bc7082000-06-07 23:51:50 +0000702 /* INTERSECT is different from the others since it requires
drh6206d502000-06-19 19:09:08 +0000703 ** two temporary tables. Hence it has its own case. Begin
drhd8bc7082000-06-07 23:51:50 +0000704 ** by allocating the tables we will need.
705 */
drh82c3d632000-06-06 21:56:07 +0000706 tab1 = pParse->nTab++;
707 tab2 = pParse->nTab++;
drhd8bc7082000-06-07 23:51:50 +0000708 if( p->pOrderBy && matchOrderbyToColumn(pParse,p,p->pOrderBy,tab1,1) ){
709 return 1;
710 }
drhc6b52df2002-01-04 03:09:29 +0000711 sqliteVdbeAddOp(v, OP_OpenTemp, tab1, 1);
drh99fcd712001-10-13 01:06:47 +0000712 sqliteVdbeAddOp(v, OP_KeyAsData, tab1, 1);
drhd8bc7082000-06-07 23:51:50 +0000713
714 /* Code the SELECTs to our left into temporary table "tab1".
715 */
drh832508b2002-03-02 17:04:07 +0000716 rc = sqliteSelect(pParse, pPrior, SRT_Union, tab1, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000717 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000718
719 /* Code the current SELECT into temporary table "tab2"
720 */
drhc6b52df2002-01-04 03:09:29 +0000721 sqliteVdbeAddOp(v, OP_OpenTemp, tab2, 1);
drh99fcd712001-10-13 01:06:47 +0000722 sqliteVdbeAddOp(v, OP_KeyAsData, tab2, 1);
drh82c3d632000-06-06 21:56:07 +0000723 p->pPrior = 0;
drh832508b2002-03-02 17:04:07 +0000724 rc = sqliteSelect(pParse, p, SRT_Union, tab2, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000725 p->pPrior = pPrior;
726 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000727
728 /* Generate code to take the intersection of the two temporary
729 ** tables.
730 */
drh82c3d632000-06-06 21:56:07 +0000731 assert( p->pEList );
drh832508b2002-03-02 17:04:07 +0000732 generateColumnNames(pParse, p->base, 0, p->pEList);
drh82c3d632000-06-06 21:56:07 +0000733 iBreak = sqliteVdbeMakeLabel(v);
drh6b563442001-11-07 16:48:26 +0000734 iCont = sqliteVdbeMakeLabel(v);
735 sqliteVdbeAddOp(v, OP_Rewind, tab1, iBreak);
736 iStart = sqliteVdbeAddOp(v, OP_FullKey, tab1, 0);
drh99fcd712001-10-13 01:06:47 +0000737 sqliteVdbeAddOp(v, OP_NotFound, tab2, iCont);
drh82c3d632000-06-06 21:56:07 +0000738 rc = selectInnerLoop(pParse, 0, tab1, p->pEList->nExpr,
drhd8bc7082000-06-07 23:51:50 +0000739 p->pOrderBy, -1, eDest, iParm,
drh82c3d632000-06-06 21:56:07 +0000740 iCont, iBreak);
741 if( rc ) return 1;
drh6b563442001-11-07 16:48:26 +0000742 sqliteVdbeResolveLabel(v, iCont);
743 sqliteVdbeAddOp(v, OP_Next, tab1, iStart);
drh99fcd712001-10-13 01:06:47 +0000744 sqliteVdbeResolveLabel(v, iBreak);
745 sqliteVdbeAddOp(v, OP_Close, tab2, 0);
746 sqliteVdbeAddOp(v, OP_Close, tab1, 0);
drhd8bc7082000-06-07 23:51:50 +0000747 if( p->pOrderBy ){
748 generateSortTail(v, p->pEList->nExpr);
749 }
drh82c3d632000-06-06 21:56:07 +0000750 break;
751 }
752 }
753 assert( p->pEList && pPrior->pEList );
754 if( p->pEList->nExpr!=pPrior->pEList->nExpr ){
drhd8bc7082000-06-07 23:51:50 +0000755 sqliteSetString(&pParse->zErrMsg, "SELECTs to the left and right of ",
756 selectOpName(p->op), " do not have the same number of result columns", 0);
drh82c3d632000-06-06 21:56:07 +0000757 pParse->nErr++;
758 return 1;
drh22827922000-06-06 17:27:05 +0000759 }
drh10e5e3c2000-06-08 00:19:02 +0000760 pParse->nTab = base;
drh22827922000-06-06 17:27:05 +0000761 return 0;
762}
763
764/*
drh832508b2002-03-02 17:04:07 +0000765** Recursively scan through an expression tree. For every reference
766** to a column in table number iFrom, change that reference to the
767** same column in table number iTo.
768*/
769static void changeTables(Expr *pExpr, int iFrom, int iTo){
770 if( pExpr==0 ) return;
771 if( pExpr->op==TK_COLUMN && pExpr->iTable==iFrom ){
772 pExpr->iTable = iTo;
773 }else{
drh1b2e0322002-03-03 02:49:51 +0000774 static void changeTablesInList(ExprList*, int, int);
drh832508b2002-03-02 17:04:07 +0000775 changeTables(pExpr->pLeft, iFrom, iTo);
776 changeTables(pExpr->pRight, iFrom, iTo);
drh1b2e0322002-03-03 02:49:51 +0000777 changeTablesInList(pExpr->pList, iFrom, iTo);
778 }
779}
780static void changeTablesInList(ExprList *pList, int iFrom, int iTo){
781 if( pList ){
782 int i;
783 for(i=0; i<pList->nExpr; i++){
784 changeTables(pList->a[i].pExpr, iFrom, iTo);
drh832508b2002-03-02 17:04:07 +0000785 }
786 }
787}
788
789/*
790** Scan through the expression pExpr. Replace every reference to
791** a column in table number iTable with a copy of the corresponding
drh84e59202002-03-14 14:33:31 +0000792** entry in pEList. (But leave references to the ROWID column
793** unchanged.) When making a copy of an expression in pEList, change
794** references to columns in table iSub into references to table iTable.
drh832508b2002-03-02 17:04:07 +0000795**
796** This routine is part of the flattening procedure. A subquery
797** whose result set is defined by pEList appears as entry in the
798** FROM clause of a SELECT such that the VDBE cursor assigned to that
799** FORM clause entry is iTable. This routine make the necessary
800** changes to pExpr so that it refers directly to the source table
801** of the subquery rather the result set of the subquery.
802*/
803static void substExpr(Expr *pExpr, int iTable, ExprList *pEList, int iSub){
804 if( pExpr==0 ) return;
drh84e59202002-03-14 14:33:31 +0000805 if( pExpr->op==TK_COLUMN && pExpr->iTable==iTable && pExpr->iColumn>=0 ){
drh832508b2002-03-02 17:04:07 +0000806 Expr *pNew;
drh84e59202002-03-14 14:33:31 +0000807 assert( pEList!=0 && pExpr->iColumn<pEList->nExpr );
drh832508b2002-03-02 17:04:07 +0000808 assert( pExpr->pLeft==0 && pExpr->pRight==0 && pExpr->pList==0 );
809 pNew = pEList->a[pExpr->iColumn].pExpr;
810 assert( pNew!=0 );
811 pExpr->op = pNew->op;
812 pExpr->pLeft = sqliteExprDup(pNew->pLeft);
813 pExpr->pRight = sqliteExprDup(pNew->pRight);
814 pExpr->pList = sqliteExprListDup(pNew->pList);
815 pExpr->iTable = pNew->iTable;
816 pExpr->iColumn = pNew->iColumn;
817 pExpr->iAgg = pNew->iAgg;
drh1b2e0322002-03-03 02:49:51 +0000818 pExpr->token = pNew->token;
drh832508b2002-03-02 17:04:07 +0000819 if( iSub!=iTable ){
820 changeTables(pExpr, iSub, iTable);
821 }
822 }else{
823 static void substExprList(ExprList*,int,ExprList*,int);
824 substExpr(pExpr->pLeft, iTable, pEList, iSub);
825 substExpr(pExpr->pRight, iTable, pEList, iSub);
826 substExprList(pExpr->pList, iTable, pEList, iSub);
827 }
828}
829static void
830substExprList(ExprList *pList, int iTable, ExprList *pEList, int iSub){
831 int i;
832 if( pList==0 ) return;
833 for(i=0; i<pList->nExpr; i++){
834 substExpr(pList->a[i].pExpr, iTable, pEList, iSub);
835 }
836}
837
838/*
drh1350b032002-02-27 19:00:20 +0000839** This routine attempts to flatten subqueries in order to speed
840** execution. It returns 1 if it makes changes and 0 if no flattening
841** occurs.
842**
843** To understand the concept of flattening, consider the following
844** query:
845**
846** SELECT a FROM (SELECT x+y AS a FROM t1 WHERE z<100) WHERE a>5
847**
848** The default way of implementing this query is to execute the
849** subquery first and store the results in a temporary table, then
850** run the outer query on that temporary table. This requires two
851** passes over the data. Furthermore, because the temporary table
852** has no indices, the WHERE clause on the outer query cannot be
drh832508b2002-03-02 17:04:07 +0000853** optimized.
drh1350b032002-02-27 19:00:20 +0000854**
drh832508b2002-03-02 17:04:07 +0000855** This routine attempts to rewrite queries such as the above into
drh1350b032002-02-27 19:00:20 +0000856** a single flat select, like this:
857**
858** SELECT x+y AS a FROM t1 WHERE z<100 AND a>5
859**
860** The code generated for this simpification gives the same result
drh832508b2002-03-02 17:04:07 +0000861** but only has to scan the data once. And because indices might
862** exist on the table t1, a complete scan of the data might be
863** avoided.
drh1350b032002-02-27 19:00:20 +0000864**
drh832508b2002-03-02 17:04:07 +0000865** Flattening is only attempted if all of the following are true:
drh1350b032002-02-27 19:00:20 +0000866**
drh832508b2002-03-02 17:04:07 +0000867** (1) The subquery and the outer query do not both use aggregates.
drh1350b032002-02-27 19:00:20 +0000868**
drh832508b2002-03-02 17:04:07 +0000869** (2) The subquery is not an aggregate or the outer query is not a join.
870**
871** (3) The subquery is not a join.
872**
873** (4) The subquery is not DISTINCT or the outer query is not a join.
874**
875** (5) The subquery is not DISTINCT or the outer query does not use
876** aggregates.
877**
878** (6) The subquery does not use aggregates or the outer query is not
879** DISTINCT.
880**
881** In this routine, the "p" parameter is a pointer to the outer query.
882** The subquery is p->pSrc->a[iFrom]. isAgg is true if the outer query
883** uses aggregates and subqueryIsAgg is true if the subquery uses aggregates.
884**
885** If flattening is not attempted, this routine is a no-op and return 0.
886** If flattening is attempted this routine returns 1.
887**
888** All of the expression analysis must occur on both the outer query and
889** the subquery before this routine runs.
drh1350b032002-02-27 19:00:20 +0000890*/
drh832508b2002-03-02 17:04:07 +0000891int flattenSubquery(Select *p, int iFrom, int isAgg, int subqueryIsAgg){
drh1350b032002-02-27 19:00:20 +0000892 Select *pSub;
drh832508b2002-03-02 17:04:07 +0000893 IdList *pSrc, *pSubSrc;
894 ExprList *pList;
895 int i;
896 int iParent, iSub;
897 Expr *pWhere;
drh1350b032002-02-27 19:00:20 +0000898
drh832508b2002-03-02 17:04:07 +0000899 /* Check to see if flattening is permitted. Return 0 if not.
900 */
901 if( p==0 ) return 0;
902 pSrc = p->pSrc;
903 assert( pSrc && iFrom>=0 && iFrom<pSrc->nId );
904 pSub = pSrc->a[iFrom].pSelect;
905 assert( pSub!=0 );
906 if( isAgg && subqueryIsAgg ) return 0;
907 if( subqueryIsAgg && pSrc->nId>1 ) return 0;
908 pSubSrc = pSub->pSrc;
909 assert( pSubSrc );
910 if( pSubSrc->nId>1 ) return 0;
911 if( pSub->isDistinct && pSrc->nId>1 ) return 0;
912 if( pSub->isDistinct && isAgg ) return 0;
913 if( p->isDistinct && subqueryIsAgg ) return 0;
914
915 /* If we reach this point, it means flatting is permitted for the
916 ** i-th entry of the FROM clause in the outer query.
917 */
918 iParent = p->base + iFrom;
919 iSub = pSub->base;
920 substExprList(p->pEList, iParent, pSub->pEList, iSub);
921 pList = p->pEList;
922 for(i=0; i<pList->nExpr; i++){
923 if( pList->a[i].zName==0 ){
924 Expr *pExpr = pList->a[i].pExpr;
925 pList->a[i].zName = sqliteStrNDup(pExpr->span.z, pExpr->span.n);
926 }
927 }
drh1b2e0322002-03-03 02:49:51 +0000928 if( isAgg ){
929 substExprList(p->pGroupBy, iParent, pSub->pEList, iSub);
930 substExpr(p->pHaving, iParent, pSub->pEList, iSub);
931 }
drh832508b2002-03-02 17:04:07 +0000932 substExprList(p->pOrderBy, iParent, pSub->pEList, iSub);
933 if( pSub->pWhere ){
934 pWhere = sqliteExprDup(pSub->pWhere);
935 if( iParent!=iSub ){
936 changeTables(pWhere, iSub, iParent);
937 }
938 }else{
939 pWhere = 0;
940 }
941 if( subqueryIsAgg ){
942 assert( p->pHaving==0 );
drh1b2e0322002-03-03 02:49:51 +0000943 p->pHaving = p->pWhere;
944 p->pWhere = pWhere;
drh832508b2002-03-02 17:04:07 +0000945 substExpr(p->pHaving, iParent, pSub->pEList, iSub);
drh1b2e0322002-03-03 02:49:51 +0000946 if( pSub->pHaving ){
947 Expr *pHaving = sqliteExprDup(pSub->pHaving);
948 if( iParent!=iSub ){
949 changeTables(pHaving, iSub, iParent);
950 }
951 if( p->pHaving ){
952 p->pHaving = sqliteExpr(TK_AND, p->pHaving, pHaving, 0);
953 }else{
954 p->pHaving = pHaving;
955 }
956 }
957 assert( p->pGroupBy==0 );
958 p->pGroupBy = sqliteExprListDup(pSub->pGroupBy);
959 if( iParent!=iSub ){
960 changeTablesInList(p->pGroupBy, iSub, iParent);
961 }
drh832508b2002-03-02 17:04:07 +0000962 }else if( p->pWhere==0 ){
963 p->pWhere = pWhere;
964 }else{
965 substExpr(p->pWhere, iParent, pSub->pEList, iSub);
966 if( pWhere ){
967 p->pWhere = sqliteExpr(TK_AND, p->pWhere, pWhere, 0);
968 }
969 }
970 p->isDistinct = p->isDistinct || pSub->isDistinct;
971 if( pSrc->a[iFrom].pTab && pSrc->a[iFrom].pTab->isTransient ){
972 sqliteDeleteTable(0, pSrc->a[iFrom].pTab);
973 }
974 pSrc->a[iFrom].pTab = pSubSrc->a[0].pTab;
975 pSubSrc->a[0].pTab = 0;
976 pSrc->a[iFrom].pSelect = pSubSrc->a[0].pSelect;
977 pSubSrc->a[0].pSelect = 0;
978 sqliteSelectDelete(pSub);
979 return 1;
980}
drh1350b032002-02-27 19:00:20 +0000981
982/*
drh9562b552002-02-19 15:00:07 +0000983** Analyze the SELECT statement passed in as an argument to see if it
984** is a simple min() or max() query. If it is and this query can be
985** satisfied using a single seek to the beginning or end of an index,
986** then generate the code for this SELECT return 1. If this is not a
987** simple min() or max() query, then return 0;
988**
989** A simply min() or max() query looks like this:
990**
991** SELECT min(a) FROM table;
992** SELECT max(a) FROM table;
993**
994** The query may have only a single table in its FROM argument. There
995** can be no GROUP BY or HAVING or WHERE clauses. The result set must
996** be the min() or max() of a single column of the table. The column
997** in the min() or max() function must be indexed.
998**
999** The parameters to this routine are the same as for sqliteSelect().
1000** See the header comment on that routine for additional information.
1001*/
1002static int simpleMinMaxQuery(Parse *pParse, Select *p, int eDest, int iParm){
1003 Expr *pExpr;
1004 int iCol;
1005 Table *pTab;
1006 Index *pIdx;
1007 int base;
1008 Vdbe *v;
1009 int openOp;
1010 int seekOp;
1011 int cont;
1012 ExprList eList;
1013 struct ExprList_item eListItem;
1014
1015 /* Check to see if this query is a simple min() or max() query. Return
1016 ** zero if it is not.
1017 */
1018 if( p->pGroupBy || p->pHaving || p->pWhere ) return 0;
1019 if( p->pSrc->nId!=1 ) return 0;
1020 if( p->pEList->nExpr!=1 ) return 0;
1021 pExpr = p->pEList->a[0].pExpr;
1022 if( pExpr->op!=TK_AGG_FUNCTION ) return 0;
1023 if( pExpr->pList==0 || pExpr->pList->nExpr!=1 ) return 0;
drh0bce8352002-02-28 00:41:10 +00001024 if( pExpr->token.n!=3 ) return 0;
1025 if( sqliteStrNICmp(pExpr->token.z,"min",3)==0 ){
1026 seekOp = OP_Rewind;
1027 }else if( sqliteStrNICmp(pExpr->token.z,"max",3)==0 ){
1028 seekOp = OP_Last;
1029 }else{
1030 return 0;
1031 }
drh9562b552002-02-19 15:00:07 +00001032 pExpr = pExpr->pList->a[0].pExpr;
1033 if( pExpr->op!=TK_COLUMN ) return 0;
1034 iCol = pExpr->iColumn;
1035 pTab = p->pSrc->a[0].pTab;
1036
1037 /* If we get to here, it means the query is of the correct form.
drh17f71932002-02-21 12:01:27 +00001038 ** Check to make sure we have an index and make pIdx point to the
1039 ** appropriate index. If the min() or max() is on an INTEGER PRIMARY
1040 ** key column, no index is necessary so set pIdx to NULL. If no
1041 ** usable index is found, return 0.
drh9562b552002-02-19 15:00:07 +00001042 */
1043 if( iCol<0 ){
1044 pIdx = 0;
1045 }else{
1046 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
1047 assert( pIdx->nColumn>=1 );
1048 if( pIdx->aiColumn[0]==iCol ) break;
1049 }
1050 if( pIdx==0 ) return 0;
1051 }
1052
drh17f71932002-02-21 12:01:27 +00001053 /* Identify column names if we will be using the callback. This
drh9562b552002-02-19 15:00:07 +00001054 ** step is skipped if the output is going to a table or a memory cell.
1055 */
1056 v = sqliteGetVdbe(pParse);
1057 if( v==0 ) return 0;
1058 if( eDest==SRT_Callback ){
drh832508b2002-03-02 17:04:07 +00001059 generateColumnNames(pParse, p->base, p->pSrc, p->pEList);
drh9562b552002-02-19 15:00:07 +00001060 }
1061
drh17f71932002-02-21 12:01:27 +00001062 /* Generating code to find the min or the max. Basically all we have
1063 ** to do is find the first or the last entry in the chosen index. If
1064 ** the min() or max() is on the INTEGER PRIMARY KEY, then find the first
1065 ** or last entry in the main table.
drh9562b552002-02-19 15:00:07 +00001066 */
drh5cf8e8c2002-02-19 22:42:05 +00001067 if( !pParse->schemaVerified && (pParse->db->flags & SQLITE_InTrans)==0 ){
1068 sqliteVdbeAddOp(v, OP_VerifyCookie, pParse->db->schema_cookie, 0);
1069 pParse->schemaVerified = 1;
1070 }
drh9562b552002-02-19 15:00:07 +00001071 openOp = pTab->isTemp ? OP_OpenAux : OP_Open;
drh832508b2002-03-02 17:04:07 +00001072 base = p->base;
drh9562b552002-02-19 15:00:07 +00001073 sqliteVdbeAddOp(v, openOp, base, pTab->tnum);
drh5cf8e8c2002-02-19 22:42:05 +00001074 sqliteVdbeChangeP3(v, -1, pTab->zName, P3_STATIC);
drh9562b552002-02-19 15:00:07 +00001075 if( pIdx==0 ){
1076 sqliteVdbeAddOp(v, seekOp, base, 0);
1077 }else{
1078 sqliteVdbeAddOp(v, openOp, base+1, pIdx->tnum);
drh5cf8e8c2002-02-19 22:42:05 +00001079 sqliteVdbeChangeP3(v, -1, pIdx->zName, P3_STATIC);
drh9562b552002-02-19 15:00:07 +00001080 sqliteVdbeAddOp(v, seekOp, base+1, 0);
1081 sqliteVdbeAddOp(v, OP_IdxRecno, base+1, 0);
1082 sqliteVdbeAddOp(v, OP_Close, base+1, 0);
1083 sqliteVdbeAddOp(v, OP_MoveTo, base, 0);
1084 }
drh5cf8e8c2002-02-19 22:42:05 +00001085 eList.nExpr = 1;
1086 memset(&eListItem, 0, sizeof(eListItem));
1087 eList.a = &eListItem;
1088 eList.a[0].pExpr = pExpr;
drh9562b552002-02-19 15:00:07 +00001089 cont = sqliteVdbeMakeLabel(v);
1090 selectInnerLoop(pParse, &eList, base, 1, 0, -1, eDest, iParm, cont, cont);
1091 sqliteVdbeResolveLabel(v, cont);
1092 sqliteVdbeAddOp(v, OP_Close, base, 0);
1093 return 1;
1094}
1095
1096/*
drh9bb61fe2000-06-05 16:01:39 +00001097** Generate code for the given SELECT statement.
1098**
drhfef52082000-06-06 01:50:43 +00001099** The results are distributed in various ways depending on the
1100** value of eDest and iParm.
1101**
1102** eDest Value Result
1103** ------------ -------------------------------------------
1104** SRT_Callback Invoke the callback for each row of the result.
1105**
1106** SRT_Mem Store first result in memory cell iParm
1107**
1108** SRT_Set Store results as keys of a table with cursor iParm
1109**
drh82c3d632000-06-06 21:56:07 +00001110** SRT_Union Store results as a key in a temporary table iParm
1111**
drhc4a3c772001-04-04 11:48:57 +00001112** SRT_Except Remove results form the temporary table iParm.
1113**
1114** SRT_Table Store results in temporary table iParm
drh9bb61fe2000-06-05 16:01:39 +00001115**
1116** This routine returns the number of errors. If any errors are
1117** encountered, then an appropriate error message is left in
1118** pParse->zErrMsg.
1119**
1120** This routine does NOT free the Select structure passed in. The
1121** calling function needs to do that.
drh1b2e0322002-03-03 02:49:51 +00001122**
1123** The pParent, parentTab, and *pParentAgg fields are filled in if this
1124** SELECT is a subquery. This routine may try to combine this SELECT
1125** with its parent to form a single flat query. In so doing, it might
1126** change the parent query from a non-aggregate to an aggregate query.
1127** For that reason, the pParentAgg flag is passed as a pointer, so it
1128** can be changed.
drh9bb61fe2000-06-05 16:01:39 +00001129*/
1130int sqliteSelect(
drhcce7d172000-05-31 15:34:51 +00001131 Parse *pParse, /* The parser context */
drh9bb61fe2000-06-05 16:01:39 +00001132 Select *p, /* The SELECT statement being coded. */
drh82c3d632000-06-06 21:56:07 +00001133 int eDest, /* One of: SRT_Callback Mem Set Union Except */
drh832508b2002-03-02 17:04:07 +00001134 int iParm, /* Save result in this memory location, if >=0 */
1135 Select *pParent, /* Another SELECT for which this is a sub-query */
1136 int parentTab, /* Index in pParent->pSrc of this query */
drh1b2e0322002-03-03 02:49:51 +00001137 int *pParentAgg /* True if pParent uses aggregate functions */
drhcce7d172000-05-31 15:34:51 +00001138){
drhd8bc7082000-06-07 23:51:50 +00001139 int i;
drhcce7d172000-05-31 15:34:51 +00001140 WhereInfo *pWInfo;
1141 Vdbe *v;
1142 int isAgg = 0; /* True for select lists like "count(*)" */
drha2e00042002-01-22 03:13:42 +00001143 ExprList *pEList; /* List of columns to extract. */
drh9bb61fe2000-06-05 16:01:39 +00001144 IdList *pTabList; /* List of tables to select from */
1145 Expr *pWhere; /* The WHERE clause. May be NULL */
1146 ExprList *pOrderBy; /* The ORDER BY clause. May be NULL */
drh22827922000-06-06 17:27:05 +00001147 ExprList *pGroupBy; /* The GROUP BY clause. May be NULL */
1148 Expr *pHaving; /* The HAVING clause. May be NULL */
drh19a775c2000-06-05 18:54:46 +00001149 int isDistinct; /* True if the DISTINCT keyword is present */
1150 int distinct; /* Table to use for the distinct set */
drh10e5e3c2000-06-08 00:19:02 +00001151 int base; /* First cursor available for use */
drh1d83f052002-02-17 00:30:36 +00001152 int rc = 1; /* Value to return from this function */
drh9bb61fe2000-06-05 16:01:39 +00001153
drhdaffd0e2001-04-11 14:28:42 +00001154 if( sqlite_malloc_failed || pParse->nErr || p==0 ) return 1;
1155
drh82c3d632000-06-06 21:56:07 +00001156 /* If there is are a sequence of queries, do the earlier ones first.
1157 */
1158 if( p->pPrior ){
1159 return multiSelect(pParse, p, eDest, iParm);
1160 }
1161
1162 /* Make local copies of the parameters for this query.
1163 */
drh9bb61fe2000-06-05 16:01:39 +00001164 pTabList = p->pSrc;
1165 pWhere = p->pWhere;
1166 pOrderBy = p->pOrderBy;
drh22827922000-06-06 17:27:05 +00001167 pGroupBy = p->pGroupBy;
1168 pHaving = p->pHaving;
drh19a775c2000-06-05 18:54:46 +00001169 isDistinct = p->isDistinct;
drh9bb61fe2000-06-05 16:01:39 +00001170
drh832508b2002-03-02 17:04:07 +00001171 /* Allocate a block of VDBE cursors, one for each table in the FROM clause.
1172 ** The WHERE processing requires that the cursors for the tables in the
1173 ** FROM clause be consecutive.
drh10e5e3c2000-06-08 00:19:02 +00001174 */
drh832508b2002-03-02 17:04:07 +00001175 base = p->base = pParse->nTab;
1176 pParse->nTab += pTabList->nId;
drh10e5e3c2000-06-08 00:19:02 +00001177
drh9bb61fe2000-06-05 16:01:39 +00001178 /*
1179 ** Do not even attempt to generate any code if we have already seen
1180 ** errors before this routine starts.
1181 */
drh1d83f052002-02-17 00:30:36 +00001182 if( pParse->nErr>0 ) goto select_end;
drhcce7d172000-05-31 15:34:51 +00001183
drhd8bc7082000-06-07 23:51:50 +00001184 /* Look up every table in the table list and create an appropriate
1185 ** columnlist in pEList if there isn't one already. (The parser leaves
drh967e8b72000-06-21 13:59:10 +00001186 ** a NULL in the p->pEList if the SQL said "SELECT * FROM ...")
drhcce7d172000-05-31 15:34:51 +00001187 */
drhd8bc7082000-06-07 23:51:50 +00001188 if( fillInColumnList(pParse, p) ){
drh1d83f052002-02-17 00:30:36 +00001189 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001190 }
drhd8bc7082000-06-07 23:51:50 +00001191 pEList = p->pEList;
drh1d83f052002-02-17 00:30:36 +00001192 if( pEList==0 ) goto select_end;
drhcce7d172000-05-31 15:34:51 +00001193
drh22827922000-06-06 17:27:05 +00001194 /* If writing to memory or generating a set
1195 ** only a single column may be output.
drh19a775c2000-06-05 18:54:46 +00001196 */
drhfef52082000-06-06 01:50:43 +00001197 if( (eDest==SRT_Mem || eDest==SRT_Set) && pEList->nExpr>1 ){
drh19a775c2000-06-05 18:54:46 +00001198 sqliteSetString(&pParse->zErrMsg, "only a single result allowed for "
1199 "a SELECT that is part of an expression", 0);
1200 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001201 goto select_end;
drh19a775c2000-06-05 18:54:46 +00001202 }
1203
drh22827922000-06-06 17:27:05 +00001204 /* ORDER BY is ignored if we are not sending the result to a callback.
1205 */
1206 if( eDest!=SRT_Callback ){
drhacd4c692002-03-07 02:02:51 +00001207 pOrderBy = 0;
drh22827922000-06-06 17:27:05 +00001208 }
1209
drh10e5e3c2000-06-08 00:19:02 +00001210 /* At this point, we should have allocated all the cursors that we
drh832508b2002-03-02 17:04:07 +00001211 ** need to handle subquerys and temporary tables.
drh10e5e3c2000-06-08 00:19:02 +00001212 **
drh967e8b72000-06-21 13:59:10 +00001213 ** Resolve the column names and do a semantics check on all the expressions.
drh22827922000-06-06 17:27:05 +00001214 */
drh4794b982000-06-06 13:54:14 +00001215 for(i=0; i<pEList->nExpr; i++){
drh832508b2002-03-02 17:04:07 +00001216 if( sqliteExprResolveIds(pParse, base, pTabList, 0, pEList->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001217 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001218 }
drh22827922000-06-06 17:27:05 +00001219 if( sqliteExprCheck(pParse, pEList->a[i].pExpr, 1, &isAgg) ){
drh1d83f052002-02-17 00:30:36 +00001220 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001221 }
1222 }
drhcce7d172000-05-31 15:34:51 +00001223 if( pWhere ){
drh832508b2002-03-02 17:04:07 +00001224 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pWhere) ){
drh1d83f052002-02-17 00:30:36 +00001225 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001226 }
1227 if( sqliteExprCheck(pParse, pWhere, 0, 0) ){
drh1d83f052002-02-17 00:30:36 +00001228 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001229 }
1230 }
1231 if( pOrderBy ){
1232 for(i=0; i<pOrderBy->nExpr; i++){
drh22827922000-06-06 17:27:05 +00001233 Expr *pE = pOrderBy->a[i].pExpr;
drh92086432002-01-22 14:11:29 +00001234 if( sqliteExprIsConstant(pE) ){
1235 sqliteSetString(&pParse->zErrMsg,
1236 "ORDER BY expressions should not be constant", 0);
1237 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001238 goto select_end;
drh92086432002-01-22 14:11:29 +00001239 }
drh832508b2002-03-02 17:04:07 +00001240 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pE) ){
drh1d83f052002-02-17 00:30:36 +00001241 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001242 }
drh22827922000-06-06 17:27:05 +00001243 if( sqliteExprCheck(pParse, pE, isAgg, 0) ){
drh1d83f052002-02-17 00:30:36 +00001244 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001245 }
1246 }
1247 }
drh22827922000-06-06 17:27:05 +00001248 if( pGroupBy ){
1249 for(i=0; i<pGroupBy->nExpr; i++){
1250 Expr *pE = pGroupBy->a[i].pExpr;
drh92086432002-01-22 14:11:29 +00001251 if( sqliteExprIsConstant(pE) ){
1252 sqliteSetString(&pParse->zErrMsg,
1253 "GROUP BY expressions should not be constant", 0);
1254 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001255 goto select_end;
drh92086432002-01-22 14:11:29 +00001256 }
drh832508b2002-03-02 17:04:07 +00001257 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pE) ){
drh1d83f052002-02-17 00:30:36 +00001258 goto select_end;
drh22827922000-06-06 17:27:05 +00001259 }
1260 if( sqliteExprCheck(pParse, pE, isAgg, 0) ){
drh1d83f052002-02-17 00:30:36 +00001261 goto select_end;
drh22827922000-06-06 17:27:05 +00001262 }
1263 }
1264 }
1265 if( pHaving ){
1266 if( pGroupBy==0 ){
drhda932812000-06-06 18:00:15 +00001267 sqliteSetString(&pParse->zErrMsg, "a GROUP BY clause is required "
1268 "before HAVING", 0);
drh22827922000-06-06 17:27:05 +00001269 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001270 goto select_end;
drh22827922000-06-06 17:27:05 +00001271 }
drh832508b2002-03-02 17:04:07 +00001272 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pHaving) ){
drh1d83f052002-02-17 00:30:36 +00001273 goto select_end;
drh22827922000-06-06 17:27:05 +00001274 }
drhda932812000-06-06 18:00:15 +00001275 if( sqliteExprCheck(pParse, pHaving, isAgg, 0) ){
drh1d83f052002-02-17 00:30:36 +00001276 goto select_end;
drh22827922000-06-06 17:27:05 +00001277 }
drhcce7d172000-05-31 15:34:51 +00001278 }
1279
drh9562b552002-02-19 15:00:07 +00001280 /* Check for the special case of a min() or max() function by itself
1281 ** in the result set.
1282 */
1283 if( simpleMinMaxQuery(pParse, p, eDest, iParm) ){
drh5cf8e8c2002-02-19 22:42:05 +00001284 rc = 0;
drh9562b552002-02-19 15:00:07 +00001285 goto select_end;
1286 }
1287
drhd820cb12002-02-18 03:21:45 +00001288 /* Begin generating code.
1289 */
1290 v = sqliteGetVdbe(pParse);
1291 if( v==0 ) goto select_end;
1292
1293 /* Generate code for all sub-queries in the FROM clause
1294 */
1295 for(i=0; i<pTabList->nId; i++){
drha76b5df2002-02-23 02:32:10 +00001296 if( pTabList->a[i].pSelect==0 ) continue;
drh2d0794e2002-03-03 03:03:52 +00001297 sqliteSelect(pParse, pTabList->a[i].pSelect, SRT_TempTable, base+i,
drh1b2e0322002-03-03 02:49:51 +00001298 p, i, &isAgg);
1299 pTabList = p->pSrc;
1300 pWhere = p->pWhere;
drhacd4c692002-03-07 02:02:51 +00001301 if( eDest==SRT_Callback ){
1302 pOrderBy = p->pOrderBy;
1303 }
drh1b2e0322002-03-03 02:49:51 +00001304 pGroupBy = p->pGroupBy;
1305 pHaving = p->pHaving;
1306 isDistinct = p->isDistinct;
drhd820cb12002-02-18 03:21:45 +00001307 }
1308
drh832508b2002-03-02 17:04:07 +00001309 /* Check to see if this is a subquery that can be "flattened" into its parent.
1310 ** If flattening is a possiblity, do so and return immediately.
1311 */
drh1b2e0322002-03-03 02:49:51 +00001312 if( pParent && pParentAgg &&
1313 flattenSubquery(pParent, parentTab, *pParentAgg, isAgg) ){
1314 if( isAgg ) *pParentAgg = 1;
drh832508b2002-03-02 17:04:07 +00001315 return rc;
1316 }
drh832508b2002-03-02 17:04:07 +00001317
drh2d0794e2002-03-03 03:03:52 +00001318 /* If the output is destined for a temporary table, open that table.
1319 */
1320 if( eDest==SRT_TempTable ){
1321 sqliteVdbeAddOp(v, OP_OpenTemp, iParm, 0);
1322 }
1323
drh22827922000-06-06 17:27:05 +00001324 /* Do an analysis of aggregate expressions.
drhefb72512000-05-31 20:00:52 +00001325 */
drhd820cb12002-02-18 03:21:45 +00001326 sqliteAggregateInfoReset(pParse);
drh22827922000-06-06 17:27:05 +00001327 if( isAgg ){
drh0bce8352002-02-28 00:41:10 +00001328 assert( pParse->nAgg==0 );
drh22827922000-06-06 17:27:05 +00001329 for(i=0; i<pEList->nExpr; i++){
1330 if( sqliteExprAnalyzeAggregates(pParse, pEList->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001331 goto select_end;
drh22827922000-06-06 17:27:05 +00001332 }
1333 }
1334 if( pGroupBy ){
1335 for(i=0; i<pGroupBy->nExpr; i++){
1336 if( sqliteExprAnalyzeAggregates(pParse, pGroupBy->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001337 goto select_end;
drh22827922000-06-06 17:27:05 +00001338 }
1339 }
1340 }
1341 if( pHaving && sqliteExprAnalyzeAggregates(pParse, pHaving) ){
drh1d83f052002-02-17 00:30:36 +00001342 goto select_end;
drh22827922000-06-06 17:27:05 +00001343 }
drh191b6902000-06-08 11:13:01 +00001344 if( pOrderBy ){
1345 for(i=0; i<pOrderBy->nExpr; i++){
1346 if( sqliteExprAnalyzeAggregates(pParse, pOrderBy->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001347 goto select_end;
drh191b6902000-06-08 11:13:01 +00001348 }
1349 }
1350 }
drhefb72512000-05-31 20:00:52 +00001351 }
1352
drh9bbca4c2001-11-06 04:00:18 +00001353 /* Set the limiter
1354 */
1355 if( p->nLimit<=0 ){
1356 p->nOffset = 0;
1357 }else{
1358 if( p->nOffset<0 ) p->nOffset = 0;
1359 sqliteVdbeAddOp(v, OP_Limit, p->nLimit, p->nOffset);
1360 }
1361
1362
drh22827922000-06-06 17:27:05 +00001363 /* Identify column names if we will be using in the callback. This
drh19a775c2000-06-05 18:54:46 +00001364 ** step is skipped if the output is going to a table or a memory cell.
drhcce7d172000-05-31 15:34:51 +00001365 */
drhfef52082000-06-06 01:50:43 +00001366 if( eDest==SRT_Callback ){
drh832508b2002-03-02 17:04:07 +00001367 generateColumnNames(pParse, p->base, pTabList, pEList);
drhcce7d172000-05-31 15:34:51 +00001368 }
1369
drh22827922000-06-06 17:27:05 +00001370 /* Reset the aggregator
drhcce7d172000-05-31 15:34:51 +00001371 */
1372 if( isAgg ){
drh99fcd712001-10-13 01:06:47 +00001373 sqliteVdbeAddOp(v, OP_AggReset, 0, pParse->nAgg);
drhe5095352002-02-24 03:25:14 +00001374 for(i=0; i<pParse->nAgg; i++){
drh0bce8352002-02-28 00:41:10 +00001375 FuncDef *pFunc;
1376 if( (pFunc = pParse->aAgg[i].pFunc)!=0 && pFunc->xFinalize!=0 ){
drh1350b032002-02-27 19:00:20 +00001377 sqliteVdbeAddOp(v, OP_AggInit, 0, i);
drh0bce8352002-02-28 00:41:10 +00001378 sqliteVdbeChangeP3(v, -1, (char*)pFunc, P3_POINTER);
drhe5095352002-02-24 03:25:14 +00001379 }
1380 }
drh1bee3d72001-10-15 00:44:35 +00001381 if( pGroupBy==0 ){
1382 sqliteVdbeAddOp(v, OP_String, 0, 0);
drh1bee3d72001-10-15 00:44:35 +00001383 sqliteVdbeAddOp(v, OP_AggFocus, 0, 0);
drh1bee3d72001-10-15 00:44:35 +00001384 }
drhcce7d172000-05-31 15:34:51 +00001385 }
1386
drh19a775c2000-06-05 18:54:46 +00001387 /* Initialize the memory cell to NULL
1388 */
drhfef52082000-06-06 01:50:43 +00001389 if( eDest==SRT_Mem ){
drh99fcd712001-10-13 01:06:47 +00001390 sqliteVdbeAddOp(v, OP_String, 0, 0);
drh8721ce42001-11-07 14:22:00 +00001391 sqliteVdbeAddOp(v, OP_MemStore, iParm, 1);
drh19a775c2000-06-05 18:54:46 +00001392 }
1393
drh832508b2002-03-02 17:04:07 +00001394 /* Open a temporary table to use for the distinct set.
drhefb72512000-05-31 20:00:52 +00001395 */
drh19a775c2000-06-05 18:54:46 +00001396 if( isDistinct ){
drh832508b2002-03-02 17:04:07 +00001397 distinct = pParse->nTab++;
drhc6b52df2002-01-04 03:09:29 +00001398 sqliteVdbeAddOp(v, OP_OpenTemp, distinct, 1);
drh832508b2002-03-02 17:04:07 +00001399 }else{
1400 distinct = -1;
drhefb72512000-05-31 20:00:52 +00001401 }
drh832508b2002-03-02 17:04:07 +00001402
1403 /* Begin the database scan
1404 */
1405 pWInfo = sqliteWhereBegin(pParse, p->base, pTabList, pWhere, 0);
drh1d83f052002-02-17 00:30:36 +00001406 if( pWInfo==0 ) goto select_end;
drhcce7d172000-05-31 15:34:51 +00001407
drh22827922000-06-06 17:27:05 +00001408 /* Use the standard inner loop if we are not dealing with
1409 ** aggregates
drhcce7d172000-05-31 15:34:51 +00001410 */
drhda9d6c42000-05-31 18:20:14 +00001411 if( !isAgg ){
drh82c3d632000-06-06 21:56:07 +00001412 if( selectInnerLoop(pParse, pEList, 0, 0, pOrderBy, distinct, eDest, iParm,
drh22827922000-06-06 17:27:05 +00001413 pWInfo->iContinue, pWInfo->iBreak) ){
drh1d83f052002-02-17 00:30:36 +00001414 goto select_end;
drhda9d6c42000-05-31 18:20:14 +00001415 }
drhcce7d172000-05-31 15:34:51 +00001416 }
drhefb72512000-05-31 20:00:52 +00001417
drh22827922000-06-06 17:27:05 +00001418 /* If we are dealing with aggregates, then to the special aggregate
1419 ** processing.
drhefb72512000-05-31 20:00:52 +00001420 */
drh22827922000-06-06 17:27:05 +00001421 else{
drh22827922000-06-06 17:27:05 +00001422 if( pGroupBy ){
drh1bee3d72001-10-15 00:44:35 +00001423 int lbl1;
drh22827922000-06-06 17:27:05 +00001424 for(i=0; i<pGroupBy->nExpr; i++){
1425 sqliteExprCode(pParse, pGroupBy->a[i].pExpr);
1426 }
drh99fcd712001-10-13 01:06:47 +00001427 sqliteVdbeAddOp(v, OP_MakeKey, pGroupBy->nExpr, 0);
drh1bee3d72001-10-15 00:44:35 +00001428 lbl1 = sqliteVdbeMakeLabel(v);
drh99fcd712001-10-13 01:06:47 +00001429 sqliteVdbeAddOp(v, OP_AggFocus, 0, lbl1);
drh22827922000-06-06 17:27:05 +00001430 for(i=0; i<pParse->nAgg; i++){
1431 if( pParse->aAgg[i].isAgg ) continue;
1432 sqliteExprCode(pParse, pParse->aAgg[i].pExpr);
drh99fcd712001-10-13 01:06:47 +00001433 sqliteVdbeAddOp(v, OP_AggSet, 0, i);
drhcce7d172000-05-31 15:34:51 +00001434 }
drh22827922000-06-06 17:27:05 +00001435 sqliteVdbeResolveLabel(v, lbl1);
drhcce7d172000-05-31 15:34:51 +00001436 }
drh22827922000-06-06 17:27:05 +00001437 for(i=0; i<pParse->nAgg; i++){
1438 Expr *pE;
drh0bce8352002-02-28 00:41:10 +00001439 int j;
drh22827922000-06-06 17:27:05 +00001440 if( !pParse->aAgg[i].isAgg ) continue;
1441 pE = pParse->aAgg[i].pExpr;
drh22827922000-06-06 17:27:05 +00001442 assert( pE->op==TK_AGG_FUNCTION );
drh0bce8352002-02-28 00:41:10 +00001443 if( pE->pList ){
1444 for(j=0; j<pE->pList->nExpr; j++){
1445 sqliteExprCode(pParse, pE->pList->a[j].pExpr);
1446 }
drhe5095352002-02-24 03:25:14 +00001447 }
drh0bce8352002-02-28 00:41:10 +00001448 sqliteVdbeAddOp(v, OP_Integer, i, 0);
drhf55f25f2002-02-28 01:46:11 +00001449 sqliteVdbeAddOp(v, OP_AggFunc, 0, pE->pList ? pE->pList->nExpr : 0);
drh0bce8352002-02-28 00:41:10 +00001450 assert( pParse->aAgg[i].pFunc!=0 );
1451 assert( pParse->aAgg[i].pFunc->xStep!=0 );
1452 sqliteVdbeChangeP3(v, -1, (char*)pParse->aAgg[i].pFunc, P3_POINTER);
drh22827922000-06-06 17:27:05 +00001453 }
drhcce7d172000-05-31 15:34:51 +00001454 }
1455
1456 /* End the database scan loop.
1457 */
1458 sqliteWhereEnd(pWInfo);
1459
drh22827922000-06-06 17:27:05 +00001460 /* If we are processing aggregates, we need to set up a second loop
1461 ** over all of the aggregate values and process them.
1462 */
1463 if( isAgg ){
1464 int endagg = sqliteVdbeMakeLabel(v);
1465 int startagg;
drh99fcd712001-10-13 01:06:47 +00001466 startagg = sqliteVdbeAddOp(v, OP_AggNext, 0, endagg);
drh22827922000-06-06 17:27:05 +00001467 pParse->useAgg = 1;
1468 if( pHaving ){
1469 sqliteExprIfFalse(pParse, pHaving, startagg);
1470 }
drh82c3d632000-06-06 21:56:07 +00001471 if( selectInnerLoop(pParse, pEList, 0, 0, pOrderBy, distinct, eDest, iParm,
drh22827922000-06-06 17:27:05 +00001472 startagg, endagg) ){
drh1d83f052002-02-17 00:30:36 +00001473 goto select_end;
drh22827922000-06-06 17:27:05 +00001474 }
drh99fcd712001-10-13 01:06:47 +00001475 sqliteVdbeAddOp(v, OP_Goto, 0, startagg);
1476 sqliteVdbeResolveLabel(v, endagg);
1477 sqliteVdbeAddOp(v, OP_Noop, 0, 0);
drh22827922000-06-06 17:27:05 +00001478 pParse->useAgg = 0;
1479 }
1480
drhcce7d172000-05-31 15:34:51 +00001481 /* If there is an ORDER BY clause, then we need to sort the results
1482 ** and send them to the callback one by one.
1483 */
1484 if( pOrderBy ){
drhd8bc7082000-06-07 23:51:50 +00001485 generateSortTail(v, pEList->nExpr);
drhcce7d172000-05-31 15:34:51 +00001486 }
drh6a535342001-10-19 16:44:56 +00001487
1488
1489 /* Issue a null callback if that is what the user wants.
1490 */
1491 if( (pParse->db->flags & SQLITE_NullCallback)!=0 && eDest==SRT_Callback ){
1492 sqliteVdbeAddOp(v, OP_NullCallback, pEList->nExpr, 0);
1493 }
1494
drh1d83f052002-02-17 00:30:36 +00001495 /* The SELECT was successfully coded. Set the return code to 0
1496 ** to indicate no errors.
1497 */
1498 rc = 0;
1499
1500 /* Control jumps to here if an error is encountered above, or upon
1501 ** successful coding of the SELECT.
1502 */
1503select_end:
drh832508b2002-03-02 17:04:07 +00001504 pParse->nTab = base;
drh1d83f052002-02-17 00:30:36 +00001505 sqliteAggregateInfoReset(pParse);
1506 return rc;
drhcce7d172000-05-31 15:34:51 +00001507}