Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

A Model Theory for Generic Schema Management

Suad Alagić6, 7 Contact Information and Philip A. BernsteinContact Information

(6)  Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399
(7)  Computer Science Department, University of Southern Maine, 96 Falmouth Street, P.O. Box 9300, Portland, ME, 04104-9300
Abstract
The core of a model theory for generic schema management is developed. This theory has two distinctive features: it applies to a variety of categories of schemas, and it applies to transformations of both the schema structure and its integrity constraints. A subtle problem of schema integration is considered in its general form, not bound to any particular category of schemas. The proposed solution, as well as the overall theory, is based entirely on schema morphisms that carry both structural and semantic properties. Duality results that apply to the schema and the data levels are established. These results lead to the main contribution of this paper: a formal schema and data management framework for generic schema management. Implications of this theory are established that apply to integrity problems in schema integration. The theory is illustrated by a particular category of schemas with object-oriented features along with typical database integrity constraints.

Contact Information Suad Alagić
Email: alagic@cs.usm.maine.edu

Contact Information Philip A. Bernstein
Email: philbe@microsoft.com
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.105 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)