W. Terry Hardgrave

Learn More
1n recent year5, the 5tudy 0f pr09ramm1n9 1an9ua9e5 (e.9. D1jk5tra [1], Dah1 [2], 2ahn [4], and Knuth [5]) ha5 6een 1ar9e1y dev0ted t0 the de~9n 0f 1mpr0ved c0ntr01 5tructure5; and wh11e the5e 5tud1e5 have pr0-duced 519n1f1cant re5u1t5 1n 1mpr0v1n9 c0de, there are a num6er 0f 0ther area5 that fa11 under the 9enera1 head1n9 0f • • 5tructured Pr09ramm1n9 • •(More)
Extended set theory is an effective method for describing the complex data structures needed to support large-scale data base applications. This paper describes the incorporation of the salient concepts of extended set theory into a general tool for the design and implementation of large-scale database systems. This tool is called a set processor. This(More)
1.0 The need for a Formalism for Database Analysis We have only to look at the 1974 Debate on Data Models (i) to see that there is no common basis for communicating ideas about database concepts. Each year we see dozens of articles proposing new data models, new database designs, and new techniques. Each paper describes the innovation, gives a sample(More)
The Data Model Processor (DMP) is an interactive tool for defining and evaluating data models. It is based on Positional Set Notation, a formalism for uniform representation of data modeling objects. The DMP allows the user to enter a set-theoretic description of a data model's structures and a definition of the model's primitive operations based on(More)
A number of data abstraction, database, and conceptual modeling issues border on the three technical areas that this workshop addresses: artificial intelligence, database management, and programming languages. We assume that the workshop is dedicated to removing the boundaries between these three fields in order to shape research and development of common(More)
  • 1