Project

General

Profile

1 3077 aaronmk
# Database import/export
2
3 3534 aaronmk
import copy
4 4995 aaronmk
import csv
5 3431 aaronmk
import operator
6 3714 aaronmk
import warnings
7 5588 aaronmk
import sys
8 3431 aaronmk
9 4995 aaronmk
import csvs
10 3077 aaronmk
import exc
11
import dicts
12
import sql
13
import sql_gen
14 5588 aaronmk
import streams
15 3077 aaronmk
import strings
16
import util
17
18 3645 aaronmk
##### Exceptions
19
20
# Can't use built-in SyntaxError because it stringifies to only the first line
21
class SyntaxError(Exception): pass
22
23 3081 aaronmk
##### Data cleanup
24
25 4915 aaronmk
null_strs = ['', '-', r'\N', 'NULL', 'UNKNOWN', 'nulo']
26 4209 aaronmk
27 4447 aaronmk
def cleanup_table(db, table):
28 3081 aaronmk
    table = sql_gen.as_Table(table)
29 5384 aaronmk
    cols = filter(lambda c: sql_gen.is_text_col(db, c),
30
        sql.table_cols(db, table))
31 5394 aaronmk
    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 4928 aaronmk
    if not cols: return
37 3081 aaronmk
38 4993 aaronmk
    db.log_debug('Cleaning up table', level=1.5)
39
40 4209 aaronmk
    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 3081 aaronmk
44 4444 aaronmk
    while True:
45
        try:
46
            sql.update(db, table, changes, in_place=True, recover=True)
47
            break # successful
48
        except sql.NullValueException, e:
49 4457 aaronmk
            db.log_debug('Caught exception: '+exc.str_(e))
50 4444 aaronmk
            col, = e.cols
51
            sql.drop_not_null(db, col)
52 4992 aaronmk
53
    db.log_debug('Vacuuming and reanalyzing table', level=1.5)
54
    sql.vacuum(db, table)
55 3081 aaronmk
56 3078 aaronmk
##### 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 5817 aaronmk
    if errors_table == None: return
63 3078 aaronmk
64 5815 aaronmk
    col_names = [c.name for c in cols]
65
    if not col_names: col_names = [None] # need at least one entry
66
    for col_name in col_names:
67 3078 aaronmk
        try:
68 5815 aaronmk
            sql.insert(db, errors_table, dict(column=col_name, value=value,
69 3078 aaronmk
                error_code=error_code, error=error), recover=True,
70
                cacheable=True, log_level=4)
71
        except sql.DuplicateKeyException: pass
72
73 3506 aaronmk
class ExcToErrorsTable(sql_gen.ExcToWarning):
74
    '''Handles an exception by saving it or converting it to a warning.'''
75 3511 aaronmk
    def __init__(self, return_, srcs, errors_table, value=None):
76 3506 aaronmk
        '''
77
        @param return_ See sql_gen.ExcToWarning
78
        @param srcs The column names for the errors table
79
        @param errors_table None|sql_gen.Table
80 3511 aaronmk
        @param value The value (or an expression for it) that caused the error
81 3506 aaronmk
        @pre The invalid value must be in a local variable "value" of type text.
82
        '''
83
        sql_gen.ExcToWarning.__init__(self, return_)
84
85 3511 aaronmk
        value = sql_gen.as_Code(value)
86
87 3506 aaronmk
        self.srcs = srcs
88
        self.errors_table = errors_table
89 3511 aaronmk
        self.value = value
90 3501 aaronmk
91 3506 aaronmk
    def to_str(self, db):
92
        if not self.srcs or self.errors_table == None:
93
            return sql_gen.ExcToWarning.to_str(self, db)
94
95 3459 aaronmk
        errors_table_cols = map(sql_gen.Col,
96
            ['column', 'value', 'error_code', 'error'])
97 3465 aaronmk
        col_names_query = sql.mk_select(db, sql_gen.NamedValues('c', None,
98 3506 aaronmk
            [[c.name] for c in self.srcs]), order_by=None)
99
        insert_query = sql.mk_insert_select(db, self.errors_table,
100
            errors_table_cols,
101 3465 aaronmk
            sql_gen.Values(errors_table_cols).to_str(db))+';\n'
102 3506 aaronmk
        return '''\
103 3459 aaronmk
-- Save error in errors table.
104
DECLARE
105
    error_code text := SQLSTATE;
106
    error text := SQLERRM;
107 3511 aaronmk
    value text := '''+self.value.to_str(db)+''';
108 3529 aaronmk
    "column" text;
109 3459 aaronmk
BEGIN
110
    -- Insert the value and error for *each* source column.
111 3529 aaronmk
'''+strings.indent(sql_gen.RowExcIgnore(None, col_names_query, insert_query,
112 3467 aaronmk
    row_var=errors_table_cols[0]).to_str(db))+'''
113 3459 aaronmk
END;
114 3501 aaronmk
115 3506 aaronmk
'''+self.return_.to_str(db)
116 3459 aaronmk
117 3507 aaronmk
def data_exception_handler(*args, **kw_args):
118 3506 aaronmk
    '''Handles a data_exception by saving it or converting it to a warning.
119
    For params, see ExcToErrorsTable().
120
    '''
