mapping mapping_literal

typeside t
schema s1 : t
schema s2 : t
----------------------------------
mapping (literal : s1 -> s2 {}) : s1 -> s2

A mapping literal, or derived theory morphism, constant on type sides. Each source entity maps to a target entity, each foreign key to a path, and each attribute to a lambda term with one variable. See All_Syntax for an example.

Appears in:

All_Syntax
Delta
Dopfib
Inverse
LambdaConf
OuterJoin
PharmaColim1
Quotient
Sigma
Spans
Tutorial
vsSQL2

Options:

always_reload
dont_validate_unsafe
num_threads
talg_reduction
timeout