Table 28.1 Third Manifesto proposals.
RM prescriptions
(1) Scalar types
(2) Scalar values are typed
(3) Scalar operators
(4) Actual vs possible representation
(5) Expose possible representations
(6) Type generator TUPLE
(7) Type generator RELATION
(8) Equality
(9) Tuples
(10) Relations
(11) Scalar variables
(12) Tuple variables
(13) Relation variables (relvars)
(14) Base vs virtual relvars
(15) Candidate keys
(16) Databases
(17) Transactions
(18) Relational algebra
(19) Relvar names, relation selectors,
and recursion
(20) Relation-valued operators
(21) Assignment
(22) Comparisons
(23) Integrity constraints
(24) Relation and database predicates
(25) Catalog
(26) Language design
RM proscriptions
(1) No attribute ordering
(2) No tuple ordering
(3) No duplicate tuples
(4) No nulls
(5) No nullological mistakesa
(6) No internal-level constructs