instance chase

typeside t
schema s : t
constraints c : s
instance i : s
----------------------------------
instance (chase c i) : s
	
Repairs a database that may not conform to a set of constraints. It can also be used for data integration in the traditional, relational, regular logic / ED style. If the chase succeeds, the result instance will satisfy the constraints. The options will be used for the construction of the intermediate instances during the chase process.

Appears in:

All_Syntax
CSV
Constraints
Demo
Pullback
vsSQL3

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
maedmax_path
num_threads
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
require_consistency
second_prover
talg_reduction
timeout