Project

General

Profile

1 3077 aaronmk
# Database import/export
2
3 3534 aaronmk
import copy
4 3431 aaronmk
import operator
5
6 3077 aaronmk
import exc
7
import dicts
8
import sql
9
import sql_gen
10
import strings
11
import util
12
13 3081 aaronmk
##### Data cleanup
14
15
def cleanup_table(db, table, cols):
16
    table = sql_gen.as_Table(table)
17
    cols = map(sql_gen.as_Col, cols)
18
19
    expr = ('nullif(nullif(trim(both from %s), '+db.esc_value('')+'), '
20
        +db.esc_value(r'\N')+')')
21
    changes = [(v, sql_gen.CustomCode(expr % v.to_str(db)))
22
        for v in cols]
23
24
    sql.update(db, table, changes, in_place=True)
25
26 3078 aaronmk
##### Error tracking
27
28
def track_data_error(db, errors_table, cols, value, error_code, error):
29
    '''
30
    @param errors_table If None, does nothing.
31
    '''
32
    if errors_table == None or cols == (): return
33
34
    for col in cols:
35
        try:
36
            sql.insert(db, errors_table, dict(column=col.name, value=value,
37
                error_code=error_code, error=error), recover=True,
38
                cacheable=True, log_level=4)
39
        except sql.DuplicateKeyException: pass
40
41 3506 aaronmk
class ExcToErrorsTable(sql_gen.ExcToWarning):
42
    '''Handles an exception by saving it or converting it to a warning.'''
43 3511 aaronmk
    def __init__(self, return_, srcs, errors_table, value=None):
44 3506 aaronmk
        '''
45
        @param return_ See sql_gen.ExcToWarning
46
        @param srcs The column names for the errors table
47
        @param errors_table None|sql_gen.Table
48 3511 aaronmk
        @param value The value (or an expression for it) that caused the error
49 3506 aaronmk
        @pre The invalid value must be in a local variable "value" of type text.
50
        '''
51
        sql_gen.ExcToWarning.__init__(self, return_)
52
53 3511 aaronmk
        value = sql_gen.as_Code(value)
54
55 3506 aaronmk
        self.srcs = srcs
56
        self.errors_table = errors_table
57 3511 aaronmk
        self.value = value
58 3501 aaronmk
59 3506 aaronmk
    def to_str(self, db):
60
        if not self.srcs or self.errors_table == None:
61
            return sql_gen.ExcToWarning.to_str(self, db)
62
63 3459 aaronmk
        errors_table_cols = map(sql_gen.Col,
64
            ['column', 'value', 'error_code', 'error'])
65 3465 aaronmk
        col_names_query = sql.mk_select(db, sql_gen.NamedValues('c', None,
66 3506 aaronmk
            [[c.name] for c in self.srcs]), order_by=None)
67
        insert_query = sql.mk_insert_select(db, self.errors_table,
68
            errors_table_cols,
69 3465 aaronmk
            sql_gen.Values(errors_table_cols).to_str(db))+';\n'
70 3506 aaronmk
        return '''\
71 3459 aaronmk
-- Save error in errors table.
72
DECLARE
73
    error_code text := SQLSTATE;
74
    error text := SQLERRM;
75 3511 aaronmk
    value text := '''+self.value.to_str(db)+''';
76 3529 aaronmk
    "column" text;
77 3459 aaronmk
BEGIN
78
    -- Insert the value and error for *each* source column.
79 3529 aaronmk
'''+strings.indent(sql_gen.RowExcIgnore(None, col_names_query, insert_query,
80 3467 aaronmk
    row_var=errors_table_cols[0]).to_str(db))+'''
81 3459 aaronmk
END;
82 3501 aaronmk
83 3506 aaronmk
'''+self.return_.to_str(db)
84 3459 aaronmk
85 3507 aaronmk
def data_exception_handler(*args, **kw_args):
86 3506 aaronmk
    '''Handles a data_exception by saving it or converting it to a warning.
87
    For params, see ExcToErrorsTable().
88
    '''
89
    return sql_gen.data_exception_handler(ExcToErrorsTable(*args, **kw_args))
90
91 3078 aaronmk
def cast(db, type_, col, errors_table=None):
92
    '''Casts an (unrenamed) column or value.
93
    If errors_table set and col has srcs, saves errors in errors_table (using
94 3360 aaronmk
    col's srcs attr as source columns). Otherwise, converts errors to warnings.
95 3078 aaronmk
    @param col str|sql_gen.Col|sql_gen.Literal
96
    @param errors_table None|sql_gen.Table|str
97
    '''
98
    col = sql_gen.as_Col(col)
99
100 3112 aaronmk
    # Don't convert exceptions to warnings for user-supplied constants
101
    if isinstance(col, sql_gen.Literal): return sql_gen.Cast(type_, col)
102
103 3078 aaronmk
    assert not isinstance(col, sql_gen.NamedCol)
104
105 3460 aaronmk
    function_name = strings.first_word(type_)
106 3459 aaronmk
    srcs = col.srcs
107 3508 aaronmk
    save_errors = errors_table != None and srcs
108
    if save_errors: # function will be unique for the given srcs
109
        function_name = str(sql_gen.FunctionCall(function_name,
110
            *map(sql_gen.to_name_only_col, srcs)))
111 3078 aaronmk
    function = db.TempFunction(function_name)
112
113 3464 aaronmk
    # Create function definition
114
    modifiers = 'STRICT'
115
    if not save_errors: modifiers = 'IMMUTABLE '+modifiers
116 3511 aaronmk
    value_param = sql_gen.FunctionParam('value', 'text')
117
    handler = data_exception_handler('RETURN NULL;\n', srcs, errors_table,
118
        value_param.name)
119 3464 aaronmk
    body = sql_gen.CustomCode(handler.to_str(db, '''\
120 3467 aaronmk
/* The explicit cast to the return type is needed to make the cast happen
121
inside the try block. (Implicit casts to the return type happen at the end
122
of the function, outside any block.) */
123
RETURN value::'''+type_+''';
124 3464 aaronmk
'''))
125
    body.lang='plpgsql'
126 3500 aaronmk
    sql.define_func(db, sql_gen.FunctionDef(function, type_, body,
127 3511 aaronmk
        [value_param], modifiers))
128 3464 aaronmk
129 3078 aaronmk
    return sql_gen.FunctionCall(function, col)
130
131 3538 aaronmk
def func_wrapper_exception_handler(db, return_, args, errors_table):
132 3524 aaronmk
    '''Handles a function call's data_exceptions.
133
    Supports PL/Python functions.
134
    @param return_ See data_exception_handler()
135
    @param args [arg...] Function call's args
136
    @param errors_table See data_exception_handler()
137
    '''
138
    args = filter(sql_gen.has_srcs, args)
139
140
    srcs = sql_gen.cross_join_srcs(args)
141 3538 aaronmk
    value = sql_gen.merge_not_null(db, ',', args)
142 3524 aaronmk
    return sql_gen.NestedExcHandler(
143
        data_exception_handler(return_, srcs, errors_table, value)
144
        , sql_gen.plpythonu_error_handler
145
        )
146
147 3078 aaronmk
def cast_temp_col(db, type_, col, errors_table=None):
148
    '''Like cast(), but creates a new column with the cast values if the input
149
    is a column.
150
    @return The new column or cast value
151
    '''
152
    def cast_(col): return cast(db, type_, col, errors_table)
153
154
    try: col = sql_gen.underlying_col(col)
155
    except sql_gen.NoUnderlyingTableException: return sql_gen.wrap(cast_, col)
156
157
    table = col.table
158 3173 aaronmk
    new_col = sql_gen.suffixed_col(col, '::'+strings.first_word(type_))
159 3078 aaronmk
    expr = cast_(col)
160
161
    # Add column
162
    new_typed_col = sql_gen.TypedCol(new_col.name, type_)
163 3174 aaronmk
    sql.add_col(db, table, new_typed_col, comment=repr(col)+'::'+type_)
164 3078 aaronmk
    new_col.name = new_typed_col.name # propagate any renaming
165
166 3110 aaronmk
    sql.update(db, table, [(new_col, expr)], in_place=True, recover=True)
167 3078 aaronmk
168
    return new_col
169
170
def errors_table(db, table, if_exists=True):
171
    '''
172
    @param if_exists If set, returns None if the errors table doesn't exist
173
    @return None|sql_gen.Table
174
    '''
175
    table = sql_gen.as_Table(table)
176
    if table.srcs != (): table = table.srcs[0]
177
178
    errors_table = sql_gen.suffixed_table(table, '.errors')
179
    if if_exists and not sql.table_exists(db, errors_table): return None
180
    return errors_table
181
182
##### Import
183
184 3077 aaronmk
def put(db, table, row, pkey_=None, row_ct_ref=None):
185
    '''Recovers from errors.
186
    Only works under PostgreSQL (uses INSERT RETURNING).
187
    '''
188
    row = sql_gen.ColDict(db, table, row)
189
    if pkey_ == None: pkey_ = sql.pkey(db, table, recover=True)
190
191
    try:
192 3131 aaronmk
        cur = sql.insert(db, table, row, pkey_, recover=True, log_level=3.5)
193 3077 aaronmk
        if row_ct_ref != None and cur.rowcount >= 0:
194
            row_ct_ref[0] += cur.rowcount
195
        return sql.value(cur)
196
    except sql.DuplicateKeyException, e:
197
        row = sql_gen.ColDict(db, table,
198
            util.dict_subset_right_join(row, e.cols))
199 3131 aaronmk
        return sql.value(sql.select(db, table, [pkey_], row, recover=True,
200
            log_level=3.5))
201 3208 aaronmk
    except sql.NullValueException: return None
202 3077 aaronmk
203
def get(db, table, row, pkey, row_ct_ref=None, create=False):
204
    '''Recovers from errors'''
205
    try:
206
        return sql.value(sql.select(db, table, [pkey], row, limit=1,
207
            recover=True))
208
    except StopIteration:
209
        if not create: raise
210
        return put(db, table, row, pkey, row_ct_ref) # insert new row
211
212
def is_func_result(col):
213
    return col.table.name.find('(') >= 0 and col.name == 'result'
214
215
def into_table_name(out_table, in_tables0, mapping, is_func):
216
    def in_col_str(in_col):
217
        in_col = sql_gen.remove_col_rename(in_col)
218
        if isinstance(in_col, sql_gen.Col):
219
            table = in_col.table
220
            if table == in_tables0:
221
                in_col = sql_gen.to_name_only_col(in_col)
222
            elif is_func_result(in_col): in_col = table # omit col name
223
        return str(in_col)
224
225
    str_ = str(out_table)
226
    if is_func:
227
        str_ += '('
228
229
        try: value_in_col = mapping['value']
230
        except KeyError:
231
            str_ += ', '.join((str(k)+'='+in_col_str(v)
232
                for k, v in mapping.iteritems()))
233
        else: str_ += in_col_str(value_in_col)
234
235
        str_ += ')'
236
    else:
237
        out_col = 'rank'
238
        try: in_col = mapping[out_col]
239
        except KeyError: str_ += '_pkeys'
240
        else: # has a rank column, so hierarchical
241
            str_ += '['+str(out_col)+'='+in_col_str(in_col)+']'
242
    return str_
243
244
def put_table(db, out_table, in_tables, mapping, row_ct_ref=None, into=None,
245
    default=None, is_func=False, on_error=exc.raise_):
246
    '''Recovers from errors.
247
    Only works under PostgreSQL (uses INSERT RETURNING).
248
    IMPORTANT: Must be run at the *beginning* of a transaction.
249
    @param in_tables The main input table to select from, followed by a list of
250
        tables to join with it using the main input table's pkey
251
    @param mapping dict(out_table_col=in_table_col, ...)
252
        * out_table_col: str (*not* sql_gen.Col)
253
        * in_table_col: sql_gen.Col|literal-value
254
    @param into The table to contain the output and input pkeys.
255
        Defaults to `out_table.name+'_pkeys'`.
256
    @param default The *output* column to use as the pkey for missing rows.
257
        If this output column does not exist in the mapping, uses None.
258
    @param is_func Whether out_table is the name of a SQL function, not a table
259
    @return sql_gen.Col Where the output pkeys are made available
260
    '''
261 3474 aaronmk
    import psycopg2.extensions
262
263 3077 aaronmk
    out_table = sql_gen.as_Table(out_table)
264
265
    def log_debug(msg): db.log_debug(msg, level=1.5)
266
    def col_ustr(str_):
267
        return strings.repr_no_u(sql_gen.remove_col_rename(str_))
268
269
    log_debug('********** New iteration **********')
270
    log_debug('Inserting these input columns into '+strings.as_tt(
271
        out_table.to_str(db))+':\n'+strings.as_table(mapping, ustr=col_ustr))
272
273
    is_function = sql.function_exists(db, out_table)
274
275
    if is_function: out_pkey = 'result'
276
    else: out_pkey = sql.pkey(db, out_table, recover=True)
277
    out_pkey_col = sql_gen.as_Col(out_pkey, out_table)
278
279
    in_tables_ = in_tables[:] # don't modify input!
280 3432 aaronmk
    try: in_tables0 = in_tables_.pop(0) # first table is separate
281
    except IndexError: in_tables0 = None
282
    else:
283
        in_pkey = sql.pkey(db, in_tables0, recover=True)
284
        in_pkey_col = sql_gen.as_Col(in_pkey, in_tables0)
285 3431 aaronmk
286
    # Determine if can use optimization for only literal values
287
    is_literals = not reduce(operator.or_, map(sql_gen.is_table_col,
288 3434 aaronmk
        mapping.values()), False)
289 3431 aaronmk
    is_literals_or_function = is_literals or is_function
290
291 3432 aaronmk
    if in_tables0 == None: errors_table_ = None
292
    else: errors_table_ = errors_table(db, in_tables0)
293 3431 aaronmk
294
    # Create input joins from list of input tables
295 3077 aaronmk
    input_joins = [in_tables0]+[sql_gen.Join(v,
296
        {in_pkey: sql_gen.join_same_not_null}) for v in in_tables_]
297
298 3433 aaronmk
    if mapping == {} and not is_function: # need >= one column for INSERT SELECT
299
        mapping = {out_pkey: None} # ColDict will replace with default value
300
301 3431 aaronmk
    if not is_literals:
302
        if into == None:
303
            into = into_table_name(out_table, in_tables0, mapping, is_func)
304
        into = sql_gen.as_Table(into)
305
306
        # Set column sources
307
        in_cols = filter(sql_gen.is_table_col, mapping.values())
308
        for col in in_cols:
309
            if col.table == in_tables0: col.set_srcs(sql_gen.src_self)
310
311
        log_debug('Joining together input tables into temp table')
312
        # Place in new table so don't modify input and for speed
313
        in_table = sql_gen.Table('in')
314
        mapping = dicts.join(mapping, sql.flatten(db, in_table, input_joins,
315
            in_cols, preserve=[in_pkey_col]))
316
        input_joins = [in_table]
317
        db.log_debug('Temp table: '+strings.as_tt(in_table.to_str(db)), level=2)
318 3077 aaronmk
319
    mapping = sql_gen.ColDict(db, out_table, mapping)
320
        # after applying dicts.join() because that returns a plain dict
321
322
    # Resolve default value column
323
    if default != None:
324
        try: default = mapping[default]
325
        except KeyError:
326
            db.log_debug('Default value column '
327
                +strings.as_tt(strings.repr_no_u(default))
328
                +' does not exist in mapping, falling back to None', level=2.1)
329
            default = None
330
331 3287 aaronmk
    # Save default values for all rows since in_table may have rows deleted
332 3431 aaronmk
    if is_literals: pass
333
    elif is_function: full_in_table = in_table
334 3386 aaronmk
    else:
335
        full_in_table = sql_gen.suffixed_table(in_table, '_full')
336
        full_in_table_cols = [in_pkey_col]
337
        if default != None:
338
            full_in_table_cols.append(default)
339
            default = sql_gen.with_table(default, full_in_table)
340
        sql.run_query_into(db, sql.mk_select(db, in_table, full_in_table_cols,
341
            order_by=None), into=full_in_table, add_pkey_=True)
342 3287 aaronmk
343 3431 aaronmk
    if not is_literals:
344
        pkeys_names = [in_pkey, out_pkey]
345
        pkeys_cols = [in_pkey_col, out_pkey_col]
346 3077 aaronmk
347
    pkeys_table_exists_ref = [False]
348 3499 aaronmk
    def insert_into_pkeys(joins, cols=None, limit=None, **kw_args):
349 3477 aaronmk
        query = sql.mk_select(db, joins, cols, order_by=None, limit=limit)
350 3077 aaronmk
        if pkeys_table_exists_ref[0]:
351 3289 aaronmk
            sql.insert_select(db, into, pkeys_names, query, **kw_args)
352 3077 aaronmk
        else:
353 3304 aaronmk
            sql.run_query_into(db, query, into=into, add_pkey_=True, **kw_args)
354 3077 aaronmk
            pkeys_table_exists_ref[0] = True
355
356
    limit_ref = [None]
357 3418 aaronmk
    def mk_main_select(joins, cols):
