Project

General

Profile

1
# Database import/export
2

    
3
import copy
4
import csv
5
import operator
6
import warnings
7
import sys
8

    
9
import csvs
10
import exc
11
import dicts
12
import sql
13
import sql_gen
14
import streams
15
import strings
16
import util
17

    
18
##### Exceptions
19

    
20
# Can't use built-in SyntaxError because it stringifies to only the first line
21
class SyntaxError(Exception): pass
22

    
23
##### Data cleanup
24

    
25
null_strs = ['', '-', r'\N', 'NULL', 'UNKNOWN', 'nulo']
26

    
27
def cleanup_table(db, table):
28
    table = sql_gen.as_Table(table)
29
    cols = filter(lambda c: sql_gen.is_text_col(db, c),
30
        sql.table_cols(db, table))
31
    try: pkey_col = sql.table_pkey_col(db, table)
32
    except sql.DoesNotExistException: pass
33
    else:
34
        try: cols.remove(pkey_col)
35
        except ValueError: pass
36
    if not cols: return
37
    
38
    db.log_debug('Cleaning up table', level=1.5)
39
    
40
    expr = 'trim(both from %s)'
41
    for null in null_strs: expr = 'nullif('+expr+', '+db.esc_value(null)+')'
42
    changes = [(v, sql_gen.CustomCode(expr % v.to_str(db))) for v in cols]
43
    
44
    while True:
45
        try:
46
            sql.update(db, table, changes, in_place=True, recover=True)
47
            break # successful
48
        except sql.NullValueException, e:
49
            db.log_debug('Caught exception: '+exc.str_(e))
50
            col, = e.cols
51
            sql.drop_not_null(db, col)
52
    
53
    db.log_debug('Vacuuming and reanalyzing table', level=1.5)
54
    sql.vacuum(db, table)
55

    
56
##### Error tracking
57

    
58
def track_data_error(db, errors_table, cols, value, error_code, error):
59
    '''
60
    @param errors_table If None, does nothing.
61
    '''
62
    if errors_table == None or cols == (): return
63
    
64
    for col in cols:
65
        try:
66
            sql.insert(db, errors_table, dict(column=col.name, value=value,
67
                error_code=error_code, error=error), recover=True,
68
                cacheable=True, log_level=4)
69
        except sql.DuplicateKeyException: pass
70

    
71
class ExcToErrorsTable(sql_gen.ExcToWarning):
72
    '''Handles an exception by saving it or converting it to a warning.'''
73
    def __init__(self, return_, srcs, errors_table, value=None):
74
        '''
75
        @param return_ See sql_gen.ExcToWarning
76
        @param srcs The column names for the errors table
77
        @param errors_table None|sql_gen.Table
78
        @param value The value (or an expression for it) that caused the error
79
        @pre The invalid value must be in a local variable "value" of type text.
80
        '''
81
        sql_gen.ExcToWarning.__init__(self, return_)
82
        
83
        value = sql_gen.as_Code(value)
84
        
85
        self.srcs = srcs
86
        self.errors_table = errors_table
87
        self.value = value
88
    
89
    def to_str(self, db):
90
        if not self.srcs or self.errors_table == None:
91
            return sql_gen.ExcToWarning.to_str(self, db)
92
        
93
        errors_table_cols = map(sql_gen.Col,
94
            ['column', 'value', 'error_code', 'error'])
95
        col_names_query = sql.mk_select(db, sql_gen.NamedValues('c', None,
96
            [[c.name] for c in self.srcs]), order_by=None)
97
        insert_query = sql.mk_insert_select(db, self.errors_table,
98
            errors_table_cols,
99
            sql_gen.Values(errors_table_cols).to_str(db))+';\n'
100
        return '''\
101
-- Save error in errors table.
102
DECLARE
103
    error_code text := SQLSTATE;
104
    error text := SQLERRM;
105
    value text := '''+self.value.to_str(db)+''';
106
    "column" text;
107
BEGIN
108
    -- Insert the value and error for *each* source column.
109
'''+strings.indent(sql_gen.RowExcIgnore(None, col_names_query, insert_query,
110
    row_var=errors_table_cols[0]).to_str(db))+'''
111
END;
112

    
113
'''+self.return_.to_str(db)
114

    
115
def data_exception_handler(*args, **kw_args):
116
    '''Handles a data_exception by saving it or converting it to a warning.
117
    For params, see ExcToErrorsTable().
118
    '''