121
    return sql_gen.data_exception_handler(ExcToErrorsTable(*args, **kw_args))
122
123 3078 aaronmk
def cast(db, type_, col, errors_table=None):
124
    '''Casts an (unrenamed) column or value.
125
    If errors_table set and col has srcs, saves errors in errors_table (using
126 3360 aaronmk
    col's srcs attr as source columns). Otherwise, converts errors to warnings.
127 3078 aaronmk
    @param col str|sql_gen.Col|sql_gen.Literal
128
    @param errors_table None|sql_gen.Table|str
129
    '''
130
    col = sql_gen.as_Col(col)
131
132 3112 aaronmk
    # Don't convert exceptions to warnings for user-supplied constants
133
    if isinstance(col, sql_gen.Literal): return sql_gen.Cast(type_, col)
134
135 3078 aaronmk
    assert not isinstance(col, sql_gen.NamedCol)
136
137 3460 aaronmk
    function_name = strings.first_word(type_)
138 3459 aaronmk
    srcs = col.srcs
139 3508 aaronmk
    save_errors = errors_table != None and srcs
140
    if save_errors: # function will be unique for the given srcs
141 3750 aaronmk
        function_name = strings.ustr(sql_gen.FunctionCall(function_name,
142 3508 aaronmk
            *map(sql_gen.to_name_only_col, srcs)))
143 3078 aaronmk
    function = db.TempFunction(function_name)
144
145 3464 aaronmk
    # Create function definition
146
    modifiers = 'STRICT'
147
    if not save_errors: modifiers = 'IMMUTABLE '+modifiers
148 5791 aaronmk
    value_param = sql_gen.FunctionParam('value', 'anyelement')
149 3511 aaronmk
    handler = data_exception_handler('RETURN NULL;\n', srcs, errors_table,
150
        value_param.name)
151 3464 aaronmk
    body = sql_gen.CustomCode(handler.to_str(db, '''\
152 3467 aaronmk
/* The explicit cast to the return type is needed to make the cast happen
153
inside the try block. (Implicit casts to the return type happen at the end
154
of the function, outside any block.) */
155
RETURN value::'''+type_+''';
156 3464 aaronmk
'''))
157
    body.lang='plpgsql'
158 3500 aaronmk
    sql.define_func(db, sql_gen.FunctionDef(function, type_, body,
159 3511 aaronmk
        [value_param], modifiers))
160 3464 aaronmk
161 3078 aaronmk
    return sql_gen.FunctionCall(function, col)
162
163 3538 aaronmk
def func_wrapper_exception_handler(db, return_, args, errors_table):
164 3524 aaronmk
    '''Handles a function call's data_exceptions.
165
    Supports PL/Python functions.
166
    @param return_ See data_exception_handler()
167
    @param args [arg...] Function call's args
168
    @param errors_table See data_exception_handler()
169
    '''
170
    args = filter(sql_gen.has_srcs, args)
171
172
    srcs = sql_gen.cross_join_srcs(args)
173 3538 aaronmk
    value = sql_gen.merge_not_null(db, ',', args)
174 3524 aaronmk
    return sql_gen.NestedExcHandler(
175
        data_exception_handler(return_, srcs, errors_table, value)
176
        , sql_gen.plpythonu_error_handler
177
        )
178
179 3078 aaronmk
def cast_temp_col(db, type_, col, errors_table=None):
180
    '''Like cast(), but creates a new column with the cast values if the input
181
    is a column.
182
    @return The new column or cast value
183
    '''
184
    def cast_(col): return cast(db, type_, col, errors_table)
185
186
    try: col = sql_gen.underlying_col(col)
187
    except sql_gen.NoUnderlyingTableException: return sql_gen.wrap(cast_, col)
188
189
    table = col.table
190 3173 aaronmk
    new_col = sql_gen.suffixed_col(col, '::'+strings.first_word(type_))
191 3078 aaronmk
    expr = cast_(col)
192
193
    # Add column
194
    new_typed_col = sql_gen.TypedCol(new_col.name, type_)
195 3750 aaronmk
    sql.add_col(db, table, new_typed_col, comment=strings.urepr(col)+'::'+type_)
196 3078 aaronmk
    new_col.name = new_typed_col.name # propagate any renaming
197
198 3110 aaronmk
    sql.update(db, table, [(new_col, expr)], in_place=True, recover=True)
199 3078 aaronmk
200
    return new_col
201
202
def errors_table(db, table, if_exists=True):
203
    '''
204
    @param if_exists If set, returns None if the errors table doesn't exist
205
    @return None|sql_gen.Table
206
    '''
207
    table = sql_gen.as_Table(table)
208
    if table.srcs != (): table = table.srcs[0]
209
210
    errors_table = sql_gen.suffixed_table(table, '.errors')
211
    if if_exists and not sql.table_exists(db, errors_table): return None
212
    return errors_table
213
214 4436 aaronmk
def mk_errors_table(db, table):
215
    errors_table_ = errors_table(db, table, if_exists=False)
216 4557 aaronmk
    if sql.table_exists(db, errors_table_, cacheable=False): return
