Engineering Robust Distributed Database Software

摘要

The research has focused on a technology for mobile information management.' Underlying this technology is a mathematical foundation enabling the use of formal methods in developing and reasoning about the construction of mobile information management components and their use in database integration and transformation. The salient features of our approach are: use of unmaterialized views; dynamic integration of data consumers and data sources, using mobile query processes; data interface specifications, based on XML schemas; specifications for transformations, based on XML query languages; the development of formal methods, focusing on query and constraint reformulation.