Abstract
A formal specification of a set of reasonable database update views is presented. Each reasonable database update view is a superset of the minimal view and a subset of the maximal view. Both the logical view and the immediate update view are special cases. It is then argued that the only view attractive for implementing as well as for explaining to users of a Prolog system, is the minimal view.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
8 References
E. Boerger “A Logical Operational Semantics of full Prolog. Part I:Selection Core and Control” in: CSL'89. 3d Workshop on Computer Science Logic, Springer LNCS 440, 36–64.
E. Boerger “A Logical Operational Semantics of full Prolog. Part II: Built-in Predicates for Database Manipulations” in: MFCS'90. Mathematical Foundations of Computer Science (B.Rovan,Ed.), Springer LNCS 452, 1–14.
E. Boerger “A Logical Operational Semantics of full Prolog. Part III: Built-in Predicates for Files, Terms, In-Output and Arithmetic” in: Proc. Workshop Logic from Computer Science (Ed.Y.Moschovakis), MSRI Proceedings,Springer (to appear 1991)
E. Boerger, D. Rosenzweig “An analysis of Prolog database views and their uniform implementation.” CSE-TR-89-91, Computer Science and Engineering Division, University of Michigan, Ann Arbor, pp.44, April 1991.
B. Demoen, “From a specification to an implementation of a database update view for Prolog: a correctness proof” CW-report 121, K.U.Leuven
in N64 “Prolog, Draft for Working Draft 4.0”, R.S. Scowen; NPL Teddington, England
Y. Gurevich “Logic and The Challenge of Computer Science.” in: E. Boerger (Ed.): Trends in theoretical Computer Science, Computer Science Press, pp. 1–57, 1988; see also by the same author “Evolving Algebras, A tutorial Introduction”, in EATCS Bulletin 43, 1991, 264–284
T. Lindholm, R.A. O'Keefe, “Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code” ICLP 87 21–39, Melbourne 1987
C. Moss “Cut and Paste — Defining the impure primitives of Prolog” ICLP 86 686–694, 1986 London
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boerger, E., Demoen, B. (1991). A framework to specify database update views for Prolog. In: Maluszyński, J., Wirsing, M. (eds) Programming Language Implementation and Logic Programming. PLILP 1991. Lecture Notes in Computer Science, vol 528. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54444-5_95
Download citation
DOI: https://doi.org/10.1007/3-540-54444-5_95
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54444-9
Online ISBN: 978-3-540-38362-8
eBook Packages: Springer Book Archive