On the Equivalence of Logical Databases.

Abstract

The investigators suggest a new approach to database updates, in which a database is treated as a collection of theories. They investigate two issues: 1) equivalence of databases under update operations, b) simultaneous multiple update operations. (Author)

Open PDF

Document Details

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

Entities

People

  • G. M. Kuper
  • J. D. Ullman
  • M. Y. Vardi

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • California
  • Classification
  • Computer Science
  • Computers
  • Databases
  • Insensitive Explosives
  • Relational Databases
  • Scientific Research
  • Security
  • Semantics
  • Sequences
  • Universities

Fields of Study

  • Mathematics

Readers

  • Library and Information Science
  • Mathematical Modeling and Probability Theory.