This chapter presents the services and functionality that a personal digital library (PDL) system should provide. The chapter includes a reference architecture for supporting the characteristics and functionality of the personal digital library. In particular, a currently available project called PDLib is used as an example of this type of system. The authors address some of the particular problems that personal libraries impose with respect to the overall administration of personal collections of digital documents and how personal libraries may become a commodity and a way of social interaction. The chapter objective is to increase the research interests on personalized digital libraries and their usability in our daily live.

No abstract

Data Decompositioninvolves the mapping of array

We propose a universally available personal digital library system. It is "personal" in the sense that each user is provided with a general purpose document repository (i.e. a personal digital library). It is "universally available" in the sense that it allows the user to access her/his personal personal digital library from most computing devices connected to the Internet, including mobile phones, PDAs and laptops, therefore granting access "from anyplace at anytime."

In this paper we i n troduce the uniqueness and completeness problems of array comprehensions. An array comprehension has the uniqueness property if it de nes each array element at most once. Uniqueness is a necessary condition for correctness in single assignment languages such as Haskell, Id, and Sisal. The uniqueness problem can be stated as a data dependence problem, which in itself can be reformulated as an integer linear programming problem. We derive algorithms to solve uniqueness using the Omega Test, an Integer Linear Programming tool. An array comprehension has the completeness property if all its elements are de ned. Completeness is a necessary condition for strict arrays. We present an algorithm that tests for completeness and describe an implementation of the algorithm based on multivariate polynomials.