217 4436 aaronmk
218
    typed_cols = [
219 5813 aaronmk
        sql_gen.TypedCol('column', 'text'),
220 4436 aaronmk
        sql_gen.TypedCol('value', 'text'),
221
        sql_gen.TypedCol('error_code', 'character varying(5)', nullable=False),
222
        sql_gen.TypedCol('error', 'text', nullable=False),
223
        ]
224
    sql.create_table(db, errors_table_, typed_cols, has_pkey=False)
225
    index_cols = ['column', 'value', 'error_code', 'error']
226
    sql.add_index(db, index_cols, errors_table_, unique=True)
227
228 3078 aaronmk
##### Import
229
230 5568 aaronmk
row_num_col_def = copy.copy(sql.row_num_col_def)
231
row_num_col_def.name = 'row_num'
232 5569 aaronmk
row_num_col_def.type = 'integer'
233 5568 aaronmk
234 5590 aaronmk
def append_csv(db, table, reader, header):
235
    assert sql.table_col_names(db, table) == header
236 5037 aaronmk
237 5017 aaronmk
    def log(msg, level=1): db.log_debug(msg, level)
238
239 5584 aaronmk
    # Wrap in standardizing stream
240 5590 aaronmk
    cols_ct = len(header)
241 5588 aaronmk
    stream = csvs.InputRewriter(streams.ProgressInputStream(csvs.StreamFilter(
242 5590 aaronmk
        csvs.ColCtFilter(reader, cols_ct)), sys.stderr, msg='Read %d row(s)',
243
        n=1000))
244 5584 aaronmk
    dialect = stream.dialect # use default dialect
245
246
    # Create COPY FROM statement
247
    copy_from = ('COPY '+table.to_str(db)+' FROM STDIN DELIMITER '
248
        +db.esc_value(dialect.delimiter)+' NULL '+db.esc_value(''))
249
    assert not csvs.is_tsv(dialect)
250
    copy_from += ' CSV'
251
    if dialect.quoting != csv.QUOTE_NONE:
252
        quote_str = db.esc_value(dialect.quotechar)
253
        copy_from += ' QUOTE '+quote_str
254
        if dialect.doublequote: copy_from += ' ESCAPE '+quote_str
255
    copy_from += ';\n'
256
257
    log(copy_from, level=2)
258
    try: db.db.cursor().copy_expert(copy_from, stream)
259
    except Exception, e: sql.parse_exception(db, e, recover=True)
260 5017 aaronmk
261 5591 aaronmk
def import_csv(db, table, reader, header):
262 4995 aaronmk
    def log(msg, level=1): db.log_debug(msg, level)
263
264
    # Get format info
265 5590 aaronmk
    col_names = map(strings.to_unicode, header)
266 4995 aaronmk
    for i, col in enumerate(col_names): # replace empty column names
267
        if col == '': col_names[i] = 'column_'+str(i)
268
269
    # Select schema and escape names
270
    def esc_name(name): return db.esc_name(name)
271
272
    typed_cols = [sql_gen.TypedCol(v, 'text') for v in col_names]
273 5594 aaronmk
    typed_cols.insert(0, row_num_col_def)
274
    header.insert(0, row_num_col_def.name)
275
    reader = csvs.RowNumFilter(reader)
276 4995 aaronmk
277
    log('Creating table')
278 4999 aaronmk
    # Note that this is not rolled back if the import fails. Instead, it is
279
    # cached, and will not be re-run if the import is retried.
280 4995 aaronmk
    sql.create_table(db, table, typed_cols, has_pkey=False, col_indexes=False)
281
282 5001 aaronmk
    # Free memory used by deleted (rolled back) rows from any failed import.
283
    # This MUST be run so that the rows will be stored in inserted order, and
284
    # the row_num added after import will match up with the CSV's row order.
285 4999 aaronmk
    sql.truncate(db, table)
286
287 4995 aaronmk
    # Load the data
288 5590 aaronmk
    def load(): append_csv(db, table, reader, header)
289 5583 aaronmk
    sql.with_savepoint(db, load)
290 4995 aaronmk
291
    cleanup_table(db, table)
292
293 5719 aaronmk
def put(db, table, row, pkey_=None, row_ct_ref=None, on_error=exc.reraise):
294 3077 aaronmk
    '''Recovers from errors.
295
    Only works under PostgreSQL (uses INSERT RETURNING).
296
    '''
297 5719 aaronmk
    return put_table(db, table, [], row, row_ct_ref, on_error=on_error)
298 3077 aaronmk
299
def get(db, table, row, pkey, row_ct_ref=None, create=False):
300
    '''Recovers from errors'''
301
    try:
302
        return sql.value(sql.select(db, table, [pkey], row, limit=1,
303
            recover=True))
304
    except StopIteration:
305
        if not create: raise
306
        return put(db, table, row, pkey, row_ct_ref) # insert new row
307
308
def is_func_result(col):
309
    return col.table.name.find('(') >= 0 and col.name == 'result'
310
311
def into_table_name(out_table, in_tables0, mapping, is_func):
312
    def in_col_str(in_col):
313
        in_col = sql_gen.remove_col_rename(in_col)
314
        if isinstance(in_col, sql_gen.Col):
315
            table = in_col.table
316
            if table == in_tables0:
