A Transformational Approach to Correct Schema Refinements

This paper extends a database schema transformation language, called Schema Refinement Language, with a composition operator and a rule for deriving the conditions under which a composed transformation is guaranteed to produce a correct schema refinement. The framework that results from this extensi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Castelli, Donatella, Pisani, Serena
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Composition Operator Computer science control theory systems Correct Schema Database Schema Design Framework Exact sciences and technology Information systems. Data bases Integrity Constraint Language processing and microprogramming Memory organisation. Data processing Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!