Bruno Oliveira, Orlando Belo, Nuno Macedo. Towards a Formal Validation of ETL Patterns Behaviour. In Ladjel Bellatreche, Oscar Pastor, Jesús M. Almendros-Jiménez, Yamine Aït Ameur, editors, Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. Volume 9893 of Lecture Notes in Computer Science, pages 156-165, Springer, 2016. [doi]
Abstract is missing.