Updating Logical Databases.

Abstract

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

Open PDF

Document Details

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

Entities

People

  • G. M. Kuper
  • J. Ullman
  • M. Y. Vardi
  • R. Fagin

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • California
  • Classification
  • Computer Science
  • Computers
  • Databases
  • Digital Data
  • Digital Information
  • Language
  • Relational Databases
  • Scientific Research
  • Security
  • Universities

Readers

  • Geospatial Intelligence and Artificial Intelligence Analytics
  • Theoretical Analysis.