instance sigma_chase

typeside t
schema s2 : t
schema s1 : t
mapping m : s1 -> s2
instance i : s1
----------------------------------
instance (sigma_chase m i ) : s2
	
Performs a sigma, but using an alternative algorithm that is faster but only on free type sides.

Appears in:

Dopfib

Options:

allow_java_eqs_unsafe
always_reload
chase_style
num_threads
require_consistency
talg_reduction
timeout