Welcome to the InfoSci Platform
Transformation-Based Database Engineering

Transformation-Based Database Engineering

Jean-Luc Hainaut
Copyright: © 2005 |Pages: 7
ISBN13: 9781591405603|ISBN10: 1591405602|EISBN13: 9781591407959
DOI: 10.4018/978-1-59140-560-3.ch116
Cite Chapter Cite Chapter

MLA

Hainaut, Jean-Luc. "Transformation-Based Database Engineering." Encyclopedia of Database Technologies and Applications, edited by Laura C. Rivero, et al., IGI Global, 2005, pp. 707-713. https://doi.org/10.4018/978-1-59140-560-3.ch116

APA

Hainaut, J. (2005). Transformation-Based Database Engineering. In L. Rivero, J. Doorn, & V. Ferraggine (Eds.), Encyclopedia of Database Technologies and Applications (pp. 707-713). IGI Global. https://doi.org/10.4018/978-1-59140-560-3.ch116

Chicago

Hainaut, Jean-Luc. "Transformation-Based Database Engineering." In Encyclopedia of Database Technologies and Applications, edited by Laura C. Rivero, Jorge Horacio Doorn, and Viviana E. Ferraggine, 707-713. Hershey, PA: IGI Global, 2005. https://doi.org/10.4018/978-1-59140-560-3.ch116

Export Reference

Mendeley
Favorite

Abstract

Modelling software design as the systematic transformation of formal specifications into efficient programs and building CASE tools that support it has long been considered one of the ultimate goals of software engineering. For instance, Balzer (1981) and Fikas (1985) consider that the process of developing a program [can be] formalized as a set of correctness-preserving transformations [...] aimed to compilable and efficient program production. In this context, according to Partsch and Steinbrüggen (1983), a transformation is a relation between two program schemes P and P’ (a program scheme is the [parameterized] representation of a class of related programs; a program of this class is obtained by instantiating the scheme parameters). It is said to be correct if a certain semantic relation holds between P and P’.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.