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) : Kuper,G M ; Ullman,J D ; Vardi,M Y

PDF Url : ADA141541

Report Date : Jan 1984

Pagination or Media Count : 9

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 :   *Mathematical models, *Data bases, *Modification, Approach, Theory, Operation

Subject Categories : Numerical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE