The Formal Specification of an Abstract Database: Design and Implementation.

Abstract

The technique of problem solving abstraction provides an appropriate tool for specifying an interface between the layers of computer hardware and software. Based on this methodology, the types of support and function calls that should be provided to application programs running on micro computers are described with respect to a database resource. The database is integrated with an abstract processor called AM, a machine which focuses on eliminating the problems with portability and reusability of software, imposed by insufficient resource abstraction. Keywords: Thesis; Interface standards. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1985
Accession Number
ADA164865

Entities

People

  • Klaus-harald Zang

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Classification
  • Computer Architecture
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Database Management Systems
  • Databases
  • Grammars
  • High Level Languages
  • Instruction Set Architecture
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Systems Analysis and Design