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
Descriptors:
Subject Categories:
- Numerical Mathematics