This paper presents a framework for data integration currently under development in the
Squirrel project. The framework is based on a special class of mediators, called Squirrel …

This paper presents a broad framework for data integration, that supports both data
materialization and virtual view capabilities, and that can be used with legacy as well as …

This paper presents a framework for data integration that is based on using “Squirrel
integration mediators” that use materialization to support integrated views over multiple …

Traditional database systems provide a user with the ability to query and manipulate one
database state, namely the current database state. However, in several emerging …

Sedimentary zeolite occurrences are widespread in Central and Western Anatolia, Turkey.
Erionite occurrences in Central Anatolia have significant health implications for inhabitants …

Support for virtual states and deltas between them is useful for a variety of database
applications, including hypothetical database access, version management, simulation, and …

We present a theorem-prover based analysis tool for object-oriented database systems with
integrity constraints. Object-oriented database specifications are mapped to higher-order …

Although the use of deltas in relational environments is fairly well established, the use of
deltas in an object-oriented database (OODB) environment has not yet been fully explored …

A new approach to identifying and managing potential conflict between long-duration,
cooperative database updates is presented. A loose taxonomy of mechanisms for identifying …

In this paper, we take an engineering approach to atomic transaction verification. We
discuss the design and implementation of a verification tool that can reason about the …