119
    return sql_gen.data_exception_handler(ExcToErrorsTable(*args, **kw_args))
120

    
121
def cast(db, type_, col, errors_table=None):
122
    '''Casts an (unrenamed) column or value.
123
    If errors_table set and col has srcs, saves errors in errors_table (using
124
    col's srcs attr as source columns). Otherwise, converts errors to warnings.
125
    @param col str|sql_gen.Col|sql_gen.Literal
126
    @param errors_table None|sql_gen.Table|str
127
    '''
128
    col = sql_gen.as_Col(col)
129
    
130
    # Don't convert exceptions to warnings for user-supplied constants
131
    if isinstance(col, sql_gen.Literal): return sql_gen.Cast(type_, col)
132
    
133
    assert not isinstance(col, sql_gen.NamedCol)
134
    
135
    function_name = strings.first_word(type_)
136
    srcs = col.srcs
137
    save_errors = errors_table != None and srcs
138
    if save_errors: # function will be unique for the given srcs
139
        function_name = strings.ustr(sql_gen.FunctionCall(function_name,
140
            *map(sql_gen.to_name_only_col, srcs)))
141
    function = db.TempFunction(function_name)
142
    
143
    # Create function definition
144
    modifiers = 'STRICT'
145
    if not save_errors: modifiers = 'IMMUTABLE '+modifiers
146
    value_param = sql_gen.FunctionParam('value', 'text')
147
    handler = data_exception_handler('RETURN NULL;\n', srcs, errors_table,
148
        value_param.name)
149
    body = sql_gen.CustomCode(handler.to_str(db, '''\
150
/* The explicit cast to the return type is needed to make the cast happen
151
inside the try block. (Implicit casts to the return type happen at the end
152
of the function, outside any block.) */
153
RETURN value::'''+type_+''';
154
'''))
155
    body.lang='plpgsql'
156
    sql.define_func(db, sql_gen.FunctionDef(function, type_, body,
157
        [value_param], modifiers))
158
    
159
    return sql_gen.FunctionCall(function, col)
160

    
161
def func_wrapper_exception_handler(db, return_, args, errors_table):
162
    '''Handles a function call's data_exceptions.
163
    Supports PL/Python functions.
164
    @param return_ See data_exception_handler()
165
    @param args [arg...] Function call's args
166
    @param errors_table See data_exception_handler()
167
    '''
168
    args = filter(sql_gen.has_srcs, args)
169
    
170
    srcs = sql_gen.cross_join_srcs(args)
171
    value = sql_gen.merge_not_null(db, ',', args)
172
    return sql_gen.NestedExcHandler(
173
        data_exception_handler(return_, srcs, errors_table, value)
174
        , sql_gen.plpythonu_error_handler
175
        )
176

    
177
def cast_temp_col(db, type_, col, errors_table=None):
178
    '''Like cast(), but creates a new column with the cast values if the input
179
    is a column.
180
    @return The new column or cast value
181
    '''
182
    def cast_(col): return cast(db, type_, col, errors_table)
183
    
184
    try: col = sql_gen.underlying_col(col)
185
    except sql_gen.NoUnderlyingTableException: return sql_gen.wrap(cast_, col)
186
    
187
    table = col.table
188
    new_col = sql_gen.suffixed_col(col, '::'+strings.first_word(type_))
189
    expr = cast_(col)
190
    
191
    # Add column
192
    new_typed_col = sql_gen.TypedCol(new_col.name, type_)
193
    sql.add_col(db, table, new_typed_col, comment=strings.urepr(col)+'::'+type_)
194
    new_col.name = new_typed_col.name # propagate any renaming
195
    
196
    sql.update(db, table, [(new_col, expr)], in_place=True, recover=True)
197
    
198
    return new_col
199

    
200
def errors_table(db, table, if_exists=True):
201
    '''
202
    @param if_exists If set, returns None if the errors table doesn't exist
203
    @return None|sql_gen.Table
204
    '''
205
    table = sql_gen.as_Table(table)
206
    if table.srcs != (): table = table.srcs[0]
207
    
208
    errors_table = sql_gen.suffixed_table(table, '.errors')