317
                in_col = sql_gen.to_name_only_col(in_col)
318
            elif is_func_result(in_col): in_col = table # omit col name
319 3750 aaronmk
        return strings.ustr(in_col)
320 3077 aaronmk
321 4491 aaronmk
    str_ = strings.ustr(out_table)
322 3077 aaronmk
    if is_func:
323
        str_ += '('
324
325
        try: value_in_col = mapping['value']
326
        except KeyError:
327 4491 aaronmk
            str_ += ', '.join((strings.ustr(k)+'='+in_col_str(v)
328 3077 aaronmk
                for k, v in mapping.iteritems()))
329
        else: str_ += in_col_str(value_in_col)
330
331
        str_ += ')'
332
    else:
333
        out_col = 'rank'
334
        try: in_col = mapping[out_col]
335
        except KeyError: str_ += '_pkeys'
336
        else: # has a rank column, so hierarchical
337 4491 aaronmk
            str_ += '['+strings.ustr(out_col)+'='+in_col_str(in_col)+']'
338 3077 aaronmk
    return str_
339
340 3628 aaronmk
def put_table(db, out_table, in_tables, mapping, row_ct_ref=None, default=None,
341 3660 aaronmk
    col_defaults={}, on_error=exc.reraise):
342 3077 aaronmk
    '''Recovers from errors.
343
    Only works under PostgreSQL (uses INSERT RETURNING).
344
    IMPORTANT: Must be run at the *beginning* of a transaction.
345
    @param in_tables The main input table to select from, followed by a list of
346
        tables to join with it using the main input table's pkey
347
    @param mapping dict(out_table_col=in_table_col, ...)
348
        * out_table_col: str (*not* sql_gen.Col)
349
        * in_table_col: sql_gen.Col|literal-value
350
    @param default The *output* column to use as the pkey for missing rows.
351
        If this output column does not exist in the mapping, uses None.
352 3618 aaronmk
    @param col_defaults Default values for required columns.
353 3077 aaronmk
    @return sql_gen.Col Where the output pkeys are made available
354
    '''
355 3474 aaronmk
    import psycopg2.extensions
356
357 3077 aaronmk
    out_table = sql_gen.as_Table(out_table)
358
359
    def log_debug(msg): db.log_debug(msg, level=1.5)
360
    def col_ustr(str_):
361
        return strings.repr_no_u(sql_gen.remove_col_rename(str_))
362
363
    log_debug('********** New iteration **********')
364
    log_debug('Inserting these input columns into '+strings.as_tt(
365
        out_table.to_str(db))+':\n'+strings.as_table(mapping, ustr=col_ustr))
366
367
    is_function = sql.function_exists(db, out_table)
368
369 5192 aaronmk
    if is_function: row_ct_ref = None # only track inserted rows
370
371 4984 aaronmk
    # Warn if inserting empty table rows
372
    if not mapping and not is_function: # functions with no args OK
373
        warnings.warn(UserWarning('Inserting empty table row(s)'))
374
375 3077 aaronmk
    if is_function: out_pkey = 'result'
376 5388 aaronmk
    else: out_pkey = sql.pkey_name(db, out_table, recover=True)
377 3077 aaronmk
    out_pkey_col = sql_gen.as_Col(out_pkey, out_table)
378
379 5069 aaronmk
    in_tables_ = copy.copy(in_tables) # don't modify input!
380 3432 aaronmk
    try: in_tables0 = in_tables_.pop(0) # first table is separate
381
    except IndexError: in_tables0 = None
382
    else:
383 5388 aaronmk
        in_pkey = sql.pkey_name(db, in_tables0, recover=True)
384 3432 aaronmk
        in_pkey_col = sql_gen.as_Col(in_pkey, in_tables0)
385 3431 aaronmk
386
    # Determine if can use optimization for only literal values
387
    is_literals = not reduce(operator.or_, map(sql_gen.is_table_col,
388 3434 aaronmk
        mapping.values()), False)
389 3431 aaronmk
    is_literals_or_function = is_literals or is_function
390
391 3432 aaronmk
    if in_tables0 == None: errors_table_ = None
392
    else: errors_table_ = errors_table(db, in_tables0)
393 3431 aaronmk
394
    # Create input joins from list of input tables
395 3077 aaronmk
    input_joins = [in_tables0]+[sql_gen.Join(v,
396
        {in_pkey: sql_gen.join_same_not_null}) for v in in_tables_]
397
398 5381 aaronmk
    orig_mapping = mapping.copy()
399 3433 aaronmk
    if mapping == {} and not is_function: # need >= one column for INSERT SELECT
400
        mapping = {out_pkey: None} # ColDict will replace with default value
401
402 3431 aaronmk
    if not is_literals:
403 3628 aaronmk
        into = sql_gen.as_Table(into_table_name(out_table, in_tables0, mapping,
404
            is_function))
405 5553 aaronmk
        # Ensure into's out_pkey is different from in_pkey by prepending "out."
406 4495 aaronmk
        if is_function: into_out_pkey = out_pkey
407 5553 aaronmk
        else: into_out_pkey = 'out.'+out_pkey
408 3431 aaronmk
409
        # Set column sources
410
        in_cols = filter(sql_gen.is_table_col, mapping.values())
