Engineering Robust Distributed Database Software

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 31, 2001
Accession Number
ADA414373

Entities

People

  • Peter Buneman
  • Susan Davidson
  • Val Tannen

Organizations

  • University of Pennsylvania

Tags

Communities of Interest

  • Biomedical

DTIC Thesaurus Topics

  • Abstracts
  • Agreements
  • Communication Channels
  • Construction
  • Databases
  • Electronic Mail
  • Engineering
  • Hard Copy
  • Information Science
  • Language
  • Military Research
  • Reasoning
  • Relational Database Management Systems
  • Relational Databases
  • Specifications
  • Standards
  • Websites

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Database Systems and Applications