schema import_jdbc_all

----------------------------------
schema (import_jdbc_all  "jdbc_string") : sql
	
Returns the schema associated with a SQL DB.

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
dont_verify_is_appropriate_for_prover_unsafe
e_path
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
second_prover
talg_reduction
timeout