411
        for col in in_cols:
412
            if col.table == in_tables0: col.set_srcs(sql_gen.src_self)
413
414
        log_debug('Joining together input tables into temp table')
415
        # Place in new table so don't modify input and for speed
416
        in_table = sql_gen.Table('in')
417
        mapping = dicts.join(mapping, sql.flatten(db, in_table, input_joins,
418
            in_cols, preserve=[in_pkey_col]))
419
        input_joins = [in_table]
420
        db.log_debug('Temp table: '+strings.as_tt(in_table.to_str(db)), level=2)
421 3077 aaronmk
422 3692 aaronmk
    # Wrap mapping in a sql_gen.ColDict.
423
    # sql_gen.ColDict sanitizes both keys and values passed into it.
424
    # Do after applying dicts.join() because that returns a plain dict.
425 3077 aaronmk
    mapping = sql_gen.ColDict(db, out_table, mapping)
426
427 5239 aaronmk
    # Save all rows since in_table may have rows deleted
428 3431 aaronmk
    if is_literals: pass
429
    elif is_function: full_in_table = in_table
430 3386 aaronmk
    else:
431
        full_in_table = sql_gen.suffixed_table(in_table, '_full')
432 5530 aaronmk
        sql.copy_table(db, in_table, full_in_table)
433 3287 aaronmk
434 3077 aaronmk
    pkeys_table_exists_ref = [False]
435 5444 aaronmk
    def insert_into_pkeys(query, **kw_args):
436 3077 aaronmk
        if pkeys_table_exists_ref[0]:
437 4484 aaronmk
            sql.insert_select(db, into, [in_pkey, into_out_pkey], query,
438
                **kw_args)
439 3077 aaronmk
        else:
440 5968 aaronmk
            sql.run_query_into(db, query, into=into, add_pkey_=True, **kw_args)
441 3077 aaronmk
            pkeys_table_exists_ref[0] = True
442
443 5523 aaronmk
    def mk_main_select(joins, cols): return sql.mk_select(db, joins, cols)
444 3418 aaronmk
445 3431 aaronmk
    if is_literals: insert_in_table = None
446
    else:
447
        insert_in_table = in_table
448
        insert_in_tables = [insert_in_table]
449 3352 aaronmk
    join_cols = sql_gen.ColDict(db, out_table)
450 3077 aaronmk
451
    exc_strs = set()
452
    def log_exc(e):
453
        e_str = exc.str_(e, first_line_only=True)
454
        log_debug('Caught exception: '+e_str)
455 3552 aaronmk
        if e_str in exc_strs: # avoid infinite loops
456
            log_debug('Exception already seen, handler broken')
457
            on_error(e)
458
            remove_all_rows()
459 5718 aaronmk
            return False
460 3552 aaronmk
        else: exc_strs.add(e_str)
461 5718 aaronmk
        return True
462 3077 aaronmk
463 5377 aaronmk
    ignore_all_ref = [False]
464 3077 aaronmk
    def remove_all_rows():
465
        log_debug('Ignoring all rows')
466 5377 aaronmk
        ignore_all_ref[0] = True # just return the default value column
467 3077 aaronmk
468 5889 aaronmk
    def handle_unknown_exc(e):
469
        log_debug('No handler for exception')
470
        on_error(e)
471
        remove_all_rows()
472
473 5504 aaronmk
    def ensure_cond(cond, e, passed=False, failed=False):
474 5449 aaronmk
        if is_literals: # we know the constraint was applied exactly once
475
            if passed: pass
476
            elif failed: remove_all_rows()
477
            else: raise NotImplementedError()
478 3704 aaronmk
        else:
479 5888 aaronmk
            if not is_function:
480
                out_table_cols = sql_gen.ColDict(db, out_table)
481
                out_table_cols.update(util.dict_subset_right_join({},
482
                    sql.table_col_names(db, out_table)))
483 3704 aaronmk
484
            in_cols = []
485 5818 aaronmk
            orig_cond = cond
486 5367 aaronmk
            cond = sql_gen.map_expr(db, cond, mapping, in_cols)
487 5888 aaronmk
            if not is_function:
488
                cond = sql_gen.map_expr(db, cond, out_table_cols)
489 3704 aaronmk
490 5442 aaronmk
            log_debug('Ignoring rows that do not satisfy '+strings.as_tt(cond))
491 5449 aaronmk
            cur = None
492
            if cond == sql_gen.false_expr:
493
                assert failed
494
                remove_all_rows()
495
            elif cond == sql_gen.true_expr: assert passed
496 5895 aaronmk
            else:
497
                while True:
498
                    not_cond = sql_gen.NotCond(sql_gen.CustomCode(cond))
499
                    try:
500
                        cur = sql.delete(db, insert_in_table, not_cond)
501
                        break
502
                    except sql.DoesNotExistException, e:
503
                        if e.type != 'column': raise
504
505
                        last_cond = cond
506
                        cond = sql_gen.map_expr(db, cond, {e.name: None})
507
                        if cond == last_cond: raise # not fixable
508 5449 aaronmk
509 5827 aaronmk
            # If any rows failed cond
510
            if failed or cur != None and cur.rowcount > 0:
