instance import_jdbc_direct

----------------------------------
instance (import_jdbc_direct empty : empty  "jdbcString") : empty : empty

Import over JDBC into a schema without foreign keys, by directly matching CQL attribute and entity names

Appears in:

JDBCSQL

Options:

allow_empty_sorts_unsafe
allow_java_eqs_unsafe
always_reload
completion_compose
completion_filter_subsumed
completion_precedence
completion_sort
completion_syntactic_ac
completion_unfailing
csv_import_prefix
dont_verify_is_appropriate_for_prover_unsafe
e_path
e_use_auto
import_col_seperator
import_dont_check_closure_unsafe
import_missing_is_empty
import_null_on_err_unsafe
import_sql_direct_prefix
jdbc_default_class
jdbc_default_string
jdbc_quote_char
jdbc_zero
maedmax_path
num_threads
prepend_entity_on_ids
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
require_consistency
second_prover
talg_reduction
timeout
triviality_check_best_effort
vampire_path