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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Chang, S. K., Deufemia, V., Polese, G., & Vacca, M. (2007). A logic framework to support database refactoring. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4653 LNCS, pp. 509–518). Springer Verlag. https://doi.org/10.1007/978-3-540-74469-6_50
Mendeley helps you to discover research relevant for your work.