511 5505 aaronmk
                track_data_error(db, errors_table_,
512
                    sql_gen.cross_join_srcs(in_cols), None, e.cause.pgcode,
513 5818 aaronmk
                    strings.ensure_newl(e.cause.pgerror)+'condition: '+orig_cond
514
                    +'\ntranslated condition: '+cond)
515 3352 aaronmk
516 3294 aaronmk
    not_null_cols = set()
517 3077 aaronmk
    def ignore(in_col, value, e):
518 3630 aaronmk
        if sql_gen.is_table_col(in_col):
519
            in_col = sql_gen.with_table(in_col, insert_in_table)
520
521
            track_data_error(db, errors_table_, in_col.srcs, value,
522
                e.cause.pgcode, e.cause.pgerror)
523
524
            sql.add_index(db, in_col, insert_in_table) # enable fast filtering
525
            if value != None and in_col not in not_null_cols:
526 4492 aaronmk
                log_debug('Replacing invalid value '
527
                    +strings.as_tt(strings.urepr(value))+' with NULL in column '
528
                    +strings.as_tt(in_col.to_str(db)))
529 3630 aaronmk
                sql.update(db, insert_in_table, [(in_col, None)],
530
                    sql_gen.ColValueCond(in_col, value))
531
            else:
532 3637 aaronmk
                log_debug('Ignoring rows with '+strings.as_tt(in_col.to_str(db))
533 4492 aaronmk
                    +' = '+strings.as_tt(strings.urepr(value)))
534 3630 aaronmk
                sql.delete(db, insert_in_table,
535
                    sql_gen.ColValueCond(in_col, value))
536
                if value == None: not_null_cols.add(in_col)
537 3293 aaronmk
        else:
538 3630 aaronmk
            assert isinstance(in_col, sql_gen.NamedCol)
539 3684 aaronmk
            in_value = sql_gen.remove_col_rename(in_col)
540
            assert sql_gen.is_literal(in_value)
541
            if value == in_value.value:
542
                if value != None:
543
                    log_debug('Replacing invalid literal '
544
                        +strings.as_tt(in_col.to_str(db))+' with NULL')
545
                    mapping[in_col.name] = None
546
                else:
547
                    remove_all_rows()
548
            # otherwise, all columns were being ignore()d because the specific
549
            # column couldn't be identified, and this was not the invalid column
550 3077 aaronmk
551 3431 aaronmk
    if not is_literals:
552
        def insert_pkeys_table(which):
553
            return sql_gen.Table(sql_gen.concat(in_table.name,
554
                '_insert_'+which+'_pkeys'))
555
        insert_out_pkeys = insert_pkeys_table('out')
556
        insert_in_pkeys = insert_pkeys_table('in')
557 3077 aaronmk
558 3918 aaronmk
    def mk_func_call():
559 3550 aaronmk
        args = dict(((k.name, v) for k, v in mapping.iteritems()))
560 4484 aaronmk
        return sql_gen.FunctionCall(out_table, **args), args
561 3550 aaronmk
562 5239 aaronmk
    missing_msg = None
563
564 3077 aaronmk
    # Do inserts and selects
565
    while True:
566 3473 aaronmk
        has_joins = join_cols != {}
567
568 5377 aaronmk
        if ignore_all_ref[0]: break # unrecoverable error, so don't do main case
569 3077 aaronmk
570
        # Prepare to insert new rows
571 3918 aaronmk
        if is_function:
572 5726 aaronmk
            if is_literals:
573
                log_debug('Calling function')
574
                func_call, args = mk_func_call()
575 3077 aaronmk
        else:
576 3550 aaronmk
            log_debug('Trying to insert new rows')
577 3291 aaronmk
            insert_args = dict(recover=True, cacheable=False)
578
            if has_joins:
579
                insert_args.update(dict(ignore=True))
580
            else:
581 3431 aaronmk
                insert_args.update(dict(returning=out_pkey))
582
                if not is_literals:
583
                    insert_args.update(dict(into=insert_out_pkeys))
584 3291 aaronmk
            main_select = mk_main_select([insert_in_table], [sql_gen.with_table(
585
                c, insert_in_table) for c in mapping.values()])
586 3077 aaronmk
587 3292 aaronmk
        try:
588
            cur = None
589 3077 aaronmk
            if is_function:
590 3917 aaronmk
                if is_literals:
591
                    cur = sql.select(db, fields=[func_call], recover=True,
592
                        cacheable=True)
593 5444 aaronmk
                else:
594 5726 aaronmk
                    log_debug('Defining wrapper function')
595
596
                    func_call, args = mk_func_call()
597
                    func_call = sql_gen.NamedCol(into_out_pkey, func_call)
598
599
                    # Create empty pkeys table so its row type can be used
600
                    insert_into_pkeys(sql.mk_select(db, input_joins,
601
                        [in_pkey_col, func_call], limit=0), recover=True)
602
                    result_type = db.col_info(sql_gen.Col(into_out_pkey,
603
                        into)).type
604
605
                    ## Create error handling wrapper function
606
607
                    wrapper = db.TempFunction(sql_gen.concat(into.name,
608
                        '_wrap'))
609
610
                    select_cols = [in_pkey_col]+args.values()
