Abstract
The importance of the efficient enforcement of integrity constraints over deductive databases has long been recognised. Most of this work, however, has been done in the context of logic-based languages. In contrast, we here consider the specification and enforcement of constraints in the functional database language PFL. We show how an optimisation strategy developed for fast constraint enforcement in logic databases [8] can be adapted to the functional context and extended to support a wider class of constraints, including static aggregate constraints.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
L. Cardelli, Types for data data-oriented languages, in Advances in Database Technology (EDBT 88), LNCS 303. Springer-Verlag. 1988.
S.K. Das and H. Williams, A path finding method for constraint checking in deductive databases, Data & Knowledge Engineering, 1989. No. 4.
S.K. Das and M.H. Williams. Integrity checking methods in deductive databases: a comparative evaluation. Proceedings of the 7th British National Conference on Databases, CUP. 1989.
H. Decker, Integrity enforcement on deductive databases, Proceedings of The First International Conference on Expert Database Systems, Charleston, South Carolina. Edited by L. Kerschberg. 1986.
A.J. Field and P.G. Harrison, Functional Programming. Addison Wesley, 1988.
J. Hughes, Why functional programming matters. The Computer Journal. 1989. Vol. 32, No. 2.
R.A. Kowalski, F. Sadri and P. Soper, Integrity checking in deductive databases. Proceedings of the 13th International Conference on Very Large Databases, Brighton. 1987.
J.W. Lloyd and R.W Topor, A Basis for Deductive Database Systems. Journal of Logic Programming. 1985. No. 2.
J.W. Lloyd and R.W Topor, A Basis for Deductive Database Systems II. Journal of Logic Programming. 1986. No. 1.
J-M. Nicolas and K. Yazdanian, Integrity checking in deductive databases, in Logic and Databases, Edited by H. Gallaire and J. Minker. Plenum Press, 1978.
A. Olivé Integrity constraints checking in deductive databases. Proceedings of the 17th International Conference on Very Large Databases, Barcelona. 1991.
S.L. Peyton-Jones, The Implementation of Functional Programming Languages. Prentice Hall, 1987.
A. Poulovassilis, The Design and Implementation of FDL, a functional database language. Ph.D. Thesis, Birkbeck College, University of London. 1989.
A. Poulovassilis and C. Small, A functional programming approach to deductive databases. Proceedings of the 17th International Conference on Very Large Databases, Barcelona. 1991.
U.S. Reddy, On the relationship between logic and functional languages. in Logic Programming, Functions Relations and Equations, Edited by D. De Groot. Prentice Hall, 1986.
C. Small and A. Poulovassilis, An overview of PFL. 3rd International Workshop on Database Programming Languages, Nafplion. 1991.
J.D. Ullman, Principles of Database and Knowledge-base Systems. Computer Science Press, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reddi, S. (1993). Integrity constraint enforcement in the functional database language PFL. In: Worboys, M.F., Grundy, A.F. (eds) Advances in Databases. BNCOD 1993. Lecture Notes in Computer Science, vol 696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56921-9_14
Download citation
DOI: https://doi.org/10.1007/3-540-56921-9_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56921-3
Online ISBN: 978-3-540-47785-3
eBook Packages: Springer Book Archive