Abstract
Chapter 7 provides a complete framework for the operational semantics for database-mapping programs, based on final coalgebraic semantics (dual of the initial algebraic semantics introduced in Chap. 5 for the syntax monads (programming languages), and completed in this chapter) of the database-mapping programs. We introduce an observational comonad for the final coalgebra operational semantics and explain the duality for the database mapping programs: specification versus solution. The relationship between initial algebras (denotational semantics) and final coalgebras (operational semantics) and their semantic adequateness is then presented in the last section. Thus, Chaps. 5, 6 and 7 present second part of this book, dedicated to the syntax (specification) and semantics (solutions) of database-mapping programs.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
