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 3628 aaronmk
def put_table(db, out_table, in_tables, mapping, row_ct_ref=None, default=None,
245
    col_defaults={}, on_error=exc.raise_):
246 3077 aaronmk
    '''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 default The *output* column to use as the pkey for missing rows.
255
        If this output column does not exist in the mapping, uses None.
256 3618 aaronmk
    @param col_defaults Default values for required columns.
257 3077 aaronmk
    @return sql_gen.Col Where the output pkeys are made available
258
    '''
259 3474 aaronmk
    import psycopg2.extensions
260
261 3077 aaronmk
    out_table = sql_gen.as_Table(out_table)
262
263
    def log_debug(msg): db.log_debug(msg, level=1.5)
264
    def col_ustr(str_):
265
        return strings.repr_no_u(sql_gen.remove_col_rename(str_))
266
267
    log_debug('********** New iteration **********')
268
    log_debug('Inserting these input columns into '+strings.as_tt(
269
        out_table.to_str(db))+':\n'+strings.as_table(mapping, ustr=col_ustr))
270
271
    is_function = sql.function_exists(db, out_table)
272
273
    if is_function: out_pkey = 'result'
274
    else: out_pkey = sql.pkey(db, out_table, recover=True)
275
    out_pkey_col = sql_gen.as_Col(out_pkey, out_table)
276
277
    in_tables_ = in_tables[:] # don't modify input!
278 3432 aaronmk
    try: in_tables0 = in_tables_.pop(0) # first table is separate
279
    except IndexError: in_tables0 = None
280
    else:
281
        in_pkey = sql.pkey(db, in_tables0, recover=True)
282
        in_pkey_col = sql_gen.as_Col(in_pkey, in_tables0)
283 3431 aaronmk
284
    # Determine if can use optimization for only literal values
285
    is_literals = not reduce(operator.or_, map(sql_gen.is_table_col,
286 3434 aaronmk
        mapping.values()), False)
287 3431 aaronmk
    is_literals_or_function = is_literals or is_function
288
289 3432 aaronmk
    if in_tables0 == None: errors_table_ = None
290
    else: errors_table_ = errors_table(db, in_tables0)
291 3431 aaronmk
292
    # Create input joins from list of input tables
293 3077 aaronmk
    input_joins = [in_tables0]+[sql_gen.Join(v,
294
        {in_pkey: sql_gen.join_same_not_null}) for v in in_tables_]
295
296 3433 aaronmk
    if mapping == {} and not is_function: # need >= one column for INSERT SELECT
297
        mapping = {out_pkey: None} # ColDict will replace with default value
298
299 3431 aaronmk
    if not is_literals:
300 3628 aaronmk
        into = sql_gen.as_Table(into_table_name(out_table, in_tables0, mapping,
301
            is_function))
302 3431 aaronmk
303
        # Set column sources
304
        in_cols = filter(sql_gen.is_table_col, mapping.values())
305
        for col in in_cols:
306
            if col.table == in_tables0: col.set_srcs(sql_gen.src_self)
307
308
        log_debug('Joining together input tables into temp table')
309
        # Place in new table so don't modify input and for speed
310
        in_table = sql_gen.Table('in')
311
        mapping = dicts.join(mapping, sql.flatten(db, in_table, input_joins,
312
            in_cols, preserve=[in_pkey_col]))
313
        input_joins = [in_table]
314
        db.log_debug('Temp table: '+strings.as_tt(in_table.to_str(db)), level=2)
315 3077 aaronmk
316
    mapping = sql_gen.ColDict(db, out_table, mapping)
317
        # after applying dicts.join() because that returns a plain dict
318
319
    # Resolve default value column
320
    if default != None:
321
        try: default = mapping[default]
322
        except KeyError:
323
            db.log_debug('Default value column '
324
                +strings.as_tt(strings.repr_no_u(default))
325
                +' does not exist in mapping, falling back to None', level=2.1)
326
            default = None
327
328 3287 aaronmk
    # Save default values for all rows since in_table may have rows deleted
329 3431 aaronmk
    if is_literals: pass
330
    elif is_function: full_in_table = in_table
331 3386 aaronmk
    else:
332
        full_in_table = sql_gen.suffixed_table(in_table, '_full')
333
        full_in_table_cols = [in_pkey_col]
334
        if default != None:
335
            full_in_table_cols.append(default)
336
            default = sql_gen.with_table(default, full_in_table)
337
        sql.run_query_into(db, sql.mk_select(db, in_table, full_in_table_cols,
338
            order_by=None), into=full_in_table, add_pkey_=True)
339 3287 aaronmk
340 3431 aaronmk
    if not is_literals:
341
        pkeys_names = [in_pkey, out_pkey]
