instance quotient_query

typeside t
schema s : t
instance i : s
----------------------------------
instance (quotient_query i {}) : s

Expects a list of queries, on per entity, e.g.,

entity E -> from x:E y:E where x.a = y.b
entity F -> from x:F y:F

each query should have no attributes and no foreign keys. The resulting matched pairs (x,y) are treated as equations for performing the quotient. By default uses a chase-based algorithm; to disable, set quotient_use_chase = false

Appears in:

Dataversity
Demo
FinanceColim1
Linkage

Options:

allow_java_eqs_unsafe
always_reload
num_threads
quotient_use_chase
require_consistency
talg_reduction
timeout