instance eval

typeside t
schema s1 : t
schema s2 : t
query q : s1 -> s2
instance i : s1
----------------------------------
instance (eval q i) : s2

Evaluates a query. Generalizes relational conjunctive queries to the case of multiple tables connected by constraints.

Appears in:

Aggregation
All_Syntax
Compose
Dataversity
Delta
Demo
Employees
ForeignKeys
Joinless
LambdaConf
OuterJoin
Pullback
Query
QueryED
RExt
Spans
Tutorial
UnitConv
vsSQL1
vsSQL3

Options:

always_reload
eval_approx_sql_unsafe
eval_join_selectivity
eval_max_plan_depth
eval_max_temp_size
eval_reorder_joins
eval_sql_persistent_indices
eval_use_indices
eval_use_sql_above
num_threads
query_remove_redundancy
start_ids_at
talg_reduction
timeout
varchar_length