It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although developed by separate research communities, recent work, presented in this book, suggests there is powerful synergy in their integration. As database technology emerges as central to yet more complex and demanding applications in areas such as bioinformatics, national security, criminal investigations and advanced engineering, more sophisticated approaches like those presented here, are needed.
A tutorial introduction by the editors prepares the reader for the chapters that follow, written by leading researchers, including some of the early pioneers. They provide a comprehensive treatment showing how the functional approach provides for modeling, analyzis and optimization in databases, and also data integration and interoperation in heterogeneous environments. Several chapters deal with mathematical results on the transformation of expressions, fundamental to the functional approach. The book also aims to show how the approach relates to the Internet and current work on semistructured data, XML and RDF.
The book presents a comprehensive view of the functional approach to data management, bringing together important material hitherto widely scattered, some new research, and a comprehensive set of references. It will serve as a valuable resource for researchers, faculty and graduate students, as well as those in industry responsible for new systems development.
1) Introduction to the use of functions in the management of data (Gray, King, Poulovassilis) Section I - Advances in information modelling using a functional approach: 2) A functional database language for the associative model of data (King) - 3) Scoped referential transparency in a functional database language with updates (Meredith, King) - 4) Functional approaches to constraint handling and state change (Embury, Gray) - 5) Representing matrices using multi-directional foreign functions (Osborn, Risch, Flodin) Section II - Advances in information integration and interoperability: 6) The Kleisli approach to data transformation and integration (Davidson, Wong - 7) An expressive functional data model and query language for bioinformatics data integration (Gray, Kemp) - 8) Optimization strategies for functional queries in a distributed environment (Kemp, Gray, Embury) - 9) Functional data integration in a distributed mediator system (Risch, Josifovski, Katchaounov) ) - 10) Applying functional languages in knowledge-based information integration systems (Peim, Paton, Franconi) Section III - Advances in analysis and optimisation using a functional approach: 11) Analysis of functional active DBs (Bailey, Poulovassilis) - 12) Monad comprehensions - a versatile representation for queries (Grust) - 13) Query processing and optimisation in Lambda-DB (Fegaras) - 14) A structural approach to query language design (Buneman, Tannen) Section IV - Looking forward to functional approaches for semi-structured data: 15) Functional approaches in internet-based applications (Kerschberg) - 16) A functional approach to XML-based dynamic negotiation in e-business (Yoon, Kerschberg) - 17) An FDM-based constraint language for semantic web applications (Preece, Hui, Gray) - 18) RQL: a functional query language for RDF (Karvounarakis, Christophides) - 19) Functional queries to wrapped educational semantic web meta-data (Risch)