skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Set theoretic approach to data type extension

Authors:
;
Publication Date:
Research Org.:
Los Alamos Scientific Lab., N.Mex. (USA)
OSTI Identifier:
4310578
Report Number(s):
LA-UR-73-1287; CONF-740309-2
NSA Number:
NSA-30-002243
Resource Type:
Technical Report
Resource Relation:
Conference: Symposium on very high level languages, Santa Monica, California, USA, 28 Mar 1974; Other Information: Orig. Receipt Date: 31-DEC-74
Country of Publication:
United States
Language:
English
Subject:
N80600* -Mathematics & Computers; *GROUP THEORY; *PROGRAMMING LANGUAGES; ALGORITHMS

Citation Formats

Morris, J.B., and Wells, M.B.. Set theoretic approach to data type extension. United States: N. p., 1973. Web.
Morris, J.B., & Wells, M.B.. Set theoretic approach to data type extension. United States.
Morris, J.B., and Wells, M.B.. Mon . "Set theoretic approach to data type extension". United States. doi:.
@article{osti_4310578,
title = {Set theoretic approach to data type extension},
author = {Morris, J.B. and Wells, M.B.},
abstractNote = {},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Mon Jan 01 00:00:00 EST 1973},
month = {Mon Jan 01 00:00:00 EST 1973}
}

Technical Report:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that may hold this item. Keep in mind that many technical reports are not cataloged in WorldCat.

Save / Share:
  • Extended Set Theory as a data base management discipline has received attention in the data base literature. Set Theoretic Information Systems Corporation has, for some time, marketed a data base system based on the foundation of Extended Set Theory. This system is called Set Theoretic Data Structures (STDS). A series of examples shows that STDS is similar to relational algebraic data base management systems. The advantages of STDS are its straight-forward data base design, compact data representation, and flexible, powerful data manipulation operators, while its limitations are its low-level primitive user interface and the partial implementation of the Extended Setmore » Theoretic concepts. To make STDS very attractive, a ''user-friendly'' interface should be developed, and some distinctive features of extended Set Theory (such as sets of sets) should be implemented. 8 figures, 1 table.« less
  • We have examined the utility of a graph-theoretic algorithm for building comparative RNA models. The method uses a maximum weighted matching algorithm to find the optimal set of basepairs given the mutual information for all pairs of alignment positions. In all cases examined, the technique generated models similar to those based on conventional comparative analysis. Any set of pairwise interactions can be suggested including pseudoknots. Here we describe the details of the method and demonstrate its implementation on tRNA where many secondary and tertiary base-pairs are accurately predicted. We also examine the usefulness of the method for the identification ofmore » shared structural features in families of RNAs isolated by artificial selection methods such as SELEX.« less
  • This document describes the results of the first reference sample material—RDX Type II Class 5—examined in the proficiency study for small-scale safety and thermal (SSST) testing of explosive materials for the Integrated Data Collection Analysis (IDCA) Program. The IDCA program is conducting proficiency testing on homemade explosives (HMEs). The reference sample materials are being studied to establish the accuracy of traditional explosives safety testing for each performing laboratory. These results will be used for comparison to results from testing HMEs. This effort, funded by the Department of Homeland Security (DHS), ultimately will put the issues of safe handling of thesemore » materials in perspective with standard military explosives. The results of the study will add SSST testing results for a broad suite of different HMEs to the literature, potentially suggest new guidelines and methods for HME testing, and possibly establish what are the needed accuracies in SSST testing to develop safe handling practices. Described here are the results for impact, friction, electrostatic discharge, and scanning calorimetry analysis of a reference sample of RDX Type II Class 5. The results from each participating testing laboratory are compared using identical test material and preparation methods wherever possible. Note, however, the test procedures differ among the laboratories. These results are then compared to historical data from various sources. The performers involved are Lawrence Livermore National Laboratory (LLNL), Los Alamos National Laboratory (LANL), Air Force Research Laboratory/ RXQL (AFRL), Indian Head Division, Naval Surface Warfare Center, (IHD-NSWC), and Sandia National Laboratories (SNL). These tests are conducted as a proficiency study in order to establish some consistency in test protocols, procedures, and experiments and to understand how to compare results when test protocols are not identical.« less
  • This report by Set Theoretic Information Systems, Inc., was prepared in partial fulfillment of their contractural obligations to the Data Management Research Project of the Lawrence Livermore Laboratory, in behalf of LLL-Contract (RA) 76-12 for the Transportation Systems Center of the U.S. Department of Transportation. The main contract explored efficient means to identify and analyze the large collections of historic data which document the transport of goods and people by ships, planes, trains, and trucks. One approach under consideration was the use of extended set theory and software developed by Set Theoretic Information Systems. In this report the author addressesmore » himself to seven tasks that range from a definition of the set-theoretic data manipulation concepts to the practical task of working with the CAB 586 Flight Service Segment Data Base.« less