On the Equivalence of Logical Databases.
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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
- Numerical Mathematics