358
        return sql.mk_select(db, joins, cols, limit=limit_ref[0], order_by=None)
359
360 3431 aaronmk
    if is_literals: insert_in_table = None
361
    else:
362
        insert_in_table = in_table
363
        insert_in_tables = [insert_in_table]
364 3352 aaronmk
    join_cols = sql_gen.ColDict(db, out_table)
365 3077 aaronmk
366
    exc_strs = set()
367
    def log_exc(e):
368
        e_str = exc.str_(e, first_line_only=True)
369
        log_debug('Caught exception: '+e_str)
370 3552 aaronmk
        if e_str in exc_strs: # avoid infinite loops
371
            log_debug('Exception already seen, handler broken')
372
            on_error(e)
373
            remove_all_rows()
374
        else: exc_strs.add(e_str)
375 3077 aaronmk
376
    def remove_all_rows():
377
        log_debug('Ignoring all rows')
378
        limit_ref[0] = 0 # just create an empty pkeys table
379
380 3352 aaronmk
    def ignore_cond(cond, e):
381
        out_table_cols = sql_gen.ColDict(db, out_table)
382
        out_table_cols.update(util.dict_subset_right_join({},
383
            sql.table_cols(db, out_table)))
384
385
        in_cols = []
386
        cond = sql.map_expr(db, cond, mapping, in_cols)
387
        cond = sql.map_expr(db, cond, out_table_cols)
388
389
        track_data_error(db, errors_table_, sql_gen.cols_srcs(in_cols), None,
390
            e.cause.pgcode,
391
            strings.ensure_newl(e.cause.pgerror)+'condition: '+cond)
392
393
        not_cond = sql_gen.NotCond(sql_gen.CustomCode(cond))
394
        log_debug('Ignoring rows where '+strings.as_tt(not_cond.to_str(db)))
395
        sql.delete(db, insert_in_table, not_cond)
396
397 3294 aaronmk
    not_null_cols = set()
398 3077 aaronmk
    def ignore(in_col, value, e):
399 3311 aaronmk
        in_col = sql_gen.with_table(in_col, insert_in_table)
400
401 3078 aaronmk
        track_data_error(db, errors_table_, in_col.srcs, value,
402 3077 aaronmk
            e.cause.pgcode, e.cause.pgerror)
403
        log_debug('Ignoring rows with '+strings.as_tt(repr(in_col))+' = '
404
            +strings.as_tt(repr(value)))
405 3294 aaronmk
406 3310 aaronmk
        sql.add_index(db, in_col, insert_in_table) # enable fast filtering
407 3294 aaronmk
        if value != None and in_col not in not_null_cols:
408
            # Try just mapping the value to NULL
409
            sql.update(db, insert_in_table, [(in_col, None)],
410
                sql_gen.ColValueCond(in_col, value))
411 3293 aaronmk
        else:
412 3309 aaronmk
            sql.delete(db, insert_in_table, sql_gen.ColValueCond(in_col, value))
413 3294 aaronmk
            if value == None: not_null_cols.add(in_col)
414 3077 aaronmk
415 3431 aaronmk
    if not is_literals:
416
        def insert_pkeys_table(which):
417
            return sql_gen.Table(sql_gen.concat(in_table.name,
418
                '_insert_'+which+'_pkeys'))
419
        insert_out_pkeys = insert_pkeys_table('out')
420
        insert_in_pkeys = insert_pkeys_table('in')
421 3077 aaronmk
422 3550 aaronmk
    if is_function:
423
        args = dict(((k.name, v) for k, v in mapping.iteritems()))
424
        func_call = sql_gen.NamedCol(out_pkey,
425
            sql_gen.FunctionCall(out_table, **args))
426
427
        if not is_literals:
428
            log_debug('Defining wrapper function')
429
430
            # Create empty pkeys table so its row type can be used
431
            insert_into_pkeys(input_joins, [in_pkey_col, func_call], limit=0,
432
                recover=True)
433
            result_type = db.col_info(sql_gen.Col(out_pkey, into)).type
434
435
            ## Create error handling wrapper function
436
437
            wrapper = db.TempFunction(sql_gen.concat(into.name, '_wrap'))
438
439
            select_cols = [in_pkey_col]+args.values()
440
            row_var = copy.copy(sql_gen.row_var)
441
            row_var.set_srcs([in_table])
442
            in_pkey_var = sql_gen.Col(in_pkey, row_var)
