Data base directions, the next steps

proceedings of the workshop of the National Bureau of Standards and the Association for Computing Machinery, at Fort Lauderdale, Florida, October 29-31, 1975

Such work usually follows the traditional approach in programming languages:
giving more meaning to data types by declaring their properties and constraining
their operations. For instance, in most languages one cannot multiply numbers ...