DMCA
Updating logical databases (1986)
Cached
Download Links
- [www.almaden.ibm.com]
- [researcher.watson.ibm.com]
- DBLP
Other Repositories/Bibliography
by
Ronald Fagin
,
Gabriel M. Kuper
,
Jeffrey D. Ullman
,
Moshe Y. Vardi
| Venue: | Advances in Computing Research |
| Citations: | 74 - 0 self |
BibTeX
@INPROCEEDINGS{Fagin86updatinglogical,
author = {Ronald Fagin and Gabriel M. Kuper and Jeffrey D. Ullman and Moshe Y. Vardi},
title = {Updating logical databases},
booktitle = {Advances in Computing Research},
year = {1986},
pages = {1--18},
publisher = {JAI Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We suggest a new approach to database updates, in which a database is treated as a collection of theories. We investigate two issues: simultaneous multiple update operations and equivalence of databases under update operations. 1.