209
    if if_exists and not sql.table_exists(db, errors_table): return None
210
    return errors_table
211

    
212
def mk_errors_table(db, table):
213
    errors_table_ = errors_table(db, table, if_exists=False)
214
    if sql.table_exists(db, errors_table_, cacheable=False): return
215
    
216
    typed_cols = [
217
        sql_gen.TypedCol('column', 'text', nullable=False),
218
        sql_gen.TypedCol('value', 'text'),
219
        sql_gen.TypedCol('error_code', 'character varying(5)', nullable=False),
220
        sql_gen.TypedCol('error', 'text', nullable=False),
221
        ]
222
    sql.create_table(db, errors_table_, typed_cols, has_pkey=False)
223
    index_cols = ['column', 'value', 'error_code', 'error']
224
    sql.add_index(db, index_cols, errors_table_, unique=True)
225

    
226
##### Import
227

    
228
row_num_col_def = copy.copy(sql.row_num_col_def)
229
row_num_col_def.name = 'row_num'
230
row_num_col_def.type = 'integer'
231

    
232
def append_csv(db, table, reader, header):
233
    assert sql.table_col_names(db, table) == header
234
    
235
    def log(msg, level=1): db.log_debug(msg, level)
236
    
237
    # Wrap in standardizing stream
238
    cols_ct = len(header)
239
    stream = csvs.InputRewriter(streams.ProgressInputStream(csvs.StreamFilter(
240
        csvs.ColCtFilter(reader, cols_ct)), sys.stderr, msg='Read %d row(s)',
241
        n=1000))
242
    dialect = stream.dialect # use default dialect
243
    
244
    # Create COPY FROM statement
245
    copy_from = ('COPY '+table.to_str(db)+' FROM STDIN DELIMITER '
246
        +db.esc_value(dialect.delimiter)+' NULL '+db.esc_value(''))
247
    assert not csvs.is_tsv(dialect)
248
    copy_from += ' CSV'
249
    if dialect.quoting != csv.QUOTE_NONE:
250
        quote_str = db.esc_value(dialect.quotechar)
251
        copy_from += ' QUOTE '+quote_str
252
        if dialect.doublequote: copy_from += ' ESCAPE '+quote_str
253
    copy_from += ';\n'
254
    
255
    log(copy_from, level=2)
256
    try: db.db.cursor().copy_expert(copy_from, stream)
257
    except Exception, e: sql.parse_exception(db, e, recover=True)
258

    
259
def import_csv(db, table, reader, header):
260
    def log(msg, level=1): db.log_debug(msg, level)
261
    
262
    # Get format info
263
    col_names = map(strings.to_unicode, header)
264
    for i, col in enumerate(col_names): # replace empty column names
265
        if col == '': col_names[i] = 'column_'+str(i)
266
    
267
    # Select schema and escape names
268
    def esc_name(name): return db.esc_name(name)
269
    
270
    typed_cols = [sql_gen.TypedCol(v, 'text') for v in col_names]
271
    typed_cols.insert(0, row_num_col_def)
272
    header.insert(0, row_num_col_def.name)
273
    reader = csvs.RowNumFilter(reader)
274
    
275
    log('Creating table')
276
    # Note that this is not rolled back if the import fails. Instead, it is
277
    # cached, and will not be re-run if the import is retried.
278
    sql.create_table(db, table, typed_cols, has_pkey=False, col_indexes=False)
279
    
280
    # Free memory used by deleted (rolled back) rows from any failed import.
281
    # This MUST be run so that the rows will be stored in inserted order, and
282
    # the row_num added after import will match up with the CSV's row order.
283
    sql.truncate(db, table)
284
    
285
    # Load the data
286
    def load(): append_csv(db, table, reader, header)
287
    sql.with_savepoint(db, load)
288
    
289
    cleanup_table(db, table)
290

    
291
def put(db, table, row, pkey_=None, row_ct_ref=None, on_error=exc.reraise):
292
    '''Recovers from errors.
293
    Only works under PostgreSQL (uses INSERT RETURNING).
294
    '''
295
    return put_table(db, table, [], row, row_ct_ref, on_error=on_error)
296

    
297
def get(db, table, row, pkey, row_ct_ref=None, create=False):
298
    '''Recovers from errors'''
299
    try:
300
        return sql.value(sql.select(db, table, [pkey], row, limit=1,
301
            recover=True))
302
    except StopIteration:
303
        if not create: raise
304
        return put(db, table, row, pkey, row_ct_ref) # insert new row
305

    
306
def is_func_result(col):
307
    return col.table.name.find('(') >= 0 and col.name == 'result'
308

    
309
def into_table_name(out_table, in_tables0, mapping, is_func):
310
    def in_col_str(in_col):
311
        in_col = sql_gen.remove_col_rename(in_col)
312
        if isinstance(in_col, sql_gen.Col):
313
            table = in_col.table
314
            if table == in_tables0:
315
                in_col = sql_gen.to_name_only_col(in_col)
316
            elif is_func_result(in_col): in_col = table # omit col name
317
        return strings.ustr(in_col)
318
    
319
    str_ = strings.ustr(out_table)
320
    if is_func:
321
        str_ += '('
322
        
323
        try: value_in_col = mapping['value']
324
        except KeyError:
325
            str_ += ', '.join((strings.ustr(k)+'='+in_col_str(v)
326
                for k, v in mapping.iteritems()))
327
        else: str_ += in_col_str(value_in_col)
328
        
329
        str_ += ')'
330
    else:
331
        out_col = 'rank'
332
        try: in_col = mapping[out_col]
333
        except KeyError: str_ += '_pkeys'
334
        else: # has a rank column, so hierarchical
335
            str_ += '['+strings.ustr(out_col)+'='+in_col_str(in_col)+']'
336
    return str_
337

    
338
def put_table(db, out_table, in_tables, mapping, row_ct_ref=None, default=None,
339
    col_defaults={}, on_error=exc.reraise):
340
    '''Recovers from errors.
341
    Only works under PostgreSQL (uses INSERT RETURNING).
342
    IMPORTANT: Must be run at the *beginning* of a transaction.
343
    @param in_tables The main input table to select from, followed by a list of
344
        tables to join with it using the main input table's pkey
345
    @param mapping dict(out_table_col=in_table_col, ...)
346
        * out_table_col: str (*not* sql_gen.Col)
347
        * in_table_col: sql_gen.Col|literal-value
348
    @param default The *output* column to use as the pkey for missing rows.
349
        If this output column does not exist in the mapping, uses None.
350
    @param col_defaults Default values for required columns.
351
    @return sql_gen.Col Where the output pkeys are made available
352
    '''
353
    import psycopg2.extensions
354
    
355
    out_table = sql_gen.as_Table(out_table)
356
    
357
    def log_debug(msg): db.log_debug(msg, level=1.5)
358
    def col_ustr(str_):
359
        return strings.repr_no_u(sql_gen.remove_col_rename(str_))
360
    
361
    log_debug('********** New iteration **********')
362
    log_debug('Inserting these input columns into '+strings.as_tt(
363
        out_table.to_str(db))+':\n'+strings.as_table(mapping, ustr=col_ustr))
364
    
365
    is_function = sql.function_exists(db, out_table)
366
    
367
    if is_function: row_ct_ref = None # only track inserted rows
368
    
369
    # Warn if inserting empty table rows
370
    if not mapping and not is_function: # functions with no args OK
371
        warnings.warn(UserWarning('Inserting empty table row(s)'))
372
    
373
    if is_function: out_pkey = 'result'
374
    else: out_pkey = sql.pkey_name(db, out_table, recover=True)
375
    out_pkey_col = sql_gen.as_Col(out_pkey, out_table)
376
    
377
    in_tables_ = copy.copy(in_tables) # don't modify input!
378
    try: in_tables0 = in_tables_.pop(0) # first table is separate
379
    except IndexError: in_tables0 = None
380
    else:
381
        in_pkey = sql.pkey_name(db, in_tables0, recover=True)
382
        in_pkey_col = sql_gen.as_Col(in_pkey, in_tables0)
383
    
384
    # Determine if can use optimization for only literal values
385
    is_literals = not reduce(operator.or_, map(sql_gen.is_table_col,
386
        mapping.values()), False)
387
    is_literals_or_function = is_literals or is_function
388
    
389
    if in_tables0 == None: errors_table_ = None
390
    else: errors_table_ = errors_table(db, in_tables0)
391
    
392
    # Create input joins from list of input tables
