Project

General

Profile

1
# Database import/export
2

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

    
8
import csvs
9
import exc
10
import dicts
11
import sql
12
import sql_gen
13
import strings
14
import util
15

    
16
##### Exceptions
17

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

    
21
##### Data cleanup
22

    
23
null_strs = ['', '-', r'\N', 'NULL', 'UNKNOWN', 'nulo']
24

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

    
52
##### Error tracking
53

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

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

    
109
'''+self.return_.to_str(db)
110

    
111
def data_exception_handler(*args, **kw_args):
112
    '''Handles a data_exception by saving it or converting it to a warning.
113
    For params, see ExcToErrorsTable().
114
    '''
115
    return sql_gen.data_exception_handler(ExcToErrorsTable(*args, **kw_args))
116

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

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

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

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

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

    
222
##### Import
223

    
224
def append_csv(db, table, stream_info, stream, use_copy_from=True):
225
    assert sql.table_cols(db, table) == stream_info.header
226
    
227
    def log(msg, level=1): db.log_debug(msg, level)
228
    
229
    dialect = stream_info.dialect
230
    if csvs.is_tsv(dialect): use_copy_from = False
231
    if use_copy_from:
232
        log('Using COPY FROM')
233
        
234
        # Create COPY FROM statement
235
        copy_from = ('COPY '+table.to_str(db)+' FROM STDIN DELIMITER '
236
            +db.esc_value(dialect.delimiter)+' NULL '+db.esc_value(''))
237
        assert not csvs.is_tsv(dialect)
238
        copy_from += ' CSV'
239
        if dialect.quoting != csv.QUOTE_NONE:
240
            quote_str = db.esc_value(dialect.quotechar)
241
            copy_from += ' QUOTE '+quote_str
242
            if dialect.doublequote: copy_from += ' ESCAPE '+quote_str
243
        copy_from += ';\n'
244
        
245
        log(copy_from, level=2)
246
        db.db.cursor().copy_expert(copy_from, stream)
247
    else:
248
        log('Using INSERT')
249
        cols_ct = len(stream_info.header)
250
        row_ct = 0
251
        inserted_row_ct = 0
252
        for row in csvs.make_reader(stream, dialect):
253
            row_ct += 1
254
            row = map(strings.to_unicode, row)
255
            util.list_set_length(row, cols_ct) # truncate extra cols
256
            if sql.insert(db, table, row, ignore=True, cacheable=False,
257
                log_level=5) != None:
258
                inserted_row_ct += 1
259
        log('Inserted '+str(inserted_row_ct)+' of '+str(row_ct)+' rows')
260

    
261
def import_csv(db, table, stream, use_copy_from=True):
262
    def log(msg, level=1): db.log_debug(msg, level)
263
    
264
    # Get format info
265
    info = csvs.stream_info(stream, parse_header=True)
266
    col_names = map(strings.to_unicode, info.header)
267
    for i, col in enumerate(col_names): # replace empty column names
268
        if col == '': col_names[i] = 'column_'+str(i)
269
    
270
    # Select schema and escape names
271
    def esc_name(name): return db.esc_name(name)
272
    
273
    typed_cols = [sql_gen.TypedCol(v, 'text') for v in col_names]
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, info, stream, use_copy_from)
287
    if use_copy_from: sql.with_savepoint(db, load)
288
    else: load()
289
    
290
    cleanup_table(db, table)
291

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

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

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

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

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