An Active Functional Intensional Database

  • Paul Swoboda
  • John Plaice
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3180)


We introduce a new kind of functional database that unifies concepts from the realms of publish-subscribe middleware, pervasive computing, and intensional programming. The AFID (Active Functional Intensional Database) Project allows the distribution of both pervasive context and related, versioned content, and offers the means of effecting a client’s interaction with both. The AFID data model builds on existing infrastructure from the Intense project for the efficient manipulation and networked distribution of intensional context, adding the ability to encode multiple versions of any complex entity, where each version may vary in both content and structure, at any level of granularity. Further, the system ensures that clients may listen to structured, minimal changes in specific logical versions of encoded entities, as they occur, whenever any change is made to the total entity encoded in the database.


Logical Version Context Operator Domain Node Intensional Program Context Domain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Buneman, P., Steedman, M.: Annotation – The new medium of communication. Grand Challenges for Computing Research (October 2002),
  2. 2.
    Faustini, A.A., Wadge, W.W.: Intensional programming. In: Boudreaux, J.C., Hamil, B.W., Jenigan, R. (eds.) The Role of Languages in Problem Solving 2, Elsevier North-Holland (1987)Google Scholar
  3. 3.
    Plaice, J., Wadge, W.W.: A new approach to version control. IEEE Transactions on Software Engineering 19(3), 368–376 (1993)CrossRefGoogle Scholar
  4. 4.
    Swoboda, P.: A Formalisation and Implementation of Distributed Intensional Programming. Ph.D. Thesis, The University of New South Wales, Sydney, Australia (2004)Google Scholar
  5. 5.
    Swoboda, P., Wadge, W.W.: Vmake, ise and ircs: General tools for the intensionalization of software systems. In: Gergatsoulis, M., Rondogiannis, P. (eds.) Intensional Programming II, World-Scientific, Singapore (2000)Google Scholar
  6. 6.
    Swoboda, P., Plaice, J.: A new approach to distributed context-aware computing. In: Ferscha, A., Hoertner, H., Kotsis, G. (eds.) Advances in Pervasive Computing, Austrian Computer Society (2004) ISBN 3-85403-176-9Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Paul Swoboda
    • 1
  • John Plaice
    • 1
  1. 1.School of Computer Science and EngineeringThe University of New South Walesunsw sydneyAustralia

Personalised recommendations