Mathematical Foundations of Databases

Abstract

Two distinct topics were studied, each by one of the research assistants and each destined to be part of his doctoral dissertation. The first topic, Properties of Spreadsheet Histories, formalized the use of spreadsheets for modelling the history of accounting-like information. The investigated subtopics included database operations (such as selection, projection, each of the database operations were also presented. The second topic, Declarative Sequence Operations and Their Usage in Query Languages, introduced a family of sequence operations based on the regular expressions from formal language theory. The items examined included their mathematical properties (such as their expressive power) and their usage in various query languages (e.g., SQL) of database systems. A number of example queries were also exhibited.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 15, 1991
Accession Number
ADA232656

Entities

People

  • Fletcher Jones
  • Seymour Gingburg

Organizations

  • University of Southern California

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Computer Programming
  • Computer Science
  • Computers
  • Data Processing
  • Databases
  • Formal Languages
  • Language
  • Notation
  • Programming Languages
  • Relational Database Management Systems
  • Relational Databases
  • Simulations
  • Small Business
  • Spreadsheet Software
  • Symbols

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.
  • Technical Research and Report Writing.