# Accession Number:

## AD0677053

# Title:

## FEASIBILITY OF A SET-THEORETIC DATA STRUCTURE. A GENERAL STRUCTURE BASED ON A RECONSTITUTED DEFINITION OF RELATION

# Descriptive Note:

## Technical rept.

# Corporate Author:

## MICHIGAN UNIV ANN ARBOR

# Personal Author(s):

# Report Date:

## 1968-08-01

# Pagination or Media Count:

## 46.0

# Abstract:

The paper is motivated by an assumption that many problems dealing with arbitrarily related data can be expedited on a digital computer by a storage structure which allows rapid execution of operations within and between sets of datum names. In order for such a structure to be feasible, two problems must be considered 1 the structure should be general enough that the sets involved may be unrestricted, thus allowing sets of sets of sets... sets of ordered pairs, ordered triples... sets of variable length n-tuples, n-tuples of arbitrary sets etc. 2 the set-operations should be general in nature, allowing any of the usual set theory operations between sets as described above, with the assurance that these operations will be executed rapidly. A sufficient condition for the latter is the existence of a well-ordering relation on the union of the participating sets. These problems are resolved in this paper with the introduction of the concept of a complex which has an additional feature of allowing a natural extension of properties of binary relations to properties of general relations.

# Subject Categories:

- Information Science