An extended owner-coupled set data model and predicate calculus for database management

ABSTRACT

A data model is presented, based on the extension of the concept of a DBTG owner-coupled set to permit static and dynamic sets and a new kind of set referred to as a virtual set. The notion of connection fields is introduced, and it is shown how connection fields may be used to construct derived information bearing set names, and hence permit the specification of (dynamic) sets which are not predeclared in a schema. Virtual sets are shown to reflect the functional dependencies which can exist within a file. A technique which permits the data model to be fully described diagrammatically by extended Bachman diagrams is described. A predicate calculus for manipulation of this data model is presented. Expressions written in this calculus are compared with corresponding expressions in a relational predicate calculus, DSL ALPHA. An argument for the relational completeness of the language is given.

REFERENCES

• 1: Charles W. Bachman, Data structure diagrams, ACM SIGMIS Database, v.1 n.2, p.4-10, Summer 1969 [doi>10.1145/1017466.1017467]
• 2: BONCZEK, R.H., HASEMAN, W.D., AND WHINSTON, A.B. Structure of a query language for a network data base. Purdue U., W. Lafayette, Ind., July 1975.
• 3: Donald D. Chamberlin, Relational Data-Base Management Systems, ACM Computing Surveys (CSUR), v.8 n.1, p.43-66, March 1976 [doi>10.1145/356662.356665]
• 4: CODASYL. Data base Task Group Report. ACM, New York, 1971.
• 5: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 6: CODD, E.F. A data base sublanguage founded on the relational calculus. Proc. ACM SIGFIDET Workshop on Data Description, Access and Control, Nov. 1971, pp. 35-68.
• 7: CODD, E.F. Further normalisation of the data base relational model. In Courant Computer Science Symposium Series, Vol. 6, Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 33-64.
• 8: CODD, E.F. Relational completeness of data base sublanguages. In Courant Computer Science Symposium Series, Vol. 6. Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 65-98.
• 9: E. F. Codd , C. J. Date, Interactive support for non-programmers: The relational and network approaches, Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational, p.11-41, May 01-03, 0074, Ann Arbor, Michigan [doi>10.1145/800297.811529]
• 10: CODD, E.F. Recent investigations in relational data base systems, information Processing 74, North Holland Pub. Co., Amsterdam, pp. 1017-1021.
• 11: Arthur J. Collmeyer, Implications of data independence on the architecture of database management systems, Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control, p.307-321, January 1972 [doi>10.1145/800295.811495]
• 12: C. J. Date , E. F. Codd, The relational and network approaches: Comparison of the application programming interfaces, Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational, p.83-113, May 01-03, 0074, Ann Arbor, Michigan [doi>10.1145/800297.811532]
• 13: C. J. Date, An introduction to database systems: vol. I (4th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 14: Claude Deheneffe , Henri Hennebert, NUL: a Navigational User's Language for a network structured data base, Proceedings of the 1976 ACM SIGMOD international conference on Management of data, June 02-04, 1976, Washington, D.C.
• 15: EARNEST, C. Selection and higher level structures in networks. In Data Base Description, B.C.M. Dougue and G.M. Nijssen, Eds., North-Holland Pub. Co., Amsterdam, 1975, pp. 215-237.
• 16: HASEMAN, W.D., AND WHINSTON, A.B. Structure of a query language for a network data base. Purdue U., W. Lafayette, Ind., July 1975.
• 17: LAVALLEE, P., OHAYON, S., AND SAUVAIN, R. Non-procedural access to DMS databases. Proc. 19th Int. XDS Users' Group Meeting, Dec. 1972.
• 18: W. C. McGee, File-level operations on network data structures, Proceedings of the 1975 ACM SIGMOD international conference on Management of data, May 14-16, 1975, San Jose, California [doi>10.1145/500080.500085]
• 19: NIJSSEN, G.M. Data structure in DDL and the relational data model. Proc. IFIP TC-2, Working Conf. Data Base Manage. Syst., April 1974, pp. 363-379.
• 20: NUNAMAKER, J.F. JR., SWENSON, D., AND WHINSTON, A.B. Specifications for the development of a generalized data base planning system. Proc. AFIPS 1973 NCC, Vol. 42, AFIPS Press, Montvale, N.J., pp. 259-270.
• 21: PARSONS, R.G., DALE, A.G., AND YURKANAN, C.V. A structure processing sub-language for data base management. TSN-28, Comput. Ctr., U. of Texas at Austin, Aug. 1972.
• 22: PARSONS, R.G., DALE, A.G., AND YURKANAN, C.V. Data manipulation language requirements for data base management systems. Comptr. J. 17, 2 (May 1974), pp. 99-103.
• 23: Edgar H. Sibley, On the equivalences of data based systems, Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational, p.43-76, May 01-03, 0074, Ann Arbor, Michigan [doi>10.1145/800297.811530]
• 24: SPERRY UNIVAC. Sperry Univac I100 Series Query Language Processor User Reference. UP- 8231, 1975, Publications Department, Sperry Univac, Blue Bell, PA.
• 25: Robert W. Taylor , Randall L. Frank, CODASYL Data-Base Management Systems, ACM Computing Surveys (CSUR), v.8 n.1, p.67-103, March 1976 [doi>10.1145/356662.356666]
• 26: WINSTON, A.B. Water quality management and information systems. Tech. Rep. No. 68, Water Resources Res. Ctr., Purdue U., W. Lafayette, Ind., Sept. 1975 (NTIS No. PB-247-142).

INDEX TERMS

Primary Classification:
  H. Information Systems

General Terms:
Design

Keywords:
Codasyl DBTG, DSL AlPHA, connection field, dynamic set, extended Bachman diagram, extended owner-coupled set data model, extended owner-coupled set predicate calculus, functional dependency, information bearing set name, owner-coupled set, static set, virtual set