Skip to main content
Springer Nature Link
Log in

Extending the functional data model to computational completeness

  • Session 3: Data Models
  • Conference paper
  • First Online:
Advances in Database Technology — EDBT '90 (EDBT 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 416))

Included in the following conference series:

Abstract

We introduce the functional database language FDL which extends the functional data model to computational completeness while also supporting the persistence of any function, whether extensionally or intentionally defined. FDL improves on previous implementations of the functional data model by providing a uniform formalism both for modelling data and for computation, by supporting arbitrarily nested data types which are all persistent, and by allowing for the representation of incomplete and default knowledge. All functions are updated incrementally by the insertion and deletion of individual equations and an integrity sub-system verifies updates against the declared semantic integrity constraints.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.R., Data Semantics, in "Data Base Management", pp 1–59, J.W. Klimbie and K.L. Koffeman (eds.), North Holland, 1974

    Google Scholar 

  2. Albano A., Cardelli L. and Orsini R., Galileo: A Strongly Typed, Interactive Conceptual Language, A.C.M. Trans. on Database Systems, 10(2) 1985, pp 230–260

    Article  Google Scholar 

  3. Atkinson M.P. and Buneman P., Types and Persistence in Database Programming Languages, A.C.M. Computing Surveys, 19(2) 1987, pp 105–190

    Article  Google Scholar 

  4. Bancilhon F., Briggs T., Khoshafian S. and Valduriez P., FAD, A Powerful and Simple Database Language, Proc. of the 13th VLDB Conference, September 1987, pp 97–105

    Google Scholar 

  5. Bancilhon F., Object-Oriented Database Systems, Proc. of the 11th A.C.M. Symposium on Principles of Database Systems, pp 152–162

    Google Scholar 

  6. Batory D.S., Leung T.Y. and Wise T.E., Implementation Concepts for an Extensible Data Model and Data Language, A.C.M. Trans. on Database Systems, 13(3) 1988, pp 231–262

    Article  Google Scholar 

  7. Beech D., A Foundation of Evolution from Relational to Object Databases, in [SCHM88]

    Google Scholar 

  8. Buneman P., Frankel R.E. and Nikhil R., An Implementation Technique for Database Query Languages, A.C.M. Trans. on Database Systems, 7(2) 1982, pp 164–186

    Article  Google Scholar 

  9. Cardelli L., Amber, in "Combinators and Functional Programming Languages", G. Cousineau et al. (eds.), Springer-Verlag, 1985

    Google Scholar 

  10. Cardelli L., Basic Polymorphic Typechecking, Science of Computer Programming, 8(2) 1987, pp 17–172

    Article  Google Scholar 

  11. Clark K.L., Negation as Failure, in [GALL78]

    Google Scholar 

  12. Dayal U. et al., Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them, presented at the International Workshop on the Theory and Applications of Nested Relations and Complex Objects, Darmstadt, West Germany, April 1987

    Google Scholar 

  13. Derakhshan M. A Development of the Grid File for the Storage of Binary Relations, Ph.D. Thesis, Birkbeck College, University of London, March 1989

    Google Scholar 

  14. Dittrich K.R. (ed.), Advances in Object-Oriented Database Systems, Lecture Notes in Computer Science, No. 334, Springer-Verlag, September 1988

    Google Scholar 

  15. Field A.J. and Harrison P., Functional Programming, Addison Wesley, 1988

    Google Scholar 

  16. Florentin J.J., Consistency Auditing of Databases, The Computer Journal, 17(1) 1974, pp 52–58

    Article  Google Scholar 

  17. Gallaire H. and Minker J. (eds.), Logic and Databases, Plenum Press, 1978

    Google Scholar 

  18. Gray P.M.D., Moffat D.S., and Paton N.W., A Prolog Interface to a Functional Data Model Database, in [SCHM88]

    Google Scholar 

  19. Hammer M.M. and McLeod D.J., The Semantic Data Model: A Modelling Mechanism for database applications, Proc. of the A.C.M. SIGMOD Conference, 1978, pp 26–35

    Google Scholar 

  20. Heiler S. and Zdonik S., Views, Data Abstraction and Inheritance in the FUGUE Data Model, in [DITT88]

    Google Scholar 

  21. Hindley J.R. and Seldin J.P., Introduction to Combinators and the Lambda Calculus, Cambridge University Press, 1986

    Google Scholar 

  22. Jouannaud J.-P. (ed.), Functional Programming Languages and Computer Architectures, Lecture Notes in Computer Science No. 201, Springer-Verlag, 1985

    Google Scholar 

  23. Khoshafian S.N. and Copeland G.P., Object Identity, Proc. of the A.C.M. OOPSLA Conference, October 1986, pp 406–416

    Google Scholar 

  24. King P., Derakhshan M., Poulovassilis A. and Small C., TRISTARP — An investigation into the development and exploitation of Binary Relational Storage Structures, submitted for publication.

    Google Scholar 

  25. Kulkarni K.G. and Atkinson M.P., EFDM: Extended Functional Data Model, The Computer Journal, 29(1) 1986, pp 38–46

    Article  Google Scholar 

  26. Kulkarni K.G. and Atkinson M.P., Implementing an Extended Functional Data Model Using PS-Algol, Software Practice and Experience, 17(3) 1987, pp 171–185

    Google Scholar 

  27. Milner R., A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences, Vol 17, 1978, pp 348–375

    Article  Google Scholar 

  28. Milner R., A Proposal for Standard ML, Proc. of the A.C.M. Symposium on LISP and Functional Programming, 1984, pp 184–197

    Google Scholar 

  29. Nievergelt J., Hinterberger H. and Sevcik K.C., The Grid File: An Adaptable Symmetric Multikey File Structure, A.C.M. Trans. on Database Systems, 9(1) 1984, pp 38–71

    Article  Google Scholar 

  30. Nikhil R., Practical Polymorphism, in [JOUA85]

    Google Scholar 

  31. Paton N.W. and Gray P.D.M., Object Storage in Databases, Research Report AUCS/TR8803, Department of Computing Science, University of Aberdeen

    Google Scholar 

  32. Peyton Jones S.L., The Implementation of Functional Programming Languages, Prentice Hall International, 1987

    Google Scholar 

  33. Poulovassilis A., The Design and Implementation of FDL, a Functional Database Language, Forthcoming Ph.D. Thesis, Birkbeck College, University of London, 1989

    Google Scholar 

  34. Reiter R., On Closed World Databases, in [GALL78]

    Google Scholar 

  35. Schmidt J.W., Ceri S. and Missikof M. (eds.), Advances in Database Technology — EDBT 88, Lecture Notes in Computer Science, No. 303, Springer-Verlag, March 1988

    Google Scholar 

  36. Shipman D., The Functional Data Model and the Data Language DAPLEX, A.C.M. Trans. on Database Systems, 6(1) 1981, pp 140–173

    Article  Google Scholar 

  37. Sibley E.H. and Kershberg L., Data Architecture and Data Model Considerations, Proc. of the AFIPS National Computer Conference, 1977, pp 85–96

    Google Scholar 

  38. Smith J.M, Fox S. and Landers T., ADAPLEX Rationale and Reference Manual, Computer Corporation of America, CCA-83-08

    Google Scholar 

  39. Turner D.A., Miranda: A non-strict functional language with polymorphic types, in [JOUA85]

    Google Scholar 

  40. Verheijen G.M.A and Van Bekkum J., NIAM: An Information Analysis Method, in "Information Systems Design Methodologies: A Comparative Review", T.W. Olle et al. (eds.), North Holland, 1982, pp 537–589

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Birkbeck College, University of London, Malet Street, WC1E 7HX, London, U.K.

    Alexandra Poulovassilis & Peter King

Authors
  1. Alexandra Poulovassilis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter King
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bancilhon Constantino Thanos Dennis Tsichritzis

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Poulovassilis, A., King, P. (1990). Extending the functional data model to computational completeness. In: Bancilhon, F., Thanos, C., Tsichritzis, D. (eds) Advances in Database Technology — EDBT '90. EDBT 1990. Lecture Notes in Computer Science, vol 416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022165

Download citation

  • DOI: https://doi.org/10.1007/BFb0022165

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52291-1

  • Online ISBN: 978-3-540-46948-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics