CQL Manual
.
..
prover_simplify_max.html
FinanceColim1.html
schematinkerpop.html
QueryED.html
static_typing.html
gui_max_graph_size.html
maedmax_path.html
Dataversity.html
schemaimport_jdbc_all.html
timeout.html
triviality_check_best_effort.html
commandexport_csv_transform.html
apg_morphismfst.html
JSON.html
csv_prepend_entity.html
transformfrozen.html
instancedelta.html
apg_schemaunit.html
csv_import_prefix.html
apg_morphismapg_morphism_coproduct.html
mappingpivot.html
dont_verify_is_appropriate_for_prover_unsafe.html
simplify_names.html
apg_morphismapg_morphism_product.html
CQL_def.html
jena_reasoner.html
PointsTo.html
schema_colimitschema_colimit_literal.html
apg_morphismdelta.html
csv_escape_char.html
gui_show_atts.html
querytoQuery.html
Petri.html
diverge_limit.html
constraintsfromSchema.html
queryquery_compose.html
instanceeval.html
schemadom_m.html
check_command_export_file.html
schemagetSchema.html
eval_use_indices.html
js_env_name.html
Quotient.html
gui_rows_to_display.html
coproduct_allow_type_collisions_unsafe.html
program_allow_nontermination_unsafe.html
commandexport_jdbc_transform.html
gui_max_string_size.html
Sigma.html
apg_instanceapg_instance_product.html
eval_sql_persistent_indices.html
queryback.html
allow_sql_import_all_unsafe.html
commandcheck_query.html
constraintsconstraints_literal.html
prover_allow_fresh_constants.html
instanceimport_json_ld_all.html
dont_validate_unsafe.html
completion_syntactic_ac.html
always_reload.html
transformtransform_literal.html
commandexport_rdf_direct_xml.html
jdbc_default_string.html
schemams_query.html
commandexport_jdbc_instance.html
transformdistinct.html
typesiderdf.html
querytoCoQuery.html
transformcounit.html
allow_empty_sorts_unsafe.html
Delta.html
Aggregation.html
instancequotient_query.html
schemacod_m.html
commandexec_cmdline.html
LambdaConf.html
commandspawn_bitsy.html
instanceimport_csv.html
QuickCSV.html
instanceimport_rdf_all.html
UnitConv.html
transformunit.html
tinkerpop_graph_name.html
Compose.html
gui_sample_size.html
Joinless.html
instancepivot.html
gui_sample.html
apg_mappingapg_mapping_literal.html
instancems_error.html
Spans.html
Pullback.html
queryquery_literal.html
Dopfib.html
All_Syntax.html
completion_precedence.html
apg_morphismequalize.html
transformdistinct_return.html
queryquery_identity.html
id_column_name.html
transformtransform_identity.html
instancesigma_chase.html
simple_query_entity.html
apg_instanceunit.html
Employees.html
eval_max_plan_depth.html
typesidetypeside_literal.html
instancepi.html
instancefrozen.html
schema_colimitcoproduct.html
import_sql_direct_prefix.html
program_allow_nonconfluence_unsafe.html
Linkage.html
commandexport_rdf_instance_xml.html
instancedistinct.html
prover.html
apg_morphismcoequalize_u.html
constraintstinkerpop.html
Tinkerpop.html
mappingto_prefix.html
quotient_use_chase.html
queryfromConstraints.html
apg_morphismapg_morphism_identity.html
schemafront.html
instancecascade_delete.html
instancesigma.html
mappingmapping_identity.html
allow_java_eqs_unsafe.html
instancecoproduct.html
instanceimport_xml_all.html
eval_reorder_joins.html
PharmaColim1.html
transformunit_query.html
apg_instanceempty.html
RDF Jena.html
commandexport_tinkerop_instance.html
tinkerpop_port.html
queryfromCoSpan.html
left_bias.html
csv_entity_name.html
apg_morphismapg_morphism_literal.html
jdbc_export_truncate_after.html
eval_max_temp_size.html
apg_morphismcoequalize.html
start_ids_at.html
apg_morphismsnd.html
apg_morphisminr.html
prepend_entity_on_ids.html
map_nulls_arbitrarily_unsafe.html
mappinggetMapping.html
apg_typesideapg_typeside_literal.html
instancerandom.html
vampire_path.html
apg_instanceapg_instance_literal.html
completion_filter_subsumed.html
querysimple.html
csv_file_extension.html
transformeval.html
PharmaColim2.html
constraintsinclude.html
apg_instanceequalize.html
schemaempty.html
transformimport_csv.html
schemams_error.html
schema_colimitwrap.html
instanceinstance_literal.html
instanceexcept.html
second_prover.html
commandcheck.html
transformcoeval.html
jdbc_default_class.html
completion_compose.html
commandmatch.html
import_col_seperator.html
completion_sort.html
KB.html
index.html
instanceimport_jdbc_direct.html
schemardf.html
csv_generate_ids.html
completion_unfailing.html
import_dont_check_closure_unsafe.html
Pushout.html
QuickSQL.html
import_as_theory.html
instanceimport_jdbc.html
commandexport_json_instance.html
typesideempty.html
import_null_on_err_unsafe.html
query_remove_redundancy.html
require_consistency.html
mappingmapping_compose.html
chase_style.html
instanceanonymize.html
schemadom_q.html
instancetinkerpop.html
csv_field_delim_char.html
commandexec_jdbc.html
schemaschema_literal.html
commandexec_js.html
APG.html
apg_morphismequalize_u.html
schemacod_q.html
apg_morphisminl.html
instancecod_t.html
PartialOrder.html
instancecoeval.html
OuterJoin.html
eval_join_selectivity.html
csv_quote_char.html
Query.html
JDBCSQL.html
typesidetypesideOf.html
apg_instancedelta.html
instanceempty.html
instancecolimit.html
Constraints.html
diverge_warn.html
ForeignKeys.html
fast_consistency_check.html
queryspanify.html
transformexcept_return.html
eval_approx_sql_unsafe.html
mappingfrom_prefix.html
transformsigma.html
jdbc_no_distinct_unsafe.html
Cayley.html
num_threads.html
coproduct_allow_entity_collisions_unsafe.html
vsSQL2.html
static_timeout.html
transformtransform_compose.html
typesidesql.html
apg_instancecoequalize.html
schema_colimitmodify.html
apg_schemaapg_schema_coproduct.html
tinkerpop_host.html
e_path.html
transformdelta.html
apg_morphismapg_morphism_compose.html
schemafrom_ms_catalog.html
apg_schemaapg_schema_product.html
XML.html
instancedom_t.html
apg_instanceapg_instance_coproduct.html
varchar_length.html
apg_schemaapg_schema_literal.html
interpet_as_frozen.html
interpret_as_algebra.html
Inverse.html
graal_language.html
graphgraph_literal.html
FOAF.html
commandexec_tinkerpop.html
schemaschemaOf.html
transformimport_jdbc.html
Tutorial.html
bitsy_db_path.html
transformcounit_query.html
jdbc_query_export_convert_type.html
instancespanify.html
import_missing_is_empty.html
schemaspanify.html
commandexport_csv_instance.html
CSV.html
Demo.html
instancecoequalize.html
apg_schemaempty.html
random_seed.html
vsSQL3.html
instanceimport_jdbc_all.html
Denormalize.html
GraphSchColim.html
transformexcept.html
schemaprefix.html
commandexport_jdbc_query.html
jdbc_quote_char.html
csv_emit_ids.html
schemams_catalog.html
Meta.html
instancechase.html
constraintsfrom_ms_catalog.html
mappingmapping_literal.html
toCoQuery_max_term_size.html
eval_use_sql_above.html
vsSQL1.html
gui_max_table_size.html
transformpi.html
talg_reduction.html
allow_aggregation_unsafe.html
schemapivot.html