Welcome to the P/FDM Home Page

      Introduction

      P/FDM is a research database system. It began life as an implementation, in Prolog, of a functional data model (FDM). It was later extended to embrace certain features of the object-oriented paradigm. It includes a high-level query (or data manipulation language) called DAPLEX. This declarative language allows non-experts to express what one wants, without explaining how the desired result is to be computed. P/FDM also allows the seamless integration of several underlying storage schemas, invisibly, beneath a single data manipulation interface.

      The primary application of P/FDM has been to develop a number of large scientific databases. The largest of these databases contains three dimensional protein structural information.

      Index:

      Hypertext Manual
      Examples of Databases and Daplex
      Semantic Constraints in P/FDM
      3D Graphical Interfaces for PFDM
      List of Papers Involving P/FDM
      Getting more information about P/FDM
      Photograph of some of the current and past members of the Object-Database Group


      P/FDM is currently being used by members of the KRAFT consortium, as a substrate for research into knowledge transformation and manipulation in distributed information systems.

      The Bioinformatics Research Group is using P/FDM in a project to develop a mediator to integrate access to heterogeneous, distributed biological databases (Grant Reference: 1/BIF06716).

      P/FDM is also being used in a project to develop a theoretical framework for object-oriented databases, using category theory, at the University of Newcastle-upon-Tyne.

      The Object Database Group are members of the ACT-NET network.


      Current personal home pages of developers:

      Peter Gray
      Graham Kemp
      Suzanne Embury
      Dave Ritchie
      Tony Brooks
      Kit Ying Hui


      Home pages of some ex-group members:

      Scott Leishman
      John Boyle



      Computing Science / Aberdeen

      pfdm@csd.abdn.ac.uk