blob: 305c3e39a2f1b990668dbbe71754527e1c988b41 [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**
drh2d0794e2002-03-03 03:03:52 +000015** $Id: select.c,v 1.73 2002/03/03 03:03:53 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;
330 pTab->aCol = sqliteMalloc( sizeof(pTab->aCol[0])*pTab->nCol );
331 for(i=0; i<pTab->nCol; i++){
332 Expr *p;
333 if( pEList->a[i].zName ){
334 pTab->aCol[i].zName = sqliteStrDup(pEList->a[i].zName);
335 }else if( (p=pEList->a[i].pExpr)->span.z && p->span.z[0] ){
336 sqliteSetNString(&pTab->aCol[i].zName, p->span.z, p->span.n, 0);
drhd820cb12002-02-18 03:21:45 +0000337 }else if( p->op==TK_DOT && p->pRight && p->pRight->token.z &&
338 p->pRight->token.z[0] ){
339 sqliteSetNString(&pTab->aCol[i].zName,
340 p->pRight->token.z, p->pRight->token.n, 0);
drh22f70c32002-02-18 01:17:00 +0000341 }else{
342 char zBuf[30];
343 sprintf(zBuf, "column%d", i+1);
344 pTab->aCol[i].zName = sqliteStrDup(zBuf);
345 }
346 }
347 pTab->iPKey = -1;
348 return pTab;
349}
350
351/*
drhd8bc7082000-06-07 23:51:50 +0000352** For the given SELECT statement, do two things.
353**
drh967e8b72000-06-21 13:59:10 +0000354** (1) Fill in the pTabList->a[].pTab fields in the IdList that
drh22f70c32002-02-18 01:17:00 +0000355** defines the set of tables that should be scanned.
drhd8bc7082000-06-07 23:51:50 +0000356**
357** (2) If the columns to be extracted variable (pEList) is NULL
358** (meaning that a "*" was used in the SQL statement) then
359** create a fake pEList containing the names of all columns
360** of all tables.
361**
362** Return 0 on success. If there are problems, leave an error message
363** in pParse and return non-zero.
364*/
365static int fillInColumnList(Parse *pParse, Select *p){
drh7c917d12001-12-16 20:05:05 +0000366 int i, j, k;
drhdaffd0e2001-04-11 14:28:42 +0000367 IdList *pTabList;
368 ExprList *pEList;
drha76b5df2002-02-23 02:32:10 +0000369 Table *pTab;
drhdaffd0e2001-04-11 14:28:42 +0000370
371 if( p==0 || p->pSrc==0 ) return 1;
372 pTabList = p->pSrc;
373 pEList = p->pEList;
drhd8bc7082000-06-07 23:51:50 +0000374
375 /* Look up every table in the table list.
376 */
377 for(i=0; i<pTabList->nId; i++){
378 if( pTabList->a[i].pTab ){
379 /* This routine has run before! No need to continue */
380 return 0;
381 }
drhdaffd0e2001-04-11 14:28:42 +0000382 if( pTabList->a[i].zName==0 ){
drh22f70c32002-02-18 01:17:00 +0000383 /* A sub-query in the FROM clause of a SELECT */
drh22f70c32002-02-18 01:17:00 +0000384 assert( pTabList->a[i].pSelect!=0 );
385 pTabList->a[i].pTab = pTab =
386 sqliteResultSetOfSelect(pParse, pTabList->a[i].zAlias,
387 pTabList->a[i].pSelect);
388 if( pTab==0 ){
389 return 1;
390 }
391 pTab->isTransient = 1;
392 }else{
drha76b5df2002-02-23 02:32:10 +0000393 /* An ordinary table or view name in the FROM clause */
394 pTabList->a[i].pTab = pTab =
395 sqliteFindTable(pParse->db, pTabList->a[i].zName);
396 if( pTab==0 ){
drh22f70c32002-02-18 01:17:00 +0000397 sqliteSetString(&pParse->zErrMsg, "no such table: ",
398 pTabList->a[i].zName, 0);
399 pParse->nErr++;
400 return 1;
401 }
drha76b5df2002-02-23 02:32:10 +0000402 if( pTab->pSelect ){
drhff78bd22002-02-27 01:47:11 +0000403 pTabList->a[i].pSelect = sqliteSelectDup(pTab->pSelect);
drha76b5df2002-02-23 02:32:10 +0000404 }
drhd8bc7082000-06-07 23:51:50 +0000405 }
406 }
407
drh7c917d12001-12-16 20:05:05 +0000408 /* For every "*" that occurs in the column list, insert the names of
409 ** all columns in all tables. The parser inserted a special expression
410 ** with the TK_ALL operator for each "*" that it found in the column list.
411 ** The following code just has to locate the TK_ALL expressions and expand
412 ** each one to the list of all columns in all tables.
drhd8bc7082000-06-07 23:51:50 +0000413 */
drh7c917d12001-12-16 20:05:05 +0000414 for(k=0; k<pEList->nExpr; k++){
415 if( pEList->a[k].pExpr->op==TK_ALL ) break;
416 }
417 if( k<pEList->nExpr ){
418 struct ExprList_item *a = pEList->a;
419 ExprList *pNew = 0;
420 for(k=0; k<pEList->nExpr; k++){
421 if( a[k].pExpr->op!=TK_ALL ){
422 pNew = sqliteExprListAppend(pNew, a[k].pExpr, 0);
423 pNew->a[pNew->nExpr-1].zName = a[k].zName;
424 a[k].pExpr = 0;
425 a[k].zName = 0;
426 }else{
427 for(i=0; i<pTabList->nId; i++){
428 Table *pTab = pTabList->a[i].pTab;
429 for(j=0; j<pTab->nCol; j++){
drh22f70c32002-02-18 01:17:00 +0000430 Expr *pExpr, *pLeft, *pRight;
431 pRight = sqliteExpr(TK_ID, 0, 0, 0);
432 if( pRight==0 ) break;
433 pRight->token.z = pTab->aCol[j].zName;
434 pRight->token.n = strlen(pTab->aCol[j].zName);
435 if( pTab->zName ){
436 pLeft = sqliteExpr(TK_ID, 0, 0, 0);
437 if( pLeft==0 ) break;
438 if( pTabList->a[i].zAlias && pTabList->a[i].zAlias[0] ){
439 pLeft->token.z = pTabList->a[i].zAlias;
440 pLeft->token.n = strlen(pTabList->a[i].zAlias);
441 }else{
442 pLeft->token.z = pTab->zName;
443 pLeft->token.n = strlen(pTab->zName);
444 }
445 pExpr = sqliteExpr(TK_DOT, pLeft, pRight, 0);
446 if( pExpr==0 ) break;
drh7c917d12001-12-16 20:05:05 +0000447 }else{
drh22f70c32002-02-18 01:17:00 +0000448 pExpr = pRight;
449 pExpr->span = pExpr->token;
drh7c917d12001-12-16 20:05:05 +0000450 }
drh7c917d12001-12-16 20:05:05 +0000451 pNew = sqliteExprListAppend(pNew, pExpr, 0);
452 }
drh17e24df2001-11-06 14:10:41 +0000453 }
drhd8bc7082000-06-07 23:51:50 +0000454 }
455 }
drh7c917d12001-12-16 20:05:05 +0000456 sqliteExprListDelete(pEList);
457 p->pEList = pNew;
drhd8bc7082000-06-07 23:51:50 +0000458 }
459 return 0;
460}
461
462/*
drhff78bd22002-02-27 01:47:11 +0000463** This routine recursively unlinks the Select.pSrc.a[].pTab pointers
464** in a select structure. It just sets the pointers to NULL. This
465** routine is recursive in the sense that if the Select.pSrc.a[].pSelect
466** pointer is not NULL, this routine is called recursively on that pointer.
467**
468** This routine is called on the Select structure that defines a
469** VIEW in order to undo any bindings to tables. This is necessary
470** because those tables might be DROPed by a subsequent SQL command.
471*/
472void sqliteSelectUnbind(Select *p){
473 int i;
474 IdList *pSrc = p->pSrc;
475 Table *pTab;
476 if( p==0 ) return;
477 for(i=0; i<pSrc->nId; i++){
478 if( (pTab = pSrc->a[i].pTab)!=0 ){
479 if( pTab->isTransient ){
480 sqliteDeleteTable(0, pTab);
481 sqliteSelectDelete(pSrc->a[i].pSelect);
482 pSrc->a[i].pSelect = 0;
483 }
484 pSrc->a[i].pTab = 0;
485 if( pSrc->a[i].pSelect ){
486 sqliteSelectUnbind(pSrc->a[i].pSelect);
487 }
488 }
489 }
490}
491
492/*
drhd8bc7082000-06-07 23:51:50 +0000493** This routine associates entries in an ORDER BY expression list with
494** columns in a result. For each ORDER BY expression, the opcode of
drh967e8b72000-06-21 13:59:10 +0000495** the top-level node is changed to TK_COLUMN and the iColumn value of
drhd8bc7082000-06-07 23:51:50 +0000496** the top-level node is filled in with column number and the iTable
497** value of the top-level node is filled with iTable parameter.
498**
499** If there are prior SELECT clauses, they are processed first. A match
500** in an earlier SELECT takes precedence over a later SELECT.
501**
502** Any entry that does not match is flagged as an error. The number
503** of errors is returned.
504*/
505static int matchOrderbyToColumn(
506 Parse *pParse, /* A place to leave error messages */
507 Select *pSelect, /* Match to result columns of this SELECT */
508 ExprList *pOrderBy, /* The ORDER BY values to match against columns */
509 int iTable, /* Insert this this value in iTable */
510 int mustComplete /* If TRUE all ORDER BYs must match */
511){
512 int nErr = 0;
513 int i, j;
514 ExprList *pEList;
515
drhdaffd0e2001-04-11 14:28:42 +0000516 if( pSelect==0 || pOrderBy==0 ) return 1;
drhd8bc7082000-06-07 23:51:50 +0000517 if( mustComplete ){
518 for(i=0; i<pOrderBy->nExpr; i++){ pOrderBy->a[i].done = 0; }
519 }
520 if( fillInColumnList(pParse, pSelect) ){
521 return 1;
522 }
523 if( pSelect->pPrior ){
drh92cd52f2000-06-08 01:55:29 +0000524 if( matchOrderbyToColumn(pParse, pSelect->pPrior, pOrderBy, iTable, 0) ){
525 return 1;
526 }
drhd8bc7082000-06-07 23:51:50 +0000527 }
528 pEList = pSelect->pEList;
529 for(i=0; i<pOrderBy->nExpr; i++){
530 Expr *pE = pOrderBy->a[i].pExpr;
drh92cd52f2000-06-08 01:55:29 +0000531 int match = 0;
drhd8bc7082000-06-07 23:51:50 +0000532 if( pOrderBy->a[i].done ) continue;
533 for(j=0; j<pEList->nExpr; j++){
drh4cfa7932000-06-08 15:10:46 +0000534 if( pEList->a[j].zName && (pE->op==TK_ID || pE->op==TK_STRING) ){
drha76b5df2002-02-23 02:32:10 +0000535 char *zName, *zLabel;
536 zName = pEList->a[j].zName;
537 assert( pE->token.z );
538 zLabel = sqliteStrNDup(pE->token.z, pE->token.n);
drhd8bc7082000-06-07 23:51:50 +0000539 sqliteDequote(zLabel);
540 if( sqliteStrICmp(zName, zLabel)==0 ){
541 match = 1;
542 }
drh6e142f52000-06-08 13:36:40 +0000543 sqliteFree(zLabel);
drhd8bc7082000-06-07 23:51:50 +0000544 }
drh4cfa7932000-06-08 15:10:46 +0000545 if( match==0 && sqliteExprCompare(pE, pEList->a[j].pExpr) ){
drhd8bc7082000-06-07 23:51:50 +0000546 match = 1;
547 }
548 if( match ){
drh967e8b72000-06-21 13:59:10 +0000549 pE->op = TK_COLUMN;
550 pE->iColumn = j;
drhd8bc7082000-06-07 23:51:50 +0000551 pE->iTable = iTable;
552 pOrderBy->a[i].done = 1;
553 break;
554 }
555 }
drh92cd52f2000-06-08 01:55:29 +0000556 if( !match && mustComplete ){
drhd8bc7082000-06-07 23:51:50 +0000557 char zBuf[30];
558 sprintf(zBuf,"%d",i+1);
559 sqliteSetString(&pParse->zErrMsg, "ORDER BY term number ", zBuf,
560 " does not match any result column", 0);
561 pParse->nErr++;
562 nErr++;
563 break;
564 }
565 }
566 return nErr;
567}
568
569/*
570** Get a VDBE for the given parser context. Create a new one if necessary.
571** If an error occurs, return NULL and leave a message in pParse.
572*/
573Vdbe *sqliteGetVdbe(Parse *pParse){
574 Vdbe *v = pParse->pVdbe;
575 if( v==0 ){
drh4c504392000-10-16 22:06:40 +0000576 v = pParse->pVdbe = sqliteVdbeCreate(pParse->db);
drhd8bc7082000-06-07 23:51:50 +0000577 }
drhd8bc7082000-06-07 23:51:50 +0000578 return v;
579}
580
581
582/*
drh82c3d632000-06-06 21:56:07 +0000583** This routine is called to process a query that is really the union
584** or intersection of two or more separate queries.
585*/
586static int multiSelect(Parse *pParse, Select *p, int eDest, int iParm){
drh10e5e3c2000-06-08 00:19:02 +0000587 int rc; /* Success code from a subroutine */
588 Select *pPrior; /* Another SELECT immediately to our left */
589 Vdbe *v; /* Generate code to this VDBE */
590 int base; /* Baseline value for pParse->nTab */
drh82c3d632000-06-06 21:56:07 +0000591
drhd8bc7082000-06-07 23:51:50 +0000592 /* Make sure there is no ORDER BY clause on prior SELECTs. Only the
593 ** last SELECT in the series may have an ORDER BY.
drh82c3d632000-06-06 21:56:07 +0000594 */
drhdaffd0e2001-04-11 14:28:42 +0000595 if( p==0 || p->pPrior==0 ) return 1;
drhd8bc7082000-06-07 23:51:50 +0000596 pPrior = p->pPrior;
597 if( pPrior->pOrderBy ){
598 sqliteSetString(&pParse->zErrMsg,"ORDER BY clause should come after ",
599 selectOpName(p->op), " not before", 0);
drh82c3d632000-06-06 21:56:07 +0000600 pParse->nErr++;
601 return 1;
602 }
603
drhd8bc7082000-06-07 23:51:50 +0000604 /* Make sure we have a valid query engine. If not, create a new one.
605 */
606 v = sqliteGetVdbe(pParse);
607 if( v==0 ) return 1;
608
609 /* Process the UNION or INTERSECTION
610 */
drh10e5e3c2000-06-08 00:19:02 +0000611 base = pParse->nTab;
drh82c3d632000-06-06 21:56:07 +0000612 switch( p->op ){
drhd8bc7082000-06-07 23:51:50 +0000613 case TK_ALL:
drh82c3d632000-06-06 21:56:07 +0000614 case TK_EXCEPT:
615 case TK_UNION: {
drhd8bc7082000-06-07 23:51:50 +0000616 int unionTab; /* Cursor number of the temporary table holding result */
617 int op; /* One of the SRT_ operations to apply to self */
618 int priorOp; /* The SRT_ operation to apply to prior selects */
drh82c3d632000-06-06 21:56:07 +0000619
drhd8bc7082000-06-07 23:51:50 +0000620 priorOp = p->op==TK_ALL ? SRT_Table : SRT_Union;
621 if( eDest==priorOp ){
622 /* We can reuse a temporary table generated by a SELECT to our
623 ** right. This also means we are not the right-most select and so
624 ** we cannot have an ORDER BY clause
625 */
drh82c3d632000-06-06 21:56:07 +0000626 unionTab = iParm;
drhd8bc7082000-06-07 23:51:50 +0000627 assert( p->pOrderBy==0 );
drh82c3d632000-06-06 21:56:07 +0000628 }else{
drhd8bc7082000-06-07 23:51:50 +0000629 /* We will need to create our own temporary table to hold the
630 ** intermediate results.
631 */
632 unionTab = pParse->nTab++;
633 if( p->pOrderBy
634 && matchOrderbyToColumn(pParse, p, p->pOrderBy, unionTab, 1) ){
635 return 1;
636 }
drhd8bc7082000-06-07 23:51:50 +0000637 if( p->op!=TK_ALL ){
drhc6b52df2002-01-04 03:09:29 +0000638 sqliteVdbeAddOp(v, OP_OpenTemp, unionTab, 1);
drh99fcd712001-10-13 01:06:47 +0000639 sqliteVdbeAddOp(v, OP_KeyAsData, unionTab, 1);
drh345fda32001-01-15 22:51:08 +0000640 }else{
drh99fcd712001-10-13 01:06:47 +0000641 sqliteVdbeAddOp(v, OP_OpenTemp, unionTab, 0);
drhd8bc7082000-06-07 23:51:50 +0000642 }
drh82c3d632000-06-06 21:56:07 +0000643 }
drhd8bc7082000-06-07 23:51:50 +0000644
645 /* Code the SELECT statements to our left
646 */
drh832508b2002-03-02 17:04:07 +0000647 rc = sqliteSelect(pParse, pPrior, priorOp, unionTab, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000648 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000649
650 /* Code the current SELECT statement
651 */
652 switch( p->op ){
653 case TK_EXCEPT: op = SRT_Except; break;
654 case TK_UNION: op = SRT_Union; break;
655 case TK_ALL: op = SRT_Table; break;
656 }
drh82c3d632000-06-06 21:56:07 +0000657 p->pPrior = 0;
drh832508b2002-03-02 17:04:07 +0000658 rc = sqliteSelect(pParse, p, op, unionTab, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000659 p->pPrior = pPrior;
660 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000661
662 /* Convert the data in the temporary table into whatever form
663 ** it is that we currently need.
664 */
665 if( eDest!=priorOp ){
drh6b563442001-11-07 16:48:26 +0000666 int iCont, iBreak, iStart;
drh82c3d632000-06-06 21:56:07 +0000667 assert( p->pEList );
drh832508b2002-03-02 17:04:07 +0000668 generateColumnNames(pParse, p->base, 0, p->pEList);
drh82c3d632000-06-06 21:56:07 +0000669 iBreak = sqliteVdbeMakeLabel(v);
drh6b563442001-11-07 16:48:26 +0000670 iCont = sqliteVdbeMakeLabel(v);
671 sqliteVdbeAddOp(v, OP_Rewind, unionTab, iBreak);
672 iStart = sqliteVdbeCurrentAddr(v);
drh82c3d632000-06-06 21:56:07 +0000673 rc = selectInnerLoop(pParse, 0, unionTab, p->pEList->nExpr,
drhd8bc7082000-06-07 23:51:50 +0000674 p->pOrderBy, -1, eDest, iParm,
drh82c3d632000-06-06 21:56:07 +0000675 iCont, iBreak);
676 if( rc ) return 1;
drh6b563442001-11-07 16:48:26 +0000677 sqliteVdbeResolveLabel(v, iCont);
678 sqliteVdbeAddOp(v, OP_Next, unionTab, iStart);
drh99fcd712001-10-13 01:06:47 +0000679 sqliteVdbeResolveLabel(v, iBreak);
680 sqliteVdbeAddOp(v, OP_Close, unionTab, 0);
drhd8bc7082000-06-07 23:51:50 +0000681 if( p->pOrderBy ){
682 generateSortTail(v, p->pEList->nExpr);
683 }
drh82c3d632000-06-06 21:56:07 +0000684 }
685 break;
686 }
687 case TK_INTERSECT: {
688 int tab1, tab2;
drh6b563442001-11-07 16:48:26 +0000689 int iCont, iBreak, iStart;
drh82c3d632000-06-06 21:56:07 +0000690
drhd8bc7082000-06-07 23:51:50 +0000691 /* INTERSECT is different from the others since it requires
drh6206d502000-06-19 19:09:08 +0000692 ** two temporary tables. Hence it has its own case. Begin
drhd8bc7082000-06-07 23:51:50 +0000693 ** by allocating the tables we will need.
694 */
drh82c3d632000-06-06 21:56:07 +0000695 tab1 = pParse->nTab++;
696 tab2 = pParse->nTab++;
drhd8bc7082000-06-07 23:51:50 +0000697 if( p->pOrderBy && matchOrderbyToColumn(pParse,p,p->pOrderBy,tab1,1) ){
698 return 1;
699 }
drhc6b52df2002-01-04 03:09:29 +0000700 sqliteVdbeAddOp(v, OP_OpenTemp, tab1, 1);
drh99fcd712001-10-13 01:06:47 +0000701 sqliteVdbeAddOp(v, OP_KeyAsData, tab1, 1);
drhd8bc7082000-06-07 23:51:50 +0000702
703 /* Code the SELECTs to our left into temporary table "tab1".
704 */
drh832508b2002-03-02 17:04:07 +0000705 rc = sqliteSelect(pParse, pPrior, SRT_Union, tab1, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000706 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000707
708 /* Code the current SELECT into temporary table "tab2"
709 */
drhc6b52df2002-01-04 03:09:29 +0000710 sqliteVdbeAddOp(v, OP_OpenTemp, tab2, 1);
drh99fcd712001-10-13 01:06:47 +0000711 sqliteVdbeAddOp(v, OP_KeyAsData, tab2, 1);
drh82c3d632000-06-06 21:56:07 +0000712 p->pPrior = 0;
drh832508b2002-03-02 17:04:07 +0000713 rc = sqliteSelect(pParse, p, SRT_Union, tab2, 0, 0, 0);
drh82c3d632000-06-06 21:56:07 +0000714 p->pPrior = pPrior;
715 if( rc ) return rc;
drhd8bc7082000-06-07 23:51:50 +0000716
717 /* Generate code to take the intersection of the two temporary
718 ** tables.
719 */
drh82c3d632000-06-06 21:56:07 +0000720 assert( p->pEList );
drh832508b2002-03-02 17:04:07 +0000721 generateColumnNames(pParse, p->base, 0, p->pEList);
drh82c3d632000-06-06 21:56:07 +0000722 iBreak = sqliteVdbeMakeLabel(v);
drh6b563442001-11-07 16:48:26 +0000723 iCont = sqliteVdbeMakeLabel(v);
724 sqliteVdbeAddOp(v, OP_Rewind, tab1, iBreak);
725 iStart = sqliteVdbeAddOp(v, OP_FullKey, tab1, 0);
drh99fcd712001-10-13 01:06:47 +0000726 sqliteVdbeAddOp(v, OP_NotFound, tab2, iCont);
drh82c3d632000-06-06 21:56:07 +0000727 rc = selectInnerLoop(pParse, 0, tab1, p->pEList->nExpr,
drhd8bc7082000-06-07 23:51:50 +0000728 p->pOrderBy, -1, eDest, iParm,
drh82c3d632000-06-06 21:56:07 +0000729 iCont, iBreak);
730 if( rc ) return 1;
drh6b563442001-11-07 16:48:26 +0000731 sqliteVdbeResolveLabel(v, iCont);
732 sqliteVdbeAddOp(v, OP_Next, tab1, iStart);
drh99fcd712001-10-13 01:06:47 +0000733 sqliteVdbeResolveLabel(v, iBreak);
734 sqliteVdbeAddOp(v, OP_Close, tab2, 0);
735 sqliteVdbeAddOp(v, OP_Close, tab1, 0);
drhd8bc7082000-06-07 23:51:50 +0000736 if( p->pOrderBy ){
737 generateSortTail(v, p->pEList->nExpr);
738 }
drh82c3d632000-06-06 21:56:07 +0000739 break;
740 }
741 }
742 assert( p->pEList && pPrior->pEList );
743 if( p->pEList->nExpr!=pPrior->pEList->nExpr ){
drhd8bc7082000-06-07 23:51:50 +0000744 sqliteSetString(&pParse->zErrMsg, "SELECTs to the left and right of ",
745 selectOpName(p->op), " do not have the same number of result columns", 0);
drh82c3d632000-06-06 21:56:07 +0000746 pParse->nErr++;
747 return 1;
drh22827922000-06-06 17:27:05 +0000748 }
drh10e5e3c2000-06-08 00:19:02 +0000749 pParse->nTab = base;
drh22827922000-06-06 17:27:05 +0000750 return 0;
751}
752
753/*
drh832508b2002-03-02 17:04:07 +0000754** Recursively scan through an expression tree. For every reference
755** to a column in table number iFrom, change that reference to the
756** same column in table number iTo.
757*/
758static void changeTables(Expr *pExpr, int iFrom, int iTo){
759 if( pExpr==0 ) return;
760 if( pExpr->op==TK_COLUMN && pExpr->iTable==iFrom ){
761 pExpr->iTable = iTo;
762 }else{
drh1b2e0322002-03-03 02:49:51 +0000763 static void changeTablesInList(ExprList*, int, int);
drh832508b2002-03-02 17:04:07 +0000764 changeTables(pExpr->pLeft, iFrom, iTo);
765 changeTables(pExpr->pRight, iFrom, iTo);
drh1b2e0322002-03-03 02:49:51 +0000766 changeTablesInList(pExpr->pList, iFrom, iTo);
767 }
768}
769static void changeTablesInList(ExprList *pList, int iFrom, int iTo){
770 if( pList ){
771 int i;
772 for(i=0; i<pList->nExpr; i++){
773 changeTables(pList->a[i].pExpr, iFrom, iTo);
drh832508b2002-03-02 17:04:07 +0000774 }
775 }
776}
777
778/*
779** Scan through the expression pExpr. Replace every reference to
780** a column in table number iTable with a copy of the corresponding
781** entry in pEList. When make a copy of pEList, change references
782** to columns in table iSub into references to table iTable.
783**
784** This routine is part of the flattening procedure. A subquery
785** whose result set is defined by pEList appears as entry in the
786** FROM clause of a SELECT such that the VDBE cursor assigned to that
787** FORM clause entry is iTable. This routine make the necessary
788** changes to pExpr so that it refers directly to the source table
789** of the subquery rather the result set of the subquery.
790*/
791static void substExpr(Expr *pExpr, int iTable, ExprList *pEList, int iSub){
792 if( pExpr==0 ) return;
793 if( pExpr->op==TK_COLUMN && pExpr->iTable==iTable ){
794 Expr *pNew;
795 assert( pEList!=0 && pExpr->iColumn>=0 && pExpr->iColumn<pEList->nExpr );
796 assert( pExpr->pLeft==0 && pExpr->pRight==0 && pExpr->pList==0 );
797 pNew = pEList->a[pExpr->iColumn].pExpr;
798 assert( pNew!=0 );
799 pExpr->op = pNew->op;
800 pExpr->pLeft = sqliteExprDup(pNew->pLeft);
801 pExpr->pRight = sqliteExprDup(pNew->pRight);
802 pExpr->pList = sqliteExprListDup(pNew->pList);
803 pExpr->iTable = pNew->iTable;
804 pExpr->iColumn = pNew->iColumn;
805 pExpr->iAgg = pNew->iAgg;
drh1b2e0322002-03-03 02:49:51 +0000806 pExpr->token = pNew->token;
drh832508b2002-03-02 17:04:07 +0000807 if( iSub!=iTable ){
808 changeTables(pExpr, iSub, iTable);
809 }
810 }else{
811 static void substExprList(ExprList*,int,ExprList*,int);
812 substExpr(pExpr->pLeft, iTable, pEList, iSub);
813 substExpr(pExpr->pRight, iTable, pEList, iSub);
814 substExprList(pExpr->pList, iTable, pEList, iSub);
815 }
816}
817static void
818substExprList(ExprList *pList, int iTable, ExprList *pEList, int iSub){
819 int i;
820 if( pList==0 ) return;
821 for(i=0; i<pList->nExpr; i++){
822 substExpr(pList->a[i].pExpr, iTable, pEList, iSub);
823 }
824}
825
826/*
drh1350b032002-02-27 19:00:20 +0000827** This routine attempts to flatten subqueries in order to speed
828** execution. It returns 1 if it makes changes and 0 if no flattening
829** occurs.
830**
831** To understand the concept of flattening, consider the following
832** query:
833**
834** SELECT a FROM (SELECT x+y AS a FROM t1 WHERE z<100) WHERE a>5
835**
836** The default way of implementing this query is to execute the
837** subquery first and store the results in a temporary table, then
838** run the outer query on that temporary table. This requires two
839** passes over the data. Furthermore, because the temporary table
840** has no indices, the WHERE clause on the outer query cannot be
drh832508b2002-03-02 17:04:07 +0000841** optimized.
drh1350b032002-02-27 19:00:20 +0000842**
drh832508b2002-03-02 17:04:07 +0000843** This routine attempts to rewrite queries such as the above into
drh1350b032002-02-27 19:00:20 +0000844** a single flat select, like this:
845**
846** SELECT x+y AS a FROM t1 WHERE z<100 AND a>5
847**
848** The code generated for this simpification gives the same result
drh832508b2002-03-02 17:04:07 +0000849** but only has to scan the data once. And because indices might
850** exist on the table t1, a complete scan of the data might be
851** avoided.
drh1350b032002-02-27 19:00:20 +0000852**
drh832508b2002-03-02 17:04:07 +0000853** Flattening is only attempted if all of the following are true:
drh1350b032002-02-27 19:00:20 +0000854**
drh832508b2002-03-02 17:04:07 +0000855** (1) The subquery and the outer query do not both use aggregates.
drh1350b032002-02-27 19:00:20 +0000856**
drh832508b2002-03-02 17:04:07 +0000857** (2) The subquery is not an aggregate or the outer query is not a join.
858**
859** (3) The subquery is not a join.
860**
861** (4) The subquery is not DISTINCT or the outer query is not a join.
862**
863** (5) The subquery is not DISTINCT or the outer query does not use
864** aggregates.
865**
866** (6) The subquery does not use aggregates or the outer query is not
867** DISTINCT.
868**
869** In this routine, the "p" parameter is a pointer to the outer query.
870** The subquery is p->pSrc->a[iFrom]. isAgg is true if the outer query
871** uses aggregates and subqueryIsAgg is true if the subquery uses aggregates.
872**
873** If flattening is not attempted, this routine is a no-op and return 0.
874** If flattening is attempted this routine returns 1.
875**
876** All of the expression analysis must occur on both the outer query and
877** the subquery before this routine runs.
drh1350b032002-02-27 19:00:20 +0000878*/
drh832508b2002-03-02 17:04:07 +0000879int flattenSubquery(Select *p, int iFrom, int isAgg, int subqueryIsAgg){
drh1350b032002-02-27 19:00:20 +0000880 Select *pSub;
drh832508b2002-03-02 17:04:07 +0000881 IdList *pSrc, *pSubSrc;
882 ExprList *pList;
883 int i;
884 int iParent, iSub;
885 Expr *pWhere;
drh1350b032002-02-27 19:00:20 +0000886
drh832508b2002-03-02 17:04:07 +0000887 /* Check to see if flattening is permitted. Return 0 if not.
888 */
889 if( p==0 ) return 0;
890 pSrc = p->pSrc;
891 assert( pSrc && iFrom>=0 && iFrom<pSrc->nId );
892 pSub = pSrc->a[iFrom].pSelect;
893 assert( pSub!=0 );
894 if( isAgg && subqueryIsAgg ) return 0;
895 if( subqueryIsAgg && pSrc->nId>1 ) return 0;
896 pSubSrc = pSub->pSrc;
897 assert( pSubSrc );
898 if( pSubSrc->nId>1 ) return 0;
899 if( pSub->isDistinct && pSrc->nId>1 ) return 0;
900 if( pSub->isDistinct && isAgg ) return 0;
901 if( p->isDistinct && subqueryIsAgg ) return 0;
902
903 /* If we reach this point, it means flatting is permitted for the
904 ** i-th entry of the FROM clause in the outer query.
905 */
906 iParent = p->base + iFrom;
907 iSub = pSub->base;
908 substExprList(p->pEList, iParent, pSub->pEList, iSub);
909 pList = p->pEList;
910 for(i=0; i<pList->nExpr; i++){
911 if( pList->a[i].zName==0 ){
912 Expr *pExpr = pList->a[i].pExpr;
913 pList->a[i].zName = sqliteStrNDup(pExpr->span.z, pExpr->span.n);
914 }
915 }
drh1b2e0322002-03-03 02:49:51 +0000916 if( isAgg ){
917 substExprList(p->pGroupBy, iParent, pSub->pEList, iSub);
918 substExpr(p->pHaving, iParent, pSub->pEList, iSub);
919 }
drh832508b2002-03-02 17:04:07 +0000920 substExprList(p->pOrderBy, iParent, pSub->pEList, iSub);
921 if( pSub->pWhere ){
922 pWhere = sqliteExprDup(pSub->pWhere);
923 if( iParent!=iSub ){
924 changeTables(pWhere, iSub, iParent);
925 }
926 }else{
927 pWhere = 0;
928 }
929 if( subqueryIsAgg ){
930 assert( p->pHaving==0 );
drh1b2e0322002-03-03 02:49:51 +0000931 p->pHaving = p->pWhere;
932 p->pWhere = pWhere;
drh832508b2002-03-02 17:04:07 +0000933 substExpr(p->pHaving, iParent, pSub->pEList, iSub);
drh1b2e0322002-03-03 02:49:51 +0000934 if( pSub->pHaving ){
935 Expr *pHaving = sqliteExprDup(pSub->pHaving);
936 if( iParent!=iSub ){
937 changeTables(pHaving, iSub, iParent);
938 }
939 if( p->pHaving ){
940 p->pHaving = sqliteExpr(TK_AND, p->pHaving, pHaving, 0);
941 }else{
942 p->pHaving = pHaving;
943 }
944 }
945 assert( p->pGroupBy==0 );
946 p->pGroupBy = sqliteExprListDup(pSub->pGroupBy);
947 if( iParent!=iSub ){
948 changeTablesInList(p->pGroupBy, iSub, iParent);
949 }
drh832508b2002-03-02 17:04:07 +0000950 }else if( p->pWhere==0 ){
951 p->pWhere = pWhere;
952 }else{
953 substExpr(p->pWhere, iParent, pSub->pEList, iSub);
954 if( pWhere ){
955 p->pWhere = sqliteExpr(TK_AND, p->pWhere, pWhere, 0);
956 }
957 }
958 p->isDistinct = p->isDistinct || pSub->isDistinct;
959 if( pSrc->a[iFrom].pTab && pSrc->a[iFrom].pTab->isTransient ){
960 sqliteDeleteTable(0, pSrc->a[iFrom].pTab);
961 }
962 pSrc->a[iFrom].pTab = pSubSrc->a[0].pTab;
963 pSubSrc->a[0].pTab = 0;
964 pSrc->a[iFrom].pSelect = pSubSrc->a[0].pSelect;
965 pSubSrc->a[0].pSelect = 0;
966 sqliteSelectDelete(pSub);
967 return 1;
968}
drh1350b032002-02-27 19:00:20 +0000969
970/*
drh9562b552002-02-19 15:00:07 +0000971** Analyze the SELECT statement passed in as an argument to see if it
972** is a simple min() or max() query. If it is and this query can be
973** satisfied using a single seek to the beginning or end of an index,
974** then generate the code for this SELECT return 1. If this is not a
975** simple min() or max() query, then return 0;
976**
977** A simply min() or max() query looks like this:
978**
979** SELECT min(a) FROM table;
980** SELECT max(a) FROM table;
981**
982** The query may have only a single table in its FROM argument. There
983** can be no GROUP BY or HAVING or WHERE clauses. The result set must
984** be the min() or max() of a single column of the table. The column
985** in the min() or max() function must be indexed.
986**
987** The parameters to this routine are the same as for sqliteSelect().
988** See the header comment on that routine for additional information.
989*/
990static int simpleMinMaxQuery(Parse *pParse, Select *p, int eDest, int iParm){
991 Expr *pExpr;
992 int iCol;
993 Table *pTab;
994 Index *pIdx;
995 int base;
996 Vdbe *v;
997 int openOp;
998 int seekOp;
999 int cont;
1000 ExprList eList;
1001 struct ExprList_item eListItem;
1002
1003 /* Check to see if this query is a simple min() or max() query. Return
1004 ** zero if it is not.
1005 */
1006 if( p->pGroupBy || p->pHaving || p->pWhere ) return 0;
1007 if( p->pSrc->nId!=1 ) return 0;
1008 if( p->pEList->nExpr!=1 ) return 0;
1009 pExpr = p->pEList->a[0].pExpr;
1010 if( pExpr->op!=TK_AGG_FUNCTION ) return 0;
1011 if( pExpr->pList==0 || pExpr->pList->nExpr!=1 ) return 0;
drh0bce8352002-02-28 00:41:10 +00001012 if( pExpr->token.n!=3 ) return 0;
1013 if( sqliteStrNICmp(pExpr->token.z,"min",3)==0 ){
1014 seekOp = OP_Rewind;
1015 }else if( sqliteStrNICmp(pExpr->token.z,"max",3)==0 ){
1016 seekOp = OP_Last;
1017 }else{
1018 return 0;
1019 }
drh9562b552002-02-19 15:00:07 +00001020 pExpr = pExpr->pList->a[0].pExpr;
1021 if( pExpr->op!=TK_COLUMN ) return 0;
1022 iCol = pExpr->iColumn;
1023 pTab = p->pSrc->a[0].pTab;
1024
1025 /* If we get to here, it means the query is of the correct form.
drh17f71932002-02-21 12:01:27 +00001026 ** Check to make sure we have an index and make pIdx point to the
1027 ** appropriate index. If the min() or max() is on an INTEGER PRIMARY
1028 ** key column, no index is necessary so set pIdx to NULL. If no
1029 ** usable index is found, return 0.
drh9562b552002-02-19 15:00:07 +00001030 */
1031 if( iCol<0 ){
1032 pIdx = 0;
1033 }else{
1034 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
1035 assert( pIdx->nColumn>=1 );
1036 if( pIdx->aiColumn[0]==iCol ) break;
1037 }
1038 if( pIdx==0 ) return 0;
1039 }
1040
drh17f71932002-02-21 12:01:27 +00001041 /* Identify column names if we will be using the callback. This
drh9562b552002-02-19 15:00:07 +00001042 ** step is skipped if the output is going to a table or a memory cell.
1043 */
1044 v = sqliteGetVdbe(pParse);
1045 if( v==0 ) return 0;
1046 if( eDest==SRT_Callback ){
drh832508b2002-03-02 17:04:07 +00001047 generateColumnNames(pParse, p->base, p->pSrc, p->pEList);
drh9562b552002-02-19 15:00:07 +00001048 }
1049
drh17f71932002-02-21 12:01:27 +00001050 /* Generating code to find the min or the max. Basically all we have
1051 ** to do is find the first or the last entry in the chosen index. If
1052 ** the min() or max() is on the INTEGER PRIMARY KEY, then find the first
1053 ** or last entry in the main table.
drh9562b552002-02-19 15:00:07 +00001054 */
drh5cf8e8c2002-02-19 22:42:05 +00001055 if( !pParse->schemaVerified && (pParse->db->flags & SQLITE_InTrans)==0 ){
1056 sqliteVdbeAddOp(v, OP_VerifyCookie, pParse->db->schema_cookie, 0);
1057 pParse->schemaVerified = 1;
1058 }
drh9562b552002-02-19 15:00:07 +00001059 openOp = pTab->isTemp ? OP_OpenAux : OP_Open;
drh832508b2002-03-02 17:04:07 +00001060 base = p->base;
drh9562b552002-02-19 15:00:07 +00001061 sqliteVdbeAddOp(v, openOp, base, pTab->tnum);
drh5cf8e8c2002-02-19 22:42:05 +00001062 sqliteVdbeChangeP3(v, -1, pTab->zName, P3_STATIC);
drh9562b552002-02-19 15:00:07 +00001063 if( pIdx==0 ){
1064 sqliteVdbeAddOp(v, seekOp, base, 0);
1065 }else{
1066 sqliteVdbeAddOp(v, openOp, base+1, pIdx->tnum);
drh5cf8e8c2002-02-19 22:42:05 +00001067 sqliteVdbeChangeP3(v, -1, pIdx->zName, P3_STATIC);
drh9562b552002-02-19 15:00:07 +00001068 sqliteVdbeAddOp(v, seekOp, base+1, 0);
1069 sqliteVdbeAddOp(v, OP_IdxRecno, base+1, 0);
1070 sqliteVdbeAddOp(v, OP_Close, base+1, 0);
1071 sqliteVdbeAddOp(v, OP_MoveTo, base, 0);
1072 }
drh5cf8e8c2002-02-19 22:42:05 +00001073 eList.nExpr = 1;
1074 memset(&eListItem, 0, sizeof(eListItem));
1075 eList.a = &eListItem;
1076 eList.a[0].pExpr = pExpr;
drh9562b552002-02-19 15:00:07 +00001077 cont = sqliteVdbeMakeLabel(v);
1078 selectInnerLoop(pParse, &eList, base, 1, 0, -1, eDest, iParm, cont, cont);
1079 sqliteVdbeResolveLabel(v, cont);
1080 sqliteVdbeAddOp(v, OP_Close, base, 0);
1081 return 1;
1082}
1083
1084/*
drh9bb61fe2000-06-05 16:01:39 +00001085** Generate code for the given SELECT statement.
1086**
drhfef52082000-06-06 01:50:43 +00001087** The results are distributed in various ways depending on the
1088** value of eDest and iParm.
1089**
1090** eDest Value Result
1091** ------------ -------------------------------------------
1092** SRT_Callback Invoke the callback for each row of the result.
1093**
1094** SRT_Mem Store first result in memory cell iParm
1095**
1096** SRT_Set Store results as keys of a table with cursor iParm
1097**
drh82c3d632000-06-06 21:56:07 +00001098** SRT_Union Store results as a key in a temporary table iParm
1099**
drhc4a3c772001-04-04 11:48:57 +00001100** SRT_Except Remove results form the temporary table iParm.
1101**
1102** SRT_Table Store results in temporary table iParm
drh9bb61fe2000-06-05 16:01:39 +00001103**
1104** This routine returns the number of errors. If any errors are
1105** encountered, then an appropriate error message is left in
1106** pParse->zErrMsg.
1107**
1108** This routine does NOT free the Select structure passed in. The
1109** calling function needs to do that.
drh1b2e0322002-03-03 02:49:51 +00001110**
1111** The pParent, parentTab, and *pParentAgg fields are filled in if this
1112** SELECT is a subquery. This routine may try to combine this SELECT
1113** with its parent to form a single flat query. In so doing, it might
1114** change the parent query from a non-aggregate to an aggregate query.
1115** For that reason, the pParentAgg flag is passed as a pointer, so it
1116** can be changed.
drh9bb61fe2000-06-05 16:01:39 +00001117*/
1118int sqliteSelect(
drhcce7d172000-05-31 15:34:51 +00001119 Parse *pParse, /* The parser context */
drh9bb61fe2000-06-05 16:01:39 +00001120 Select *p, /* The SELECT statement being coded. */
drh82c3d632000-06-06 21:56:07 +00001121 int eDest, /* One of: SRT_Callback Mem Set Union Except */
drh832508b2002-03-02 17:04:07 +00001122 int iParm, /* Save result in this memory location, if >=0 */
1123 Select *pParent, /* Another SELECT for which this is a sub-query */
1124 int parentTab, /* Index in pParent->pSrc of this query */
drh1b2e0322002-03-03 02:49:51 +00001125 int *pParentAgg /* True if pParent uses aggregate functions */
drhcce7d172000-05-31 15:34:51 +00001126){
drhd8bc7082000-06-07 23:51:50 +00001127 int i;
drhcce7d172000-05-31 15:34:51 +00001128 WhereInfo *pWInfo;
1129 Vdbe *v;
1130 int isAgg = 0; /* True for select lists like "count(*)" */
drha2e00042002-01-22 03:13:42 +00001131 ExprList *pEList; /* List of columns to extract. */
drh9bb61fe2000-06-05 16:01:39 +00001132 IdList *pTabList; /* List of tables to select from */
1133 Expr *pWhere; /* The WHERE clause. May be NULL */
1134 ExprList *pOrderBy; /* The ORDER BY clause. May be NULL */
drh22827922000-06-06 17:27:05 +00001135 ExprList *pGroupBy; /* The GROUP BY clause. May be NULL */
1136 Expr *pHaving; /* The HAVING clause. May be NULL */
drh19a775c2000-06-05 18:54:46 +00001137 int isDistinct; /* True if the DISTINCT keyword is present */
1138 int distinct; /* Table to use for the distinct set */
drh10e5e3c2000-06-08 00:19:02 +00001139 int base; /* First cursor available for use */
drh1d83f052002-02-17 00:30:36 +00001140 int rc = 1; /* Value to return from this function */
drh9bb61fe2000-06-05 16:01:39 +00001141
drhdaffd0e2001-04-11 14:28:42 +00001142 if( sqlite_malloc_failed || pParse->nErr || p==0 ) return 1;
1143
drh82c3d632000-06-06 21:56:07 +00001144 /* If there is are a sequence of queries, do the earlier ones first.
1145 */
1146 if( p->pPrior ){
1147 return multiSelect(pParse, p, eDest, iParm);
1148 }
1149
1150 /* Make local copies of the parameters for this query.
1151 */
drh9bb61fe2000-06-05 16:01:39 +00001152 pTabList = p->pSrc;
1153 pWhere = p->pWhere;
1154 pOrderBy = p->pOrderBy;
drh22827922000-06-06 17:27:05 +00001155 pGroupBy = p->pGroupBy;
1156 pHaving = p->pHaving;
drh19a775c2000-06-05 18:54:46 +00001157 isDistinct = p->isDistinct;
drh9bb61fe2000-06-05 16:01:39 +00001158
drh832508b2002-03-02 17:04:07 +00001159 /* Allocate a block of VDBE cursors, one for each table in the FROM clause.
1160 ** The WHERE processing requires that the cursors for the tables in the
1161 ** FROM clause be consecutive.
drh10e5e3c2000-06-08 00:19:02 +00001162 */
drh832508b2002-03-02 17:04:07 +00001163 base = p->base = pParse->nTab;
1164 pParse->nTab += pTabList->nId;
drh10e5e3c2000-06-08 00:19:02 +00001165
drh9bb61fe2000-06-05 16:01:39 +00001166 /*
1167 ** Do not even attempt to generate any code if we have already seen
1168 ** errors before this routine starts.
1169 */
drh1d83f052002-02-17 00:30:36 +00001170 if( pParse->nErr>0 ) goto select_end;
drhcce7d172000-05-31 15:34:51 +00001171
drhd8bc7082000-06-07 23:51:50 +00001172 /* Look up every table in the table list and create an appropriate
1173 ** columnlist in pEList if there isn't one already. (The parser leaves
drh967e8b72000-06-21 13:59:10 +00001174 ** a NULL in the p->pEList if the SQL said "SELECT * FROM ...")
drhcce7d172000-05-31 15:34:51 +00001175 */
drhd8bc7082000-06-07 23:51:50 +00001176 if( fillInColumnList(pParse, p) ){
drh1d83f052002-02-17 00:30:36 +00001177 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001178 }
drhd8bc7082000-06-07 23:51:50 +00001179 pEList = p->pEList;
drh1d83f052002-02-17 00:30:36 +00001180 if( pEList==0 ) goto select_end;
drhcce7d172000-05-31 15:34:51 +00001181
drh22827922000-06-06 17:27:05 +00001182 /* If writing to memory or generating a set
1183 ** only a single column may be output.
drh19a775c2000-06-05 18:54:46 +00001184 */
drhfef52082000-06-06 01:50:43 +00001185 if( (eDest==SRT_Mem || eDest==SRT_Set) && pEList->nExpr>1 ){
drh19a775c2000-06-05 18:54:46 +00001186 sqliteSetString(&pParse->zErrMsg, "only a single result allowed for "
1187 "a SELECT that is part of an expression", 0);
1188 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001189 goto select_end;
drh19a775c2000-06-05 18:54:46 +00001190 }
1191
drh22827922000-06-06 17:27:05 +00001192 /* ORDER BY is ignored if we are not sending the result to a callback.
1193 */
1194 if( eDest!=SRT_Callback ){
drh832508b2002-03-02 17:04:07 +00001195 sqliteExprListDelete(p->pOrderBy);
1196 pOrderBy = p->pOrderBy = 0;
drh22827922000-06-06 17:27:05 +00001197 }
1198
drh10e5e3c2000-06-08 00:19:02 +00001199 /* At this point, we should have allocated all the cursors that we
drh832508b2002-03-02 17:04:07 +00001200 ** need to handle subquerys and temporary tables.
drh10e5e3c2000-06-08 00:19:02 +00001201 **
drh967e8b72000-06-21 13:59:10 +00001202 ** Resolve the column names and do a semantics check on all the expressions.
drh22827922000-06-06 17:27:05 +00001203 */
drh4794b982000-06-06 13:54:14 +00001204 for(i=0; i<pEList->nExpr; i++){
drh832508b2002-03-02 17:04:07 +00001205 if( sqliteExprResolveIds(pParse, base, pTabList, 0, pEList->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001206 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001207 }
drh22827922000-06-06 17:27:05 +00001208 if( sqliteExprCheck(pParse, pEList->a[i].pExpr, 1, &isAgg) ){
drh1d83f052002-02-17 00:30:36 +00001209 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001210 }
1211 }
drhcce7d172000-05-31 15:34:51 +00001212 if( pWhere ){
drh832508b2002-03-02 17:04:07 +00001213 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pWhere) ){
drh1d83f052002-02-17 00:30:36 +00001214 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001215 }
1216 if( sqliteExprCheck(pParse, pWhere, 0, 0) ){
drh1d83f052002-02-17 00:30:36 +00001217 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001218 }
1219 }
1220 if( pOrderBy ){
1221 for(i=0; i<pOrderBy->nExpr; i++){
drh22827922000-06-06 17:27:05 +00001222 Expr *pE = pOrderBy->a[i].pExpr;
drh92086432002-01-22 14:11:29 +00001223 if( sqliteExprIsConstant(pE) ){
1224 sqliteSetString(&pParse->zErrMsg,
1225 "ORDER BY expressions should not be constant", 0);
1226 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001227 goto select_end;
drh92086432002-01-22 14:11:29 +00001228 }
drh832508b2002-03-02 17:04:07 +00001229 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pE) ){
drh1d83f052002-02-17 00:30:36 +00001230 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001231 }
drh22827922000-06-06 17:27:05 +00001232 if( sqliteExprCheck(pParse, pE, isAgg, 0) ){
drh1d83f052002-02-17 00:30:36 +00001233 goto select_end;
drhcce7d172000-05-31 15:34:51 +00001234 }
1235 }
1236 }
drh22827922000-06-06 17:27:05 +00001237 if( pGroupBy ){
1238 for(i=0; i<pGroupBy->nExpr; i++){
1239 Expr *pE = pGroupBy->a[i].pExpr;
drh92086432002-01-22 14:11:29 +00001240 if( sqliteExprIsConstant(pE) ){
1241 sqliteSetString(&pParse->zErrMsg,
1242 "GROUP BY expressions should not be constant", 0);
1243 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001244 goto select_end;
drh92086432002-01-22 14:11:29 +00001245 }
drh832508b2002-03-02 17:04:07 +00001246 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pE) ){
drh1d83f052002-02-17 00:30:36 +00001247 goto select_end;
drh22827922000-06-06 17:27:05 +00001248 }
1249 if( sqliteExprCheck(pParse, pE, isAgg, 0) ){
drh1d83f052002-02-17 00:30:36 +00001250 goto select_end;
drh22827922000-06-06 17:27:05 +00001251 }
1252 }
1253 }
1254 if( pHaving ){
1255 if( pGroupBy==0 ){
drhda932812000-06-06 18:00:15 +00001256 sqliteSetString(&pParse->zErrMsg, "a GROUP BY clause is required "
1257 "before HAVING", 0);
drh22827922000-06-06 17:27:05 +00001258 pParse->nErr++;
drh1d83f052002-02-17 00:30:36 +00001259 goto select_end;
drh22827922000-06-06 17:27:05 +00001260 }
drh832508b2002-03-02 17:04:07 +00001261 if( sqliteExprResolveIds(pParse, base, pTabList, pEList, pHaving) ){
drh1d83f052002-02-17 00:30:36 +00001262 goto select_end;
drh22827922000-06-06 17:27:05 +00001263 }
drhda932812000-06-06 18:00:15 +00001264 if( sqliteExprCheck(pParse, pHaving, isAgg, 0) ){
drh1d83f052002-02-17 00:30:36 +00001265 goto select_end;
drh22827922000-06-06 17:27:05 +00001266 }
drhcce7d172000-05-31 15:34:51 +00001267 }
1268
drh9562b552002-02-19 15:00:07 +00001269 /* Check for the special case of a min() or max() function by itself
1270 ** in the result set.
1271 */
1272 if( simpleMinMaxQuery(pParse, p, eDest, iParm) ){
drh5cf8e8c2002-02-19 22:42:05 +00001273 rc = 0;
drh9562b552002-02-19 15:00:07 +00001274 goto select_end;
1275 }
1276
drhd820cb12002-02-18 03:21:45 +00001277 /* Begin generating code.
1278 */
1279 v = sqliteGetVdbe(pParse);
1280 if( v==0 ) goto select_end;
1281
1282 /* Generate code for all sub-queries in the FROM clause
1283 */
1284 for(i=0; i<pTabList->nId; i++){
drha76b5df2002-02-23 02:32:10 +00001285 if( pTabList->a[i].pSelect==0 ) continue;
drh2d0794e2002-03-03 03:03:52 +00001286 sqliteSelect(pParse, pTabList->a[i].pSelect, SRT_TempTable, base+i,
drh1b2e0322002-03-03 02:49:51 +00001287 p, i, &isAgg);
1288 pTabList = p->pSrc;
1289 pWhere = p->pWhere;
1290 pOrderBy = p->pOrderBy;
1291 pGroupBy = p->pGroupBy;
1292 pHaving = p->pHaving;
1293 isDistinct = p->isDistinct;
drhd820cb12002-02-18 03:21:45 +00001294 }
1295
drh832508b2002-03-02 17:04:07 +00001296 /* Check to see if this is a subquery that can be "flattened" into its parent.
1297 ** If flattening is a possiblity, do so and return immediately.
1298 */
drh1b2e0322002-03-03 02:49:51 +00001299 if( pParent && pParentAgg &&
1300 flattenSubquery(pParent, parentTab, *pParentAgg, isAgg) ){
1301 if( isAgg ) *pParentAgg = 1;
drh832508b2002-03-02 17:04:07 +00001302 return rc;
1303 }
drh832508b2002-03-02 17:04:07 +00001304
drh2d0794e2002-03-03 03:03:52 +00001305 /* If the output is destined for a temporary table, open that table.
1306 */
1307 if( eDest==SRT_TempTable ){
1308 sqliteVdbeAddOp(v, OP_OpenTemp, iParm, 0);
1309 }
1310
drh22827922000-06-06 17:27:05 +00001311 /* Do an analysis of aggregate expressions.
drhefb72512000-05-31 20:00:52 +00001312 */
drhd820cb12002-02-18 03:21:45 +00001313 sqliteAggregateInfoReset(pParse);
drh22827922000-06-06 17:27:05 +00001314 if( isAgg ){
drh0bce8352002-02-28 00:41:10 +00001315 assert( pParse->nAgg==0 );
drh22827922000-06-06 17:27:05 +00001316 for(i=0; i<pEList->nExpr; i++){
1317 if( sqliteExprAnalyzeAggregates(pParse, pEList->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001318 goto select_end;
drh22827922000-06-06 17:27:05 +00001319 }
1320 }
1321 if( pGroupBy ){
1322 for(i=0; i<pGroupBy->nExpr; i++){
1323 if( sqliteExprAnalyzeAggregates(pParse, pGroupBy->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001324 goto select_end;
drh22827922000-06-06 17:27:05 +00001325 }
1326 }
1327 }
1328 if( pHaving && sqliteExprAnalyzeAggregates(pParse, pHaving) ){
drh1d83f052002-02-17 00:30:36 +00001329 goto select_end;
drh22827922000-06-06 17:27:05 +00001330 }
drh191b6902000-06-08 11:13:01 +00001331 if( pOrderBy ){
1332 for(i=0; i<pOrderBy->nExpr; i++){
1333 if( sqliteExprAnalyzeAggregates(pParse, pOrderBy->a[i].pExpr) ){
drh1d83f052002-02-17 00:30:36 +00001334 goto select_end;
drh191b6902000-06-08 11:13:01 +00001335 }
1336 }
1337 }
drhefb72512000-05-31 20:00:52 +00001338 }
1339
drh9bbca4c2001-11-06 04:00:18 +00001340 /* Set the limiter
1341 */
1342 if( p->nLimit<=0 ){
1343 p->nOffset = 0;
1344 }else{
1345 if( p->nOffset<0 ) p->nOffset = 0;
1346 sqliteVdbeAddOp(v, OP_Limit, p->nLimit, p->nOffset);
1347 }
1348
1349
drh22827922000-06-06 17:27:05 +00001350 /* Identify column names if we will be using in the callback. This
drh19a775c2000-06-05 18:54:46 +00001351 ** step is skipped if the output is going to a table or a memory cell.
drhcce7d172000-05-31 15:34:51 +00001352 */
drhfef52082000-06-06 01:50:43 +00001353 if( eDest==SRT_Callback ){
drh832508b2002-03-02 17:04:07 +00001354 generateColumnNames(pParse, p->base, pTabList, pEList);
drhcce7d172000-05-31 15:34:51 +00001355 }
1356
drh22827922000-06-06 17:27:05 +00001357 /* Reset the aggregator
drhcce7d172000-05-31 15:34:51 +00001358 */
1359 if( isAgg ){
drh99fcd712001-10-13 01:06:47 +00001360 sqliteVdbeAddOp(v, OP_AggReset, 0, pParse->nAgg);
drhe5095352002-02-24 03:25:14 +00001361 for(i=0; i<pParse->nAgg; i++){
drh0bce8352002-02-28 00:41:10 +00001362 FuncDef *pFunc;
1363 if( (pFunc = pParse->aAgg[i].pFunc)!=0 && pFunc->xFinalize!=0 ){
drh1350b032002-02-27 19:00:20 +00001364 sqliteVdbeAddOp(v, OP_AggInit, 0, i);
drh0bce8352002-02-28 00:41:10 +00001365 sqliteVdbeChangeP3(v, -1, (char*)pFunc, P3_POINTER);
drhe5095352002-02-24 03:25:14 +00001366 }
1367 }
drh1bee3d72001-10-15 00:44:35 +00001368 if( pGroupBy==0 ){
1369 sqliteVdbeAddOp(v, OP_String, 0, 0);
drh1bee3d72001-10-15 00:44:35 +00001370 sqliteVdbeAddOp(v, OP_AggFocus, 0, 0);
drh1bee3d72001-10-15 00:44:35 +00001371 }
drhcce7d172000-05-31 15:34:51 +00001372 }
1373
drh19a775c2000-06-05 18:54:46 +00001374 /* Initialize the memory cell to NULL
1375 */
drhfef52082000-06-06 01:50:43 +00001376 if( eDest==SRT_Mem ){
drh99fcd712001-10-13 01:06:47 +00001377 sqliteVdbeAddOp(v, OP_String, 0, 0);
drh8721ce42001-11-07 14:22:00 +00001378 sqliteVdbeAddOp(v, OP_MemStore, iParm, 1);
drh19a775c2000-06-05 18:54:46 +00001379 }
1380
drh832508b2002-03-02 17:04:07 +00001381 /* Open a temporary table to use for the distinct set.
drhefb72512000-05-31 20:00:52 +00001382 */
drh19a775c2000-06-05 18:54:46 +00001383 if( isDistinct ){
drh832508b2002-03-02 17:04:07 +00001384 distinct = pParse->nTab++;
drhc6b52df2002-01-04 03:09:29 +00001385 sqliteVdbeAddOp(v, OP_OpenTemp, distinct, 1);
drh832508b2002-03-02 17:04:07 +00001386 }else{
1387 distinct = -1;
drhefb72512000-05-31 20:00:52 +00001388 }
drh832508b2002-03-02 17:04:07 +00001389
1390 /* Begin the database scan
1391 */
1392 pWInfo = sqliteWhereBegin(pParse, p->base, pTabList, pWhere, 0);
drh1d83f052002-02-17 00:30:36 +00001393 if( pWInfo==0 ) goto select_end;
drhcce7d172000-05-31 15:34:51 +00001394
drh22827922000-06-06 17:27:05 +00001395 /* Use the standard inner loop if we are not dealing with
1396 ** aggregates
drhcce7d172000-05-31 15:34:51 +00001397 */
drhda9d6c42000-05-31 18:20:14 +00001398 if( !isAgg ){
drh82c3d632000-06-06 21:56:07 +00001399 if( selectInnerLoop(pParse, pEList, 0, 0, pOrderBy, distinct, eDest, iParm,
drh22827922000-06-06 17:27:05 +00001400 pWInfo->iContinue, pWInfo->iBreak) ){
drh1d83f052002-02-17 00:30:36 +00001401 goto select_end;
drhda9d6c42000-05-31 18:20:14 +00001402 }
drhcce7d172000-05-31 15:34:51 +00001403 }
drhefb72512000-05-31 20:00:52 +00001404
drh22827922000-06-06 17:27:05 +00001405 /* If we are dealing with aggregates, then to the special aggregate
1406 ** processing.
drhefb72512000-05-31 20:00:52 +00001407 */
drh22827922000-06-06 17:27:05 +00001408 else{
drh22827922000-06-06 17:27:05 +00001409 if( pGroupBy ){
drh1bee3d72001-10-15 00:44:35 +00001410 int lbl1;
drh22827922000-06-06 17:27:05 +00001411 for(i=0; i<pGroupBy->nExpr; i++){
1412 sqliteExprCode(pParse, pGroupBy->a[i].pExpr);
1413 }
drh99fcd712001-10-13 01:06:47 +00001414 sqliteVdbeAddOp(v, OP_MakeKey, pGroupBy->nExpr, 0);
drh1bee3d72001-10-15 00:44:35 +00001415 lbl1 = sqliteVdbeMakeLabel(v);
drh99fcd712001-10-13 01:06:47 +00001416 sqliteVdbeAddOp(v, OP_AggFocus, 0, lbl1);
drh22827922000-06-06 17:27:05 +00001417 for(i=0; i<pParse->nAgg; i++){
1418 if( pParse->aAgg[i].isAgg ) continue;
1419 sqliteExprCode(pParse, pParse->aAgg[i].pExpr);
drh99fcd712001-10-13 01:06:47 +00001420 sqliteVdbeAddOp(v, OP_AggSet, 0, i);
drhcce7d172000-05-31 15:34:51 +00001421 }
drh22827922000-06-06 17:27:05 +00001422 sqliteVdbeResolveLabel(v, lbl1);
drhcce7d172000-05-31 15:34:51 +00001423 }
drh22827922000-06-06 17:27:05 +00001424 for(i=0; i<pParse->nAgg; i++){
1425 Expr *pE;
drh0bce8352002-02-28 00:41:10 +00001426 int j;
drh22827922000-06-06 17:27:05 +00001427 if( !pParse->aAgg[i].isAgg ) continue;
1428 pE = pParse->aAgg[i].pExpr;
drh22827922000-06-06 17:27:05 +00001429 assert( pE->op==TK_AGG_FUNCTION );
drh0bce8352002-02-28 00:41:10 +00001430 if( pE->pList ){
1431 for(j=0; j<pE->pList->nExpr; j++){
1432 sqliteExprCode(pParse, pE->pList->a[j].pExpr);
1433 }
drhe5095352002-02-24 03:25:14 +00001434 }
drh0bce8352002-02-28 00:41:10 +00001435 sqliteVdbeAddOp(v, OP_Integer, i, 0);
drhf55f25f2002-02-28 01:46:11 +00001436 sqliteVdbeAddOp(v, OP_AggFunc, 0, pE->pList ? pE->pList->nExpr : 0);
drh0bce8352002-02-28 00:41:10 +00001437 assert( pParse->aAgg[i].pFunc!=0 );
1438 assert( pParse->aAgg[i].pFunc->xStep!=0 );
1439 sqliteVdbeChangeP3(v, -1, (char*)pParse->aAgg[i].pFunc, P3_POINTER);
drh22827922000-06-06 17:27:05 +00001440 }
drhcce7d172000-05-31 15:34:51 +00001441 }
1442
1443 /* End the database scan loop.
1444 */
1445 sqliteWhereEnd(pWInfo);
1446
drh22827922000-06-06 17:27:05 +00001447 /* If we are processing aggregates, we need to set up a second loop
1448 ** over all of the aggregate values and process them.
1449 */
1450 if( isAgg ){
1451 int endagg = sqliteVdbeMakeLabel(v);
1452 int startagg;
drh99fcd712001-10-13 01:06:47 +00001453 startagg = sqliteVdbeAddOp(v, OP_AggNext, 0, endagg);
drh22827922000-06-06 17:27:05 +00001454 pParse->useAgg = 1;
1455 if( pHaving ){
1456 sqliteExprIfFalse(pParse, pHaving, startagg);
1457 }
drh82c3d632000-06-06 21:56:07 +00001458 if( selectInnerLoop(pParse, pEList, 0, 0, pOrderBy, distinct, eDest, iParm,
drh22827922000-06-06 17:27:05 +00001459 startagg, endagg) ){
drh1d83f052002-02-17 00:30:36 +00001460 goto select_end;
drh22827922000-06-06 17:27:05 +00001461 }
drh99fcd712001-10-13 01:06:47 +00001462 sqliteVdbeAddOp(v, OP_Goto, 0, startagg);
1463 sqliteVdbeResolveLabel(v, endagg);
1464 sqliteVdbeAddOp(v, OP_Noop, 0, 0);
drh22827922000-06-06 17:27:05 +00001465 pParse->useAgg = 0;
1466 }
1467
drhcce7d172000-05-31 15:34:51 +00001468 /* If there is an ORDER BY clause, then we need to sort the results
1469 ** and send them to the callback one by one.
1470 */
1471 if( pOrderBy ){
drhd8bc7082000-06-07 23:51:50 +00001472 generateSortTail(v, pEList->nExpr);
drhcce7d172000-05-31 15:34:51 +00001473 }
drh6a535342001-10-19 16:44:56 +00001474
1475
1476 /* Issue a null callback if that is what the user wants.
1477 */
1478 if( (pParse->db->flags & SQLITE_NullCallback)!=0 && eDest==SRT_Callback ){
1479 sqliteVdbeAddOp(v, OP_NullCallback, pEList->nExpr, 0);
1480 }
1481
drh1d83f052002-02-17 00:30:36 +00001482 /* The SELECT was successfully coded. Set the return code to 0
1483 ** to indicate no errors.
1484 */
1485 rc = 0;
1486
1487 /* Control jumps to here if an error is encountered above, or upon
1488 ** successful coding of the SELECT.
1489 */
1490select_end:
drh832508b2002-03-02 17:04:07 +00001491 pParse->nTab = base;
drh1d83f052002-02-17 00:30:36 +00001492 sqliteAggregateInfoReset(pParse);
1493 return rc;
drhcce7d172000-05-31 15:34:51 +00001494}