342
        pkeys_cols = [in_pkey_col, out_pkey_col]
343 3077 aaronmk
344
    pkeys_table_exists_ref = [False]
345 3499 aaronmk
    def insert_into_pkeys(joins, cols=None, limit=None, **kw_args):
346 3477 aaronmk
        query = sql.mk_select(db, joins, cols, order_by=None, limit=limit)
347 3077 aaronmk
        if pkeys_table_exists_ref[0]:
348 3289 aaronmk
            sql.insert_select(db, into, pkeys_names, query, **kw_args)
349 3077 aaronmk
        else:
350 3304 aaronmk
            sql.run_query_into(db, query, into=into, add_pkey_=True, **kw_args)
351 3077 aaronmk
            pkeys_table_exists_ref[0] = True
352
353
    limit_ref = [None]
354 3418 aaronmk
    def mk_main_select(joins, cols):
355
        return sql.mk_select(db, joins, cols, limit=limit_ref[0], order_by=None)
356
357 3431 aaronmk
    if is_literals: insert_in_table = None
358
    else:
359
        insert_in_table = in_table
360
        insert_in_tables = [insert_in_table]
361 3352 aaronmk
    join_cols = sql_gen.ColDict(db, out_table)
362 3077 aaronmk
363
    exc_strs = set()
364
    def log_exc(e):
365
        e_str = exc.str_(e, first_line_only=True)
366
        log_debug('Caught exception: '+e_str)
367 3552 aaronmk
        if e_str in exc_strs: # avoid infinite loops
368
            log_debug('Exception already seen, handler broken')
369
            on_error(e)
370
            remove_all_rows()
371
        else: exc_strs.add(e_str)
372 3077 aaronmk
373
    def remove_all_rows():
374
        log_debug('Ignoring all rows')
375
        limit_ref[0] = 0 # just create an empty pkeys table
376
377 3352 aaronmk
    def ignore_cond(cond, e):
378
        out_table_cols = sql_gen.ColDict(db, out_table)
379
        out_table_cols.update(util.dict_subset_right_join({},
380
            sql.table_cols(db, out_table)))
381
382
        in_cols = []
383
        cond = sql.map_expr(db, cond, mapping, in_cols)
384
        cond = sql.map_expr(db, cond, out_table_cols)
385
386
        track_data_error(db, errors_table_, sql_gen.cols_srcs(in_cols), None,
387
            e.cause.pgcode,
388
            strings.ensure_newl(e.cause.pgerror)+'condition: '+cond)
389
390
        not_cond = sql_gen.NotCond(sql_gen.CustomCode(cond))
391
        log_debug('Ignoring rows where '+strings.as_tt(not_cond.to_str(db)))
392
        sql.delete(db, insert_in_table, not_cond)
393
394 3294 aaronmk
    not_null_cols = set()
395 3077 aaronmk
    def ignore(in_col, value, e):
396 3311 aaronmk
        in_col = sql_gen.with_table(in_col, insert_in_table)
397
398 3078 aaronmk
        track_data_error(db, errors_table_, in_col.srcs, value,
399 3077 aaronmk
            e.cause.pgcode, e.cause.pgerror)
400
        log_debug('Ignoring rows with '+strings.as_tt(repr(in_col))+' = '
401
            +strings.as_tt(repr(value)))
402 3294 aaronmk
403 3310 aaronmk
        sql.add_index(db, in_col, insert_in_table) # enable fast filtering
404 3294 aaronmk
        if value != None and in_col not in not_null_cols:
405
            # Try just mapping the value to NULL
406
            sql.update(db, insert_in_table, [(in_col, None)],
407
                sql_gen.ColValueCond(in_col, value))
408 3293 aaronmk
        else:
409 3309 aaronmk
            sql.delete(db, insert_in_table, sql_gen.ColValueCond(in_col, value))
410 3294 aaronmk
            if value == None: not_null_cols.add(in_col)
411 3077 aaronmk
412 3431 aaronmk
    if not is_literals:
413
        def insert_pkeys_table(which):
414
            return sql_gen.Table(sql_gen.concat(in_table.name,
415
                '_insert_'+which+'_pkeys'))
416
        insert_out_pkeys = insert_pkeys_table('out')
417
        insert_in_pkeys = insert_pkeys_table('in')
418 3077 aaronmk
419 3550 aaronmk
    if is_function:
420
        args = dict(((k.name, v) for k, v in mapping.iteritems()))
421
        func_call = sql_gen.NamedCol(out_pkey,
422
            sql_gen.FunctionCall(out_table, **args))
423
424
        if not is_literals:
425
            log_debug('Defining wrapper function')
426
427
            # Create empty pkeys table so its row type can be used
428
            insert_into_pkeys(input_joins, [in_pkey_col, func_call], limit=0,
429
                recover=True)
