A New Approach to Database Logic.

Abstract

In this paper the authors propose a mathematical framework for unifying and generalizing the three principal data models, i.e., the relational, hierarchical and network models. Until recently most work on database theory has focussed on the relational model, mainly due to its elegance and mathematical simplicity compared to the other models. Some of this work has pointed out various disadvantages of the relational model, among them its lack of semantics and the fact that it forces the data to have a flat structure that the real data does not always have. In the model the authors propose here a database scheme is an arbitrary directed graph. As in the format model, leaves (i.e., nodes with no outgoing edges) represent data, and internal nodes have a function r on L, that assigns r-values to these l-values, and the authors require that the r-values be of the correct form, depending on the type of the node.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1984
Accession Number
ADA141130

Entities

People

  • G. M. Kuper
  • M. Y. Vardi

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Calculus
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Database Management Systems
  • Databases
  • Hierarchies
  • Language
  • Mathematical Models
  • Models
  • Relational Database Management Systems
  • Scientific Research
  • Security
  • Semantics

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Graph Algorithms and Convex Optimization.
  • Theoretical Analysis.