393
    input_joins = [in_tables0]+[sql_gen.Join(v,
394
        {in_pkey: sql_gen.join_same_not_null}) for v in in_tables_]
395
    
396
    orig_mapping = mapping.copy()
397
    if mapping == {} and not is_function: # need >= one column for INSERT SELECT
398
        mapping = {out_pkey: None} # ColDict will replace with default value
399
    
400
    if not is_literals:
401
        into = sql_gen.as_Table(into_table_name(out_table, in_tables0, mapping,
402
            is_function))
403
        # Ensure into's out_pkey is different from in_pkey by prepending "out."
404
        if is_function: into_out_pkey = out_pkey
405
        else: into_out_pkey = 'out.'+out_pkey
406
        
407
        # Set column sources
408
        in_cols = filter(sql_gen.is_table_col, mapping.values())
409
        for col in in_cols:
410
            if col.table == in_tables0: col.set_srcs(sql_gen.src_self)
411
        
412
        log_debug('Joining together input tables into temp table')
413
        # Place in new table so don't modify input and for speed
414
        in_table = sql_gen.Table('in')
415
        mapping = dicts.join(mapping, sql.flatten(db, in_table, input_joins,
416
            in_cols, preserve=[in_pkey_col]))
417
        input_joins = [in_table]
418
        db.log_debug('Temp table: '+strings.as_tt(in_table.to_str(db)), level=2)
419
    
420
    # Wrap mapping in a sql_gen.ColDict.
421
    # sql_gen.ColDict sanitizes both keys and values passed into it.
422
    # Do after applying dicts.join() because that returns a plain dict.
423
    mapping = sql_gen.ColDict(db, out_table, mapping)
424
    
425
    # Save all rows since in_table may have rows deleted
426
    if is_literals: pass
427
    elif is_function: full_in_table = in_table
428
    else:
429
        full_in_table = sql_gen.suffixed_table(in_table, '_full')
430
        sql.copy_table(db, in_table, full_in_table)
431
    
432
    pkeys_table_exists_ref = [False]
433
    def insert_into_pkeys(query, **kw_args):
434
        if pkeys_table_exists_ref[0]:
435
            sql.insert_select(db, into, [in_pkey, into_out_pkey], query,
436
                **kw_args)
437
        else:
438
            sql.run_query_into(db, query, into=into, add_pkey_=True, **kw_args)
439
            pkeys_table_exists_ref[0] = True
440
    
441
    def mk_main_select(joins, cols): return sql.mk_select(db, joins, cols)
442
    
443
    if is_literals: insert_in_table = None
444
    else:
445
        insert_in_table = in_table
446
        insert_in_tables = [insert_in_table]
447
    join_cols = sql_gen.ColDict(db, out_table)
448
    
449
    exc_strs = set()
450
    def log_exc(e):
451
        e_str = exc.str_(e, first_line_only=True)
452
        log_debug('Caught exception: '+e_str)
453
        if e_str in exc_strs: # avoid infinite loops
454
            log_debug('Exception already seen, handler broken')
455
            on_error(e)
456
            remove_all_rows()
457
            return False
458
        else: exc_strs.add(e_str)
459
        return True
460
    
461
    ignore_all_ref = [False]
462
    def remove_all_rows():
463
        log_debug('Ignoring all rows')
464
        ignore_all_ref[0] = True # just return the default value column
465
    
466
    def ensure_cond(cond, e, passed=False, failed=False):
467
        if is_literals: # we know the constraint was applied exactly once
468
            if passed: pass
469
            elif failed: remove_all_rows()
470
            else: raise NotImplementedError()
471
        else:
472
            out_table_cols = sql_gen.ColDict(db, out_table)
473
            out_table_cols.update(util.dict_subset_right_join({},
474
                sql.table_col_names(db, out_table)))
475
            
476
            in_cols = []
477
            cond = sql_gen.map_expr(db, cond, mapping, in_cols)
478
            cond = sql_gen.map_expr(db, cond, out_table_cols)
479
            
480
            not_cond = sql_gen.NotCond(sql_gen.CustomCode(cond))
481
            log_debug('Ignoring rows that do not satisfy '+strings.as_tt(cond))
482
            cur = None
483
            if cond == sql_gen.false_expr:
484
                assert failed
485
                remove_all_rows()
486
            elif cond == sql_gen.true_expr: assert passed
