The TABLE statement

Search…
The TABLE statement
Disclaimer
This statement will be available in Ampersand vs. 4.
Purpose
This statement provides syntactic sugar for defining tabular information conveniently. It introduces a number of relations and rules in a single statement, to simplify a script.
Syntax
`TABLE` <Concept> `(` (<term> `:` <Concept> <Multiplicities>?)* `)`
where:
<label> is the name of the rule. It can be a single word or a string (enclosed by double brackets). It is followed by a colon (:) to distinguish the label from the concept that follows.
<Concept> is the name of the Concept for atoms of which the rule specifies an identity
Between brackets are terms whose source concept must be <Concept>. This is enforced by the type system.
Semantics by example
TABLE  C (e1:C1, e2:C2)
translates into the following declarations:
RELATION E1[C*C1]
RELATION E2[C*C2]
Multiplicity annotations are allowed. For example:
TABLE  C (e1:C1[UNI,TOT], e2:C2, e3:C[ASY], ...)
translates into the following declarations:
RELATION E1[C*C1] [UNI,TOT]
RELATION E2[C*C2]
RELATION E3[C*C] [ASY]
...
Practice
This statement makes nice combinations with the IDENT statement. For example to define two identities for persons:
TABLE Person(name:String, ssn:SSN, birthplace:City, birthdate:Date)
IDENT Person(ssn)
IDENT Person(name,birthplace,birthdate)
This states that a person is uniquely defined by ssn, but also by the combination of name, birthplace, and birthdate. This statement can also be used to objectify (reify) an term e
TABLE T(pi:P, rho:R)
IDENT T(pi,rho)
RULE "Create T" : e |- pi~;rho
RULE "Delete T" : pi~;rho |- e
If a user is tempted to replace the Create/Delete pair with a single equivalence, this becomes:
TABLE T(pi:P, rho:R)
IDENT T(pi,rho)
RULE e = pi~;rho
The IDENT statement
Language support
Last modified 1yr ago
Export as PDF
Copy link
Outline