Part of the book series:Lecture Notes in Computer Science ((LNCS,volume 326))
Included in the following conference series:
163Accesses
Abstract
First steps are taken in examining the view update problem in deductive databases. The class of recursive definite deductive databases is examined. A view update is defined as a statement of factual logical consequence of the deductive database. A translation is a minimal update on the facts of a deductive database such that the view update holds. The number of translations for a view update is exponential in the size of the database. Algorithms for view updates are presented and proven correct. They are based onSLD-resolution and are independent of the computation rule. Finally, as an example of a method for reducing the number of possible translations of a view update, rule annotations are introduced. A small number of unique annotations (proportional to the size of the database) is shown to produce unique translations of view updates.
This is a preview of subscription content,log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
F. Bancilhon, N. Spyratos. Update Semantics of Relational Views.ACM TODS 6(4):557–575, 1981.
C. R. Carlson, A. K. Arora. The Updatability of Relational Views Based on Functional Dependencies. InProceedings COMPSAC 79, pages 415–420. 1979. Reprinted inTutorial: Database Management in the 1980's, J. A. Larson, H. A. Freeman (editors), IEEE Computer Society Press, 1981.
S. S. Cosmadakis, C. H. Papadimitriou. Updates of Relational Views.Journal of the ACM 31(4):742–760, 1984.
C. J. Date.Relational Database: Selected Writings. Addison-Wesley, Reading, Massachusetts, 1986.
J. E. Davidson.Interpreting Natural Languiage Database Updates. PhD thesis, Stanford University, 1984.
U. Dayal, P. A. Bernstein. On the Correct Translation of Update Operations on Relational Views.ACM TODS 8(3):381–416, 1982.
H. Decker. Integrity Enforcement on Deductive Databases. InProceedings of the First International Conference on Expert Database Systems. Charleston, South Carolina, 1986.
R. Fagin, G. M. Kuper, J. D. Ullman, M. Y. Vardi. Updating Logical Databases. InAdvances in Computing Research, pages 1–18. JAI Press, 1986.
A. L. Furtado, M. A. Casanova. Updating Relational Views. In W. Kim, D. S. Reiner, D. S. Batory (editors),Query Processing in Database System, pages 127–142. Springer-Verlag, Berlin, 1985.
A. L. Furtado, K. C. Sevcik, C. S. Dos Santos. Permitting Updates through Views of Data Bases.Information Systems 4:269–283, 1979.
S. J. Hegner. Specification and Implementation of Programs for Updating Incomplete Information Databases. InPODS'87, pages 146–158. 1987. (Preliminary Report).
B. E. Jacobs.Application of database logic to the view update problem. Technical Report TR 960, University of Maryland, College Park, 1980.
A. M. Keller. Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. InPODS '85, pages 154–163. 1985.
A. M. Keller. Choosing a View Update Translator by Dialog at View Definition Time. InProceedings of VLDB, pages 467–474. Kyoto, 1986.
A. M. Keller, J. D. Ullman. On Complementary and Independent Mappings on Databases. InProceedings of VLDB, pages 143–148. 1984.
J. W. Lloyd.Foundations of Logic Programming. Springer-Verlag, Berlin, 1984.
S. Manchanda, D. S. Warren. Towards a Logical Theory of Database View Updates. In J. Minker (editor),Workshop on Foundations of Deductive Databases and Logic Programming, pages 27–52. Washington, D.C., 1986. (preprint).
Y. Masunaga. A Relational Database View Update Translation Mechanism. InProceedings of VLDB, pages 309–320. Singapore, 1984.
C. B. Medeiros, F. Wm. Tompa. Understanding the Implications of View Update Policies.Algorithmica 1:337–360, 1986.
L. Naish.MU-PROLOG 3.1db Reference Manual Department of Computer Science, University of Melbourne, 1984.
L. Naish. Heterogeneous SLD Resolution.Journal of Logic Programming 4:297–303, 1984.
J.-M. Nicolas, K. Yazdanian. An Outline of BDGEN: a Deductive DBMS. In R. E. A. Mason (editor),Proceedings of IFIP 83, pages 711–717. 1983.
B. Ross.View Updates on Deductive Databases. Honours Report, Department of Computer Science, University of Melbourne, 1985.
S. Todd. Automatic Constraint Maintenance and Updating Defined Relations. In B. Gilchrist (editor),Proceedings of IFIP 77, pages 145–148. 1977.
L. Vieille.Recursive Query Processing: The Power of Logic. Technical Report TR-KB-17, ECRC, 1987. Submitted to Theoretical Computer Science.
A. Weber. Updating Propositional Formulas. InProceedings of the First International Conference on Expert Database Systems, pages 373–386. Charlston, South-Carolina, 1986.
Author information
Authors and Affiliations
European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81, West Germany
Anthony Tomasic
- Anthony Tomasic
You can also search for this author inPubMed Google Scholar
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tomasic, A. (1988). View update translation via deduction and annotation. In: Gyssens, M., Paredaens, J., Van Gucht, D. (eds) ICDT '88. ICDT 1988. Lecture Notes in Computer Science, vol 326. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50171-1_22
Download citation
Published:
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-50171-8
Online ISBN:978-3-540-45943-9
eBook Packages:Springer Book Archive
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative