Accession Number:

ADA141541

Title:

On the Equivalence of Logical Databases.

Descriptive Note:

Technical rept.,

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1984-01-01

Pagination or Media Count:

9.0

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

Subject Categories:

  • Numerical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE