References

1

O. P. Buneman, R. E. Frankel, and R. Nikhil. An implementation technique for database query languages. ACM Trans. Database Syst., 7(2):164-186, June 1982.

2

O. J. Dahl, C. A. R. Hoare, and E. W. Dijkstra. Structured Programming. Academic Press, 1972.

3

W. Kent. Limitations of record-based information models. ACM Trans. Database Syst., 4(1):107-131, March 1979.

4

J. Morris. Types are not sets. In ACM Symposium on Principles of Programming Languages, pages 120-124, New York, 1973. ACM.

5

J. Peckham and F. Maryanski. Semantic data models. ACM Comput. Surv., 20(3):153-189, September 1988.

6

D. Shipman. The functional data model and the data language DAPLEX. ACM Trans. Database Syst., 6(1):149-173, March 1981.

7

B. H. Venter. A value can belong to many types. In Proceedings of the 6th Southern African Computer Symposium, pages 10-15, 1991.

8

N. Wirth. Type extensions. ACM Trans. Prog. Lang. Syst., 10(2):204-214, April 1988.