487
            else: cur = sql.delete(db, insert_in_table, not_cond)
488
            
489
            if failed or cur.rowcount > 0: # only if any rows failed cond
490
                track_data_error(db, errors_table_,
491
                    sql_gen.cross_join_srcs(in_cols), None, e.cause.pgcode,
492
                    strings.ensure_newl(e.cause.pgerror)+'condition: '+cond)
493
    
494
    not_null_cols = set()
495
    def ignore(in_col, value, e):
496
        if sql_gen.is_table_col(in_col):
497
            in_col = sql_gen.with_table(in_col, insert_in_table)
498
            
499
            track_data_error(db, errors_table_, in_col.srcs, value,
500
                e.cause.pgcode, e.cause.pgerror)
501
            
502
            sql.add_index(db, in_col, insert_in_table) # enable fast filtering
503
            if value != None and in_col not in not_null_cols:
504
                log_debug('Replacing invalid value '
505
                    +strings.as_tt(strings.urepr(value))+' with NULL in column '
506
                    +strings.as_tt(in_col.to_str(db)))
507
                sql.update(db, insert_in_table, [(in_col, None)],
508
                    sql_gen.ColValueCond(in_col, value))
509
            else:
510
                log_debug('Ignoring rows with '+strings.as_tt(in_col.to_str(db))
511
                    +' = '+strings.as_tt(strings.urepr(value)))
512
                sql.delete(db, insert_in_table,
513
                    sql_gen.ColValueCond(in_col, value))
514
                if value == None: not_null_cols.add(in_col)
515
        else:
516
            assert isinstance(in_col, sql_gen.NamedCol)
517
            in_value = sql_gen.remove_col_rename(in_col)
518
            assert sql_gen.is_literal(in_value)
519
            if value == in_value.value:
520
                if value != None:
521
                    log_debug('Replacing invalid literal '
522
                        +strings.as_tt(in_col.to_str(db))+' with NULL')
523
                    mapping[in_col.name] = None
524
                else:
525
                    remove_all_rows()
526
            # otherwise, all columns were being ignore()d because the specific
527
            # column couldn't be identified, and this was not the invalid column
528
    
529
    if not is_literals:
530
        def insert_pkeys_table(which):
531
            return sql_gen.Table(sql_gen.concat(in_table.name,
532
                '_insert_'+which+'_pkeys'))
533
        insert_out_pkeys = insert_pkeys_table('out')
534
        insert_in_pkeys = insert_pkeys_table('in')
535
    
536
    def mk_func_call():
537
        args = dict(((k.name, v) for k, v in mapping.iteritems()))
538
        return sql_gen.FunctionCall(out_table, **args), args
539
        
540
    if is_function and not is_literals:
541
        log_debug('Defining wrapper function')
542
        
543
        func_call, args = mk_func_call()
544
        func_call = sql_gen.NamedCol(into_out_pkey, func_call)
545
        
546
        # Create empty pkeys table so its row type can be used
547
        insert_into_pkeys(sql.mk_select(db, input_joins,
548
            [in_pkey_col, func_call], limit=0), recover=True)
549
        result_type = db.col_info(sql_gen.Col(into_out_pkey, into)).type
550
        
551
        ## Create error handling wrapper function
552
        
553
        wrapper = db.TempFunction(sql_gen.concat(into.name, '_wrap'))
554
        
555
        select_cols = [in_pkey_col]+args.values()
556
        row_var = copy.copy(sql_gen.row_var)
557
        row_var.set_srcs([in_table])
558
        in_pkey_var = sql_gen.Col(in_pkey, row_var)
559
        
560
        args = dict(((k, sql_gen.with_table(v, row_var))
561
            for k, v in args.iteritems()))
562
        func_call = sql_gen.FunctionCall(out_table, **args)
563
        
564
        def mk_return(result):
565
            return sql_gen.ReturnQuery(sql.mk_select(db,
566
                fields=[in_pkey_var, result], explain=False))
567
        exc_handler = func_wrapper_exception_handler(db,
568
            mk_return(sql_gen.Cast(result_type, None)), args.values(),
569
            errors_table_)
570
        