443
444
            args = dict(((k, sql_gen.with_table(v, row_var))
445
                for k, v in args.iteritems()))
446
            func_call = sql_gen.FunctionCall(out_table, **args)
447
448
            def mk_return(result):
449
                return sql_gen.ReturnQuery(sql.mk_select(db,
450
                    fields=[in_pkey_var, result], explain=False))
451
            exc_handler = func_wrapper_exception_handler(db,
452
                mk_return(sql_gen.Cast(result_type, None)), args.values(),
453
                errors_table_)
454
455
            sql.define_func(db, sql_gen.FunctionDef(wrapper,
456
                sql_gen.SetOf(into),
457
                sql_gen.RowExcIgnore(sql_gen.RowType(in_table),
458
                    sql.mk_select(db, input_joins, order_by=None),
459
                    mk_return(func_call), exc_handler=exc_handler)
460
                ))
461
            wrapper_table = sql_gen.FunctionCall(wrapper)
462
463 3077 aaronmk
    # Do inserts and selects
464
    while True:
465 3473 aaronmk
        has_joins = join_cols != {}
466
467 3551 aaronmk
        # Handle unrecoverable errors in a special case
468
        if limit_ref[0] == 0:
469 3473 aaronmk
            assert not has_joins
470
471 3431 aaronmk
            if is_literals: return None
472 3551 aaronmk
            elif is_function: pass # empty pkeys table already created
473
            else:
474
                log_debug('Creating an empty output pkeys table')
475
                cur = sql.run_query_into(db, sql.mk_select(db, out_table,
476
                    [out_pkey], order_by=None, limit=0), into=insert_out_pkeys)
477
478 3077 aaronmk
            break # don't do main case
479
480
        # Prepare to insert new rows
481 3550 aaronmk
        if is_function: log_debug('Calling function on input rows')
482 3077 aaronmk
        else:
483 3550 aaronmk
            log_debug('Trying to insert new rows')
484 3291 aaronmk
            insert_args = dict(recover=True, cacheable=False)
485
            if has_joins:
486
                insert_args.update(dict(ignore=True))
487
            else:
488 3431 aaronmk
                insert_args.update(dict(returning=out_pkey))
489
                if not is_literals:
490
                    insert_args.update(dict(into=insert_out_pkeys))
491 3291 aaronmk
            main_select = mk_main_select([insert_in_table], [sql_gen.with_table(
492
                c, insert_in_table) for c in mapping.values()])
493 3077 aaronmk
494 3292 aaronmk
        try:
495
            cur = None
496 3077 aaronmk
            if is_function:
497 3431 aaronmk
                if is_literals: cur = sql.select(db, fields=[func_call])
498 3499 aaronmk
                else: insert_into_pkeys(wrapper_table, recover=True)
499 3077 aaronmk
            else:
500 3292 aaronmk
                cur = sql.insert_select(db, out_table, mapping.keys(),
501 3077 aaronmk
                    main_select, **insert_args)
502
            break # insert successful
503
        except sql.MissingCastException, e:
504
            log_exc(e)
505
506
            out_col = e.col
507
            type_ = e.type
508
509
            log_debug('Casting '+strings.as_tt(out_col)+' input to '
510
                +strings.as_tt(type_))
511 3111 aaronmk
            in_col = mapping[out_col]
512
            while True:
513
                try:
514
                    mapping[out_col] = cast_temp_col(db, type_, in_col,
515
                        errors_table_)
516
                    break # cast successful
517
                except sql.InvalidValueException, e:
518
                    log_exc(e)
519
520 3294 aaronmk
                    ignore(in_col, e.value, e)
521 3077 aaronmk
        except sql.DuplicateKeyException, e:
522
            log_exc(e)
523
524 3274 aaronmk
            # Different rows violating different unique constraints not
525
            # supported
526
            assert not join_cols
527
528 3077 aaronmk
            join_cols.update(util.dict_subset_right_join(mapping, e.cols))
529
            log_debug('Ignoring existing rows, comparing on these columns:\n'
530
                +strings.as_inline_table(join_cols, ustr=col_ustr))
531 3102 aaronmk
532 3431 aaronmk
            if is_literals:
533
                return sql.value(sql.select(db, out_table, [out_pkey_col],
534
                    mapping, order_by=None))
535
536 3102 aaronmk
            # Uniquify input table to avoid internal duplicate keys
