Logical Foundations of Database Transformations for Complex-Value Databases

Database transformations consist of queries and updates which are two fundamental types of computati...