571
        sql.define_func(db, sql_gen.FunctionDef(wrapper, sql_gen.SetOf(into),
572
            sql_gen.RowExcIgnore(sql_gen.RowType(in_table),
573
                sql.mk_select(db, input_joins), mk_return(func_call),
574
                exc_handler=exc_handler)
575
            ))
576
        wrapper_table = sql_gen.FunctionCall(wrapper)
577
    
578
    missing_msg = None
579
    
580
    # Do inserts and selects
581
    while True:
582
        has_joins = join_cols != {}
583
        
584
        if ignore_all_ref[0]: break # unrecoverable error, so don't do main case
585
        
586
        # Prepare to insert new rows
587
        if is_function:
588
            log_debug('Calling function on input rows')
589
            if is_literals: func_call, args = mk_func_call()
590
        else:
591
            log_debug('Trying to insert new rows')
592
            insert_args = dict(recover=True, cacheable=False)
593
            if has_joins:
594
                insert_args.update(dict(ignore=True))
595
            else:
596
                insert_args.update(dict(returning=out_pkey))
597
                if not is_literals:
598
                    insert_args.update(dict(into=insert_out_pkeys))
599
            main_select = mk_main_select([insert_in_table], [sql_gen.with_table(
600
                c, insert_in_table) for c in mapping.values()])
601
        
602
        try:
603
            cur = None
604
            if is_function:
605
                if is_literals:
606
                    cur = sql.select(db, fields=[func_call], recover=True,
607
                        cacheable=True)
608
                else:
609
                    insert_into_pkeys(sql.mk_select(db, wrapper_table,
610
                        order_by=None), recover=True)
611
            else:
612
                cur = sql.insert_select(db, out_table, mapping.keys(),
613
                    main_select, **insert_args)
614
            break # insert successful
615
        except sql.MissingCastException, e:
616
            if not log_exc(e): break
617
            
618
            type_ = e.type
619
            if e.col == None: out_cols = mapping.keys()
620
            else: out_cols = [e.col]
621
            
622
            for out_col in out_cols:
623
                log_debug('Casting '+strings.as_tt(strings.repr_no_u(out_col))
624
                    +' input to '+strings.as_tt(type_))
625
                in_col = mapping[out_col]
626
                while True:
627
                    try:
628
                        mapping[out_col] = cast_temp_col(db, type_, in_col,
629
                            errors_table_)
630
                        break # cast successful
631
                    except sql.InvalidValueException, e:
632
                        if not log_exc(e): break
633
                        
634
                        ignore(in_col, e.value, e)
635
        except sql.DuplicateKeyException, e:
636
            if not log_exc(e): break
637
            
638
            # Different rows violating different unique constraints not
639
            # supported
640
            assert not join_cols
641
            
642
            if e.cond != None: ensure_cond(e.cond, e, passed=True)
643
            
644
            join_cols.update(util.dict_subset_right_join(mapping, e.cols))
645
            log_debug('Ignoring existing rows, comparing on these columns:\n'
646
                +strings.as_inline_table(join_cols, ustr=col_ustr))
647
            
648
            if is_literals:
649
                return sql.value(sql.select(db, out_table, [out_pkey_col],
650
                    join_cols, order_by=None))
651
            
652
            # Uniquify input table to avoid internal duplicate keys
653
            insert_in_table = sql.distinct_table(db, insert_in_table,
654
                join_cols.values())
655
            insert_in_tables.append(insert_in_table)
656
        except sql.NullValueException, e:
657
            if not log_exc(e): break
658
            
659
            out_col, = e.cols
660
            try: in_col = mapping[out_col]
661
            except KeyError, e:
662
                try: in_col = mapping[out_col] = col_defaults[out_col]
663
                except KeyError:
664
                    missing_msg = 'Missing mapping for NOT NULL column '+out_col
665
                    log_debug(missing_msg)
666
                    remove_all_rows()
667
            else: ignore(in_col, None, e)
668
        except sql.CheckException, e:
669
            if not log_exc(e): break
670
            
671
            ensure_cond(e.cond, e, failed=True)
672
        except sql.InvalidValueException, e:
673
            if not log_exc(e): break
674
            
675
            for in_col in mapping.values(): ignore(in_col, e.value, e)
676
        except psycopg2.extensions.TransactionRollbackError, e:
677
            if not log_exc(e): break
678
            # retry
679
        except sql.DatabaseErrors, e:
680
            if not log_exc(e): break