430
            result_type = db.col_info(sql_gen.Col(out_pkey, into)).type
431
432
            ## Create error handling wrapper function
433
434
            wrapper = db.TempFunction(sql_gen.concat(into.name, '_wrap'))
435
436
            select_cols = [in_pkey_col]+args.values()
437
            row_var = copy.copy(sql_gen.row_var)
438
            row_var.set_srcs([in_table])
439
            in_pkey_var = sql_gen.Col(in_pkey, row_var)
440
441
            args = dict(((k, sql_gen.with_table(v, row_var))
442
                for k, v in args.iteritems()))
443
            func_call = sql_gen.FunctionCall(out_table, **args)
444
445
            def mk_return(result):
446
                return sql_gen.ReturnQuery(sql.mk_select(db,
447
                    fields=[in_pkey_var, result], explain=False))
448
            exc_handler = func_wrapper_exception_handler(db,
449
                mk_return(sql_gen.Cast(result_type, None)), args.values(),
450
                errors_table_)
451
452
            sql.define_func(db, sql_gen.FunctionDef(wrapper,
453
                sql_gen.SetOf(into),
454
                sql_gen.RowExcIgnore(sql_gen.RowType(in_table),
455
                    sql.mk_select(db, input_joins, order_by=None),
456
                    mk_return(func_call), exc_handler=exc_handler)
457
                ))
458
            wrapper_table = sql_gen.FunctionCall(wrapper)
459
460 3077 aaronmk
    # Do inserts and selects
461
    while True:
462 3473 aaronmk
        has_joins = join_cols != {}
463
464 3551 aaronmk
        # Handle unrecoverable errors in a special case
465
        if limit_ref[0] == 0:
466 3473 aaronmk
            assert not has_joins
467
468 3623 aaronmk
            if is_literals:
469
                log_debug('Returning default: '+strings.as_tt(repr(default)))
470
                return default
471 3551 aaronmk
            elif is_function: pass # empty pkeys table already created
472
            else:
473
                log_debug('Creating an empty output pkeys table')
474
                cur = sql.run_query_into(db, sql.mk_select(db, out_table,
475
                    [out_pkey], order_by=None, limit=0), into=insert_out_pkeys)
476
477 3077 aaronmk
            break # don't do main case
478
479
        # Prepare to insert new rows
480 3550 aaronmk
        if is_function: log_debug('Calling function on input rows')
481 3077 aaronmk
        else:
482 3550 aaronmk
            log_debug('Trying to insert new rows')
483 3291 aaronmk
            insert_args = dict(recover=True, cacheable=False)
484
            if has_joins:
485
                insert_args.update(dict(ignore=True))
486
            else:
487 3431 aaronmk
                insert_args.update(dict(returning=out_pkey))
488
                if not is_literals:
489
                    insert_args.update(dict(into=insert_out_pkeys))
490 3291 aaronmk
            main_select = mk_main_select([insert_in_table], [sql_gen.with_table(
491
                c, insert_in_table) for c in mapping.values()])
492 3077 aaronmk
493 3292 aaronmk
        try:
494
            cur = None
495 3077 aaronmk
            if is_function:
496 3431 aaronmk
                if is_literals: cur = sql.select(db, fields=[func_call])
497 3499 aaronmk
                else: insert_into_pkeys(wrapper_table, recover=True)
498 3077 aaronmk
            else:
499 3292 aaronmk
                cur = sql.insert_select(db, out_table, mapping.keys(),
500 3077 aaronmk
                    main_select, **insert_args)
501
            break # insert successful
502
        except sql.MissingCastException, e:
503
            log_exc(e)
504
505
            out_col = e.col
506
            type_ = e.type
507
508
            log_debug('Casting '+strings.as_tt(out_col)+' input to '
509
                +strings.as_tt(type_))
510 3111 aaronmk
            in_col = mapping[out_col]
511
            while True:
512
                try:
513
                    mapping[out_col] = cast_temp_col(db, type_, in_col,
514
                        errors_table_)
515
                    break # cast successful
516
                except sql.InvalidValueException, e:
517
                    log_exc(e)
518
519 3294 aaronmk
                    ignore(in_col, e.value, e)
520 3077 aaronmk
        except sql.DuplicateKeyException, e:
521
            log_exc(e)
522
523 3274 aaronmk
            # Different rows violating different unique constraints not
524
            # supported
525
            assert not join_cols
526
527 3077 aaronmk
            join_cols.update(util.dict_subset_right_join(mapping, e.cols))
528
            log_debug('Ignoring existing rows, comparing on these columns:\n'
529
                +strings.as_inline_table(join_cols, ustr=col_ustr))
530 3102 aaronmk
531 3431 aaronmk
            if is_literals:
