schema schema_literal

typeside t
----------------------------------
schema (literal : t {}) : t

A literal schema, or an extension of a type side by attributes (entity to type, unary) and foreign keys (entity to entity, unary) and equations in a single variable with entity sort. See All_Syntax for an example.

Appears in:

Aggregation
All_Syntax
CSV
Cayley
Compose
Constraints
Dataversity
Delta
Demo
Denormalize
Dopfib
Employees
FOAF
FinanceColim1
ForeignKeys
Inverse
JDBCSQL
Joinless
LambdaConf
Linkage
Meta
NewDemo
NewDemoPsuedo
OuterJoin
PartialOrder
Petri
PharmaColim1
PharmaColim2
PointsTo
Pullback
Pushout
Query
QueryED
QuickCSV
Quotient
RDF Jena
RExt
Sigma
Spans
Tutorial
UnitConv
vsSQL1
vsSQL2
vsSQL3

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_verify_is_appropriate_for_prover_unsafe
e_path
e_use_auto
maedmax_path
num_threads
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
second_prover
talg_reduction
timeout
triviality_check_best_effort
vampire_path