query simple

typeside t
schema s : t
----------------------------------
query (simple : s {}) : s -> cod_q simple : s {}
	
A simplified query syntax for targeting a single output table and inferring the return table columns. Use * after the word attributes to return all possible attributes.

Appears in:

All_Syntax
Employees
Joinless
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
dont_validate_unsafe
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
query_remove_redundancy
require_consistency
second_prover
simple_query_entity
talg_reduction
timeout