532
                return sql.value(sql.select(db, out_table, [out_pkey_col],
533
                    mapping, order_by=None))
534
535 3102 aaronmk
            # Uniquify input table to avoid internal duplicate keys
536
            insert_in_table = sql.distinct_table(db, insert_in_table,
537 3358 aaronmk
                join_cols.values())
538 3144 aaronmk
            insert_in_tables.append(insert_in_table)
539 3077 aaronmk
        except sql.NullValueException, e:
540
            log_exc(e)
541
542
            out_col, = e.cols
543
            try: in_col = mapping[out_col]
544 3618 aaronmk
            except KeyError, e:
545
                try: in_col = mapping[out_col] = col_defaults[out_col]
546
                except KeyError:
547
                    msg = 'Missing mapping for NOT NULL column '+out_col
548
                    log_debug(msg)
549
                    if default == None: on_error(SyntaxError(msg))# required col
550
                    remove_all_rows()
551 3294 aaronmk
            else: ignore(in_col, None, e)
552 3352 aaronmk
        except sql.CheckException, e:
553
            log_exc(e)
554
555
            ignore_cond(e.cond, e)
556 3413 aaronmk
        except sql.InvalidValueException, e:
557
            log_exc(e)
558
559
            for in_col in mapping.values(): ignore(in_col, e.value, e)
560 3474 aaronmk
        except psycopg2.extensions.TransactionRollbackError, e:
561
            log_exc(e)
562
            # retry
563 3077 aaronmk
        except sql.DatabaseErrors, e:
564
            log_exc(e)
565
566
            log_debug('No handler for exception')
567
            on_error(e)
568
            remove_all_rows()
569
        # after exception handled, rerun loop with additional constraints
570
571
    if cur != None and row_ct_ref != None and cur.rowcount >= 0:
572
        row_ct_ref[0] += cur.rowcount
573
574 3530 aaronmk
    if is_literals: return sql.value(cur)
575
576
    if is_function: pass # pkeys table already created
577 3077 aaronmk
    elif has_joins:
578
        select_joins = input_joins+[sql_gen.Join(out_table, join_cols)]
579
        log_debug('Getting output table pkeys of existing/inserted rows')
580 3306 aaronmk
        insert_into_pkeys(select_joins, pkeys_cols)
581 3077 aaronmk
    else:
582
        sql.add_row_num(db, insert_out_pkeys) # for joining with input pkeys
583
584
        log_debug('Getting input table pkeys of inserted rows')
585 3285 aaronmk
        # Note that mk_main_select() does not use ORDER BY. Instead, assume that
586
        # since the SELECT query is identical to the one used in INSERT SELECT,
587
        # its rows will be retrieved in the same order.
588 3077 aaronmk
        sql.run_query_into(db, mk_main_select(input_joins, [in_pkey]),
589
            into=insert_in_pkeys)
590
        sql.add_row_num(db, insert_in_pkeys) # for joining with output pkeys
591
592
        assert sql.table_row_count(db, insert_out_pkeys) == sql.table_row_count(
593
            db, insert_in_pkeys)
594
595
        log_debug('Combining output and input pkeys in inserted order')
596
        pkey_joins = [insert_in_pkeys, sql_gen.Join(insert_out_pkeys,
597
            {sql.row_num_col: sql_gen.join_same_not_null})]
598
        insert_into_pkeys(pkey_joins, pkeys_names)
599
600
        sql.empty_temp(db, [insert_out_pkeys, insert_in_pkeys])
601
602 3531 aaronmk
    if limit_ref[0] == 0 or not is_function: # is_function doesn't leave holes
603 3187 aaronmk
        log_debug('Setting pkeys of missing rows to '
604
            +strings.as_tt(repr(default)))
605 3287 aaronmk
        missing_rows_joins = [full_in_table, sql_gen.Join(into,
606 3187 aaronmk
            {in_pkey: sql_gen.join_same_not_null}, sql_gen.filter_out)]
607
            # must use join_same_not_null or query will take forever
608
        insert_into_pkeys(missing_rows_joins,
609 3287 aaronmk
            [sql_gen.Col(in_pkey, full_in_table),
610
            sql_gen.NamedCol(out_pkey, default)])
611 3187 aaronmk
    # otherwise, there is already an entry for every row
612 3077 aaronmk
613 3530 aaronmk
    assert (sql.table_row_count(db, into)
614
        == sql.table_row_count(db, full_in_table))
615
616
    sql.empty_temp(db, insert_in_tables+[full_in_table])
617
618
    srcs = []
619 3619 aaronmk
    if is_function: srcs = sql_gen.cols_srcs(in_cols)
620 3530 aaronmk
    return sql_gen.Col(out_pkey, into, srcs)