instance import_jdbc_all

----------------------------------
instance (import_jdbc_all  "jdbc_string") : import_jdbc_all  "jdbc_string"
	
Imports a SQL database onto an autogenerated CQL schema. The CQL schema will have one attribute per column in the input DB, and one foreign key per foreign key in the input DB, and equations capturing the input DB's foreign key constraints. The type side will have a single type, ``dom''. When the [jdbcclass] and [jdbcuri] are the empty string, their values will be determined by the jdbc_default_class and jdbc_default_string options. See also option import_col_seperator and schema_only (imports the empty instance). See also prepend_entity_on_ids and jdbc_no_distinct_unsafe.

Appears in:

JDBCSQL
QuickSQL

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
dont_verify_is_appropriate_for_prover_unsafe
e_path
import_dont_check_closure_unsafe
import_null_on_err_unsafe
jdbc_default_class
jdbc_default_string
jdbc_quote_char
maedmax_path
num_threads
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
require_consistency
second_prover
talg_reduction
timeout