A logic framework to support database refactoring

Authors:
Shi-Kuo Chang;Vincenzo Deufemia;Giuseppe Polese;Mario Vacca
Affiliations:
University of Pittsburgh, Department of Computer Science, Pittsburgh, PA;Università di Salerno, Dipartimento di Matematica e Informatica, Fisciano, Italy;Università di Salerno, Dipartimento di Matematica e Informatica, Fisciano, Italy;Università di Salerno, Dipartimento di Matematica e Informatica, Fisciano, Italy
Venue:
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Year:
2007

Citing 9
Cited 0

Semantics and implementation of schema evolution in object-oriented databases

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An axiomatic model of dynamic schema evolution in objectbase systems

ACM Transactions on Database Systems (TODS)
Dynamic epistemic logic

Logic, language and computation, vol. 2
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
A Taxonomy for Schema Versioning Based on the Relational and Entity Relationship Models

ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Iterative and Incremental Development: A Brief History

Computer
A Survey of Software Refactoring

IEEE Transactions on Software Engineering
Refactoring Databases: Evolutionary Database Design

Refactoring Databases: Evolutionary Database Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a formal framework for database refactoring, analyzing both the changes to the database schema, and their impact on queries. The framework defines a logic model of changes, and views the database refactoring process as an agent based one. The agent tries to discover and resolve inconsistencies, and it is modeled as a problem solver capable to perform changes triggered upon the detection of database schema anomalies. The framework can be considered a first step towards the automation of the database refactoring process.