611
                    row_var = copy.copy(sql_gen.row_var)
612
                    row_var.set_srcs([in_table])
613
                    in_pkey_var = sql_gen.Col(in_pkey, row_var)
614
615
                    args = dict(((k, sql_gen.with_table(v, row_var))
616
                        for k, v in args.iteritems()))
617
                    func_call = sql_gen.FunctionCall(out_table, **args)
618
619
                    def mk_return(result):
620
                        return sql_gen.ReturnQuery(sql.mk_select(db,
621
                            fields=[in_pkey_var, result], explain=False))
622
                    exc_handler = func_wrapper_exception_handler(db,
623
                        mk_return(sql_gen.Cast(result_type, None)),
624
                        args.values(), errors_table_)
625
626
                    sql.define_func(db, sql_gen.FunctionDef(wrapper,
627
                        sql_gen.SetOf(into),
628
                        sql_gen.RowExcIgnore(sql_gen.RowType(in_table),
629
                            sql.mk_select(db, input_joins),
630
                            mk_return(func_call), exc_handler=exc_handler)
631
                        ))
632
                    wrapper_table = sql_gen.FunctionCall(wrapper)
633
634
                    log_debug('Calling function')
635 5444 aaronmk
                    insert_into_pkeys(sql.mk_select(db, wrapper_table,
636 5894 aaronmk
                        order_by=None), recover=True, cacheable=False)
637 3077 aaronmk
            else:
638 3292 aaronmk
                cur = sql.insert_select(db, out_table, mapping.keys(),
639 3077 aaronmk
                    main_select, **insert_args)
640
            break # insert successful
641
        except sql.MissingCastException, e:
642 5718 aaronmk
            if not log_exc(e): break
643 3077 aaronmk
644
            type_ = e.type
645 4140 aaronmk
            if e.col == None: out_cols = mapping.keys()
646
            else: out_cols = [e.col]
647 3077 aaronmk
648 4140 aaronmk
            for out_col in out_cols:
649 4171 aaronmk
                log_debug('Casting '+strings.as_tt(strings.repr_no_u(out_col))
650 4140 aaronmk
                    +' input to '+strings.as_tt(type_))
651
                in_col = mapping[out_col]
652
                while True:
653
                    try:
654
                        mapping[out_col] = cast_temp_col(db, type_, in_col,
655
                            errors_table_)
656
                        break # cast successful
657
                    except sql.InvalidValueException, e:
658 5718 aaronmk
                        if not log_exc(e): break
659 4140 aaronmk
660
                        ignore(in_col, e.value, e)
661 3077 aaronmk
        except sql.DuplicateKeyException, e:
662 5718 aaronmk
            if not log_exc(e): break
663 3077 aaronmk
664 3274 aaronmk
            # Different rows violating different unique constraints not
665
            # supported
666
            assert not join_cols
667
668 5504 aaronmk
            if e.cond != None: ensure_cond(e.cond, e, passed=True)
669 5450 aaronmk
670 3077 aaronmk
            join_cols.update(util.dict_subset_right_join(mapping, e.cols))
671
            log_debug('Ignoring existing rows, comparing on these columns:\n'
672
                +strings.as_inline_table(join_cols, ustr=col_ustr))
673 3102 aaronmk
674 3431 aaronmk
            if is_literals:
675
                return sql.value(sql.select(db, out_table, [out_pkey_col],
676 4025 aaronmk
                    join_cols, order_by=None))
677 3431 aaronmk
678 3102 aaronmk
            # Uniquify input table to avoid internal duplicate keys
679
            insert_in_table = sql.distinct_table(db, insert_in_table,
680 3358 aaronmk
                join_cols.values())
681 3144 aaronmk
            insert_in_tables.append(insert_in_table)
682 3077 aaronmk
        except sql.NullValueException, e:
683 5718 aaronmk
            if not log_exc(e): break
684 3077 aaronmk
685
            out_col, = e.cols
686
            try: in_col = mapping[out_col]
687 3618 aaronmk
            except KeyError, e:
688
                try: in_col = mapping[out_col] = col_defaults[out_col]
689
                except KeyError:
690 5239 aaronmk
                    missing_msg = 'Missing mapping for NOT NULL column '+out_col
691
                    log_debug(missing_msg)
692 3618 aaronmk
                    remove_all_rows()
693 3294 aaronmk
            else: ignore(in_col, None, e)
694 3352 aaronmk
        except sql.CheckException, e:
695 5718 aaronmk
            if not log_exc(e): break
696 3352 aaronmk
697 5504 aaronmk
            ensure_cond(e.cond, e, failed=True)
698 3413 aaronmk
        except sql.InvalidValueException, e:
699 5718 aaronmk
            if not log_exc(e): break
700 3413 aaronmk
701
            for in_col in mapping.values(): ignore(in_col, e.value, e)
702 3474 aaronmk
        except psycopg2.extensions.TransactionRollbackError, e:
703 5718 aaronmk
            if not log_exc(e): break
704 3474 aaronmk
            # retry
705 3077 aaronmk
        except sql.DatabaseErrors, e:
706 5718 aaronmk
            if not log_exc(e): break
707 3077 aaronmk
708 5889 aaronmk
            handle_unknown_exc(e)
709 3077 aaronmk
        # after exception handled, rerun loop with additional constraints
710
711 5239 aaronmk
    # Resolve default value column
712
    if default != None:
713 5381 aaronmk
        if ignore_all_ref[0]: mapping.update(orig_mapping) # use input cols
714 5239 aaronmk
        try: default = mapping[default]
715
        except KeyError:
716
            db.log_debug('Default value column '
717
                +strings.as_tt(strings.repr_no_u(default))
718
                +' does not exist in mapping, falling back to None', level=2.1)
719
            default = None
720 5380 aaronmk
        else: default = sql_gen.remove_col_rename(default)
721 5239 aaronmk
722
    if missing_msg != None and default == None:
723
        warnings.warn(UserWarning(missing_msg))
724
        # not an error because sometimes the mappings include
725
        # extra tables which aren't used by the dataset
726
727
    # Handle unrecoverable errors
728 5377 aaronmk
    if ignore_all_ref[0]:
729 5373 aaronmk
        log_debug('Returning default: '+strings.as_tt(strings.urepr(default)))
730
        return default
731 5239 aaronmk
732 3077 aaronmk
    if cur != None and row_ct_ref != None and cur.rowcount >= 0:
733
        row_ct_ref[0] += cur.rowcount
734
735 3530 aaronmk
    if is_literals: return sql.value(cur)
736
737
    if is_function: pass # pkeys table already created
738 3077 aaronmk
    elif has_joins:
739
        select_joins = input_joins+[sql_gen.Join(out_table, join_cols)]
740
        log_debug('Getting output table pkeys of existing/inserted rows')
741 5444 aaronmk
        insert_into_pkeys(sql.mk_select(db, select_joins, [in_pkey_col,
742
            sql_gen.NamedCol(into_out_pkey, out_pkey_col)], order_by=None))
743 3077 aaronmk
    else:
744
        sql.add_row_num(db, insert_out_pkeys) # for joining with input pkeys
745
746
        log_debug('Getting input table pkeys of inserted rows')
747 3285 aaronmk
        # Note that mk_main_select() does not use ORDER BY. Instead, assume that
748
        # since the SELECT query is identical to the one used in INSERT SELECT,
749
        # its rows will be retrieved in the same order.
750 3077 aaronmk
        sql.run_query_into(db, mk_main_select(input_joins, [in_pkey]),
751
            into=insert_in_pkeys)
752
        sql.add_row_num(db, insert_in_pkeys) # for joining with output pkeys
753
754
        assert sql.table_row_count(db, insert_out_pkeys) == sql.table_row_count(
755
            db, insert_in_pkeys)
756
757
        log_debug('Combining output and input pkeys in inserted order')
758
        pkey_joins = [insert_in_pkeys, sql_gen.Join(insert_out_pkeys,
759
            {sql.row_num_col: sql_gen.join_same_not_null})]
760 4484 aaronmk
        in_col = sql_gen.Col(in_pkey, insert_in_pkeys)
761
        out_col = sql_gen.NamedCol(into_out_pkey,
762
            sql_gen.Col(out_pkey, insert_out_pkeys))
763 5444 aaronmk
        insert_into_pkeys(sql.mk_select(db, pkey_joins, [in_col, out_col],
764
            order_by=None))
765 3077 aaronmk
766
        sql.empty_temp(db, [insert_out_pkeys, insert_in_pkeys])
767
768 5374 aaronmk
    if not is_function: # is_function doesn't leave holes
769 3187 aaronmk
        log_debug('Setting pkeys of missing rows to '
770 4492 aaronmk
            +strings.as_tt(strings.urepr(default)))
771 5993 aaronmk
772
        full_in_pkey_col = sql_gen.Col(in_pkey, full_in_table)
773 5380 aaronmk
        if sql_gen.is_table_col(default):
774
            default = sql_gen.with_table(default, full_in_table)
775 3287 aaronmk
        missing_rows_joins = [full_in_table, sql_gen.Join(into,
776 3187 aaronmk
            {in_pkey: sql_gen.join_same_not_null}, sql_gen.filter_out)]
777
            # must use join_same_not_null or query will take forever
778 5993 aaronmk
779
        insert_args = dict(order_by=None)
780
        if not sql.table_has_pkey(db, full_in_table): # in_table has duplicates
781
            insert_args.update(dict(distinct_on=[full_in_pkey_col]))
782
783 5444 aaronmk
        insert_into_pkeys(sql.mk_select(db, missing_rows_joins,
784 5993 aaronmk
            [full_in_pkey_col, sql_gen.NamedCol(into_out_pkey, default)],
785
            **insert_args))
786 3187 aaronmk
    # otherwise, there is already an entry for every row
787 3077 aaronmk
788 3530 aaronmk
    assert (sql.table_row_count(db, into)
789 5824 aaronmk
        >= sql.table_row_count(db, full_in_table))
790 3530 aaronmk
791
    sql.empty_temp(db, insert_in_tables+[full_in_table])
792
793
    srcs = []
794 3619 aaronmk
    if is_function: srcs = sql_gen.cols_srcs(in_cols)
795 4484 aaronmk
    return sql_gen.Col(into_out_pkey, into, srcs)