537
            insert_in_table = sql.distinct_table(db, insert_in_table,
538 3358 aaronmk
                join_cols.values())
539 3144 aaronmk
            insert_in_tables.append(insert_in_table)
540 3077 aaronmk
        except sql.NullValueException, e:
541
            log_exc(e)
542
543
            out_col, = e.cols
544
            try: in_col = mapping[out_col]
545
            except KeyError:
546 3323 aaronmk
                msg = 'Missing mapping for NOT NULL column '+out_col
547
                log_debug(msg)
548
                if default == None: on_error(SyntaxError(msg)) # required col
549 3077 aaronmk
                remove_all_rows()
550 3294 aaronmk
            else: ignore(in_col, None, e)
551 3352 aaronmk
        except sql.CheckException, e:
552
            log_exc(e)
553
554
            ignore_cond(e.cond, e)
555 3413 aaronmk
        except sql.InvalidValueException, e:
556
            log_exc(e)
557
558
            for in_col in mapping.values(): ignore(in_col, e.value, e)
559 3474 aaronmk
        except psycopg2.extensions.TransactionRollbackError, e:
560
            log_exc(e)
561
            # retry
562 3077 aaronmk
        except sql.DatabaseErrors, e:
563
            log_exc(e)
564
565
            log_debug('No handler for exception')
566
            on_error(e)
567
            remove_all_rows()
568
        # after exception handled, rerun loop with additional constraints
569
570
    if cur != None and row_ct_ref != None and cur.rowcount >= 0:
571
        row_ct_ref[0] += cur.rowcount
572
573 3530 aaronmk
    if is_literals: return sql.value(cur)
574
575
    if is_function: pass # pkeys table already created
576 3077 aaronmk
    elif has_joins:
577
        select_joins = input_joins+[sql_gen.Join(out_table, join_cols)]
578
        log_debug('Getting output table pkeys of existing/inserted rows')
579 3306 aaronmk
        insert_into_pkeys(select_joins, pkeys_cols)
580 3077 aaronmk
    else:
581
        sql.add_row_num(db, insert_out_pkeys) # for joining with input pkeys
582
583
        log_debug('Getting input table pkeys of inserted rows')
584 3285 aaronmk
        # Note that mk_main_select() does not use ORDER BY. Instead, assume that
585
        # since the SELECT query is identical to the one used in INSERT SELECT,
586
        # its rows will be retrieved in the same order.
587 3077 aaronmk
        sql.run_query_into(db, mk_main_select(input_joins, [in_pkey]),
588
            into=insert_in_pkeys)
589
        sql.add_row_num(db, insert_in_pkeys) # for joining with output pkeys
590
591
        assert sql.table_row_count(db, insert_out_pkeys) == sql.table_row_count(
592
            db, insert_in_pkeys)
593
594
        log_debug('Combining output and input pkeys in inserted order')
595
        pkey_joins = [insert_in_pkeys, sql_gen.Join(insert_out_pkeys,
596
            {sql.row_num_col: sql_gen.join_same_not_null})]
597
        insert_into_pkeys(pkey_joins, pkeys_names)
598
599
        sql.empty_temp(db, [insert_out_pkeys, insert_in_pkeys])
600
601 3531 aaronmk
    if limit_ref[0] == 0 or not is_function: # is_function doesn't leave holes
602 3187 aaronmk
        log_debug('Setting pkeys of missing rows to '
603
            +strings.as_tt(repr(default)))
604 3287 aaronmk
        missing_rows_joins = [full_in_table, sql_gen.Join(into,
605 3187 aaronmk
            {in_pkey: sql_gen.join_same_not_null}, sql_gen.filter_out)]
606
            # must use join_same_not_null or query will take forever
607
        insert_into_pkeys(missing_rows_joins,
608 3287 aaronmk
            [sql_gen.Col(in_pkey, full_in_table),
609
            sql_gen.NamedCol(out_pkey, default)])
610 3187 aaronmk
    # otherwise, there is already an entry for every row
611 3077 aaronmk
612 3530 aaronmk
    assert (sql.table_row_count(db, into)
613
        == sql.table_row_count(db, full_in_table))
614
615
    sql.empty_temp(db, insert_in_tables+[full_in_table])
616
617
    srcs = []
618
    if is_func: srcs = sql_gen.cols_srcs(in_cols)
619
    return sql_gen.Col(out_pkey, into, srcs)