instance import_jdbc

typeside t
schema s : t
----------------------------------
instance (import_jdbc s  "jdbc_string") : s
	
An instance obtained from a JDBC connection, one SQL query per entity. The SQL code for each entity should return a table with an ID column and one column per attribute/foreign key from that table. Note that these tables must be complete: this keyword imports a model (set of tables) of a schema, not a presentation of a model of a schema (i.e., as literal does). To import an instance as a theory, use the import_as_theory option. 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 import_missing_is_empty.

Appears in:

JDBCSQL
TutorialTSP

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
id_column_name
import_as_theory
import_col_seperator
import_dont_check_closure_unsafe
import_missing_is_empty
import_null_on_err_unsafe
jdbc_default_class
jdbc_default_string
jdbc_quote_char
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