681
            
682
            log_debug('No handler for exception')
683
            on_error(e)
684
            remove_all_rows()
685
        # after exception handled, rerun loop with additional constraints
686
    
687
    # Resolve default value column
688
    if default != None:
689
        if ignore_all_ref[0]: mapping.update(orig_mapping) # use input cols
690
        try: default = mapping[default]
691
        except KeyError:
692
            db.log_debug('Default value column '
693
                +strings.as_tt(strings.repr_no_u(default))
694
                +' does not exist in mapping, falling back to None', level=2.1)
695
            default = None
696
        else: default = sql_gen.remove_col_rename(default)
697
    
698
    if missing_msg != None and default == None:
699
        warnings.warn(UserWarning(missing_msg))
700
        # not an error because sometimes the mappings include
701
        # extra tables which aren't used by the dataset
702
    
703
    # Handle unrecoverable errors
704
    if ignore_all_ref[0]:
705
        log_debug('Returning default: '+strings.as_tt(strings.urepr(default)))
706
        return default
707
    
708
    if cur != None and row_ct_ref != None and cur.rowcount >= 0:
709
        row_ct_ref[0] += cur.rowcount
710
    
711
    if is_literals: return sql.value(cur)
712
    
713
    if is_function: pass # pkeys table already created
714
    elif has_joins:
715
        select_joins = input_joins+[sql_gen.Join(out_table, join_cols)]
716
        log_debug('Getting output table pkeys of existing/inserted rows')
717
        insert_into_pkeys(sql.mk_select(db, select_joins, [in_pkey_col,
718
            sql_gen.NamedCol(into_out_pkey, out_pkey_col)], order_by=None))
719
    else:
720
        sql.add_row_num(db, insert_out_pkeys) # for joining with input pkeys
721
        
722
        log_debug('Getting input table pkeys of inserted rows')
723
        # Note that mk_main_select() does not use ORDER BY. Instead, assume that
724
        # since the SELECT query is identical to the one used in INSERT SELECT,
725
        # its rows will be retrieved in the same order.
726
        sql.run_query_into(db, mk_main_select(input_joins, [in_pkey]),
727
            into=insert_in_pkeys)
728
        sql.add_row_num(db, insert_in_pkeys) # for joining with output pkeys
729
        
730
        assert sql.table_row_count(db, insert_out_pkeys) == sql.table_row_count(
731
            db, insert_in_pkeys)
732
        
733
        log_debug('Combining output and input pkeys in inserted order')
734
        pkey_joins = [insert_in_pkeys, sql_gen.Join(insert_out_pkeys,
735
            {sql.row_num_col: sql_gen.join_same_not_null})]
736
        in_col = sql_gen.Col(in_pkey, insert_in_pkeys)
737
        out_col = sql_gen.NamedCol(into_out_pkey,
738
            sql_gen.Col(out_pkey, insert_out_pkeys))
739
        insert_into_pkeys(sql.mk_select(db, pkey_joins, [in_col, out_col],
740
            order_by=None))
741
        
742
        sql.empty_temp(db, [insert_out_pkeys, insert_in_pkeys])
743
    
744
    if not is_function: # is_function doesn't leave holes
745
        log_debug('Setting pkeys of missing rows to '
746
            +strings.as_tt(strings.urepr(default)))
747
        if sql_gen.is_table_col(default):
748
            default = sql_gen.with_table(default, full_in_table)
749
        missing_rows_joins = [full_in_table, sql_gen.Join(into,
750
            {in_pkey: sql_gen.join_same_not_null}, sql_gen.filter_out)]
751
            # must use join_same_not_null or query will take forever
752
        insert_into_pkeys(sql.mk_select(db, missing_rows_joins,
753
            [sql_gen.Col(in_pkey, full_in_table),
754
            sql_gen.NamedCol(into_out_pkey, default)], order_by=None))
755
    # otherwise, there is already an entry for every row
756
    
757
    assert (sql.table_row_count(db, into)
758
        == sql.table_row_count(db, full_in_table))
759
    
760
    sql.empty_temp(db, insert_in_tables+[full_in_table])
761
    
762
    srcs = []
763
    if is_function: srcs = sql_gen.cols_srcs(in_cols)
764
    return sql_gen.Col(into_out_pkey, into, srcs)
(30-30/42)