Updating logical databases (1986)
by
Ronald Fagin
,
Gabriel M. Kuper
,
Jeffrey D. Ullman
,
Moshe Y. Vardi
| Venue: | Advances in Computing Research |
| Citations: | 63 - 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}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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.
Citations
| 203 | Towards a logical reconstruction of relational database theory - Reiter - 1984 |
| 157 | Update semantics of relational views - Bancilhon, Spyratos - 1981 |
| 21 | Updates to relational databases through views involving joins - Keller - 1982 |
| 7 | Theory of database mappings - Klug - 1978 |
| 2 | Logic as a database language. Unpublished manuscript - Kowalski - 1981 |
| 1 | Arora AK: The updatability of relational views based on functional dependencies - CR - 1979 |
| 1 | Papadimitriou CH: Updates of relational views - SS - 1984 |
| 1 | Bernstein PA Translation of update operations on relational views - Dayal - 1982 |
| 1 | Vardi My: On the semantics of updates in databases. Prm 2nd ACM Symp on the Principles of Database Systems - Fagin, JD - 1983 |
| 1 | Application of database logic to the view update problem - BE - 1980 |
| 1 | Gallaire H: Database-theory vs. interpretation - JM - 1978 |
| 1 | Yazdanian K: Integrity checking in deductive databases - JM - 1978 |
| 1 | Updating defined relations - IM - 1979 |
