Paulo's Home Page
Home Paulo Susana Carolina Friends
 
 
.:Abstracts of Articles & Reports .: Phd Thesis Abstract
Paulo picture

Paulo Carreira holds a PhD and a Master's Degree in Computer Science from the University of Lisbon. 

His research focuses primarily on the application of query optimization techniques to data integration, cleaning and transformation. He has worked as researcher at INESC-ID and at  the XLDB group while completing his doctoral project. Paulo also worked several years in industry before joining INESC-ID. His main industrial achievement was the development of Data Fusion, a toolbox for legacy data migration used in several large scale data migration projects by the Portuguese Public Administration and Banking industry.

Research topics

Contacts

Current

  • Data integration, cleaning and transformation
  • Schema matching and mapping
  • Query processing and optimization
  • ETL

Other topics of interest

  • Neural networks
  • Compiler construction
  • Automatic software verification and validation
Email: pjcarreira gmail com 

Phone: +351 214258686

View Paulo Carreira's profile on LinkedIn

DBLP entry

CV

  • I do not keep my CV online.  Please mail me if you are interested in obtaining a copy.

Miscelaneous

Published work

Some of the articles are not available online due to copyright restrictions. Please mail me if you would like to get a copy.

Journal Articles

1.  Andrzej Wichert, Paulo Carreira and João Pereira, "A Visual Searchlight Model for Mental Problem Solving", Journal of Neurocomputing, Elsevier-Science, 2007. 

2.  Paulo Carreira, Helena Galhardas, Antónia Lopes and João Pereira, "One-to-many Data Transformations through Data Mappers",  Data & Knowledge Engineering Journal (DKE), 62(3), 483-503, Elsevier-Science, 2007.

3. Paulo J. F. Carreira and Miguel E. F. Costa, "Automatically Verifying an Object-Oriented Specification of the Steam-Boiler System" (extended version), Science of Computer Programming Journal, vol. 46,  pp. 197-217,  Elsevier-Science, April 2003,

Articles in Books

1. Paulo Carreira, Helena Galhardas, João Pereira, and Andrzej Wichert, "On Handling One-to-Many Transformations in Relational Systems”, Lecture Notes in Business Information Processing (LNBIP), Springer-Verlag. (to appear)

2. J. Neto, J. F. Costa, P. Carreira, and M. Rosa. “A compiler and simulator for partial recursive functions over neural networks”, Ahmad Lotfi and Jonathon M. Garibaldi (eds), Applications and Science in Soft Computing, Springer-Verlag, 2004. (pdf).

Conference Proceedings 

1. Paulo Carreira, Helena Galhardas João Pereira, Fernando Martins and Mário J. Silva, "On the performance of One-to-Many Data Transformations", 5th International Workshop on Quality in Databases (QDB'2007), co-located with VLDB 2007, September 2007.

2. Paulo Carreira, Helena Galhardas, João Pereira, and Andrzej Wichert, "One-to-many data transformation operations: Optimization and execution on an RDBMS", Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS'2007) Database and Information Systems Integration Volume, June, 2007.  (Best Student Paper Award)

3. Paulo Carreira, "One-to-many data transformations as relational operations", Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS'2007), Database and Information Systems Integration Volume, June, 2007.

4. Paulo Carreira, Helena Galhardas, Antónia Lopes and João Pereira, "Extending Relational Algebra to express one-to-many data transformations". 20th Brazilian Symposium on Databases, SBBD'05, October 2005. (pdf). (Nominated to receive the best paper award -out of 3 nominations-)

5. Paulo Carreira, Helena Galhardas, João Pereira and Antónia Lopes, "Data Mapper: An operator for expressing one-to-many data transformations". 7th Int'l Conference on Data Warehousing and Knowledge Discovery, DaWaK '05, Vol. 3589 of LNCS, Springer-Verlag, 2005.

6. Paulo Carreira and Helena Galhardas. "Execution of Data Mappers", IQIS 2004, In IQIS 2004, International Workshop on Information Quality in Information Systems, 18 June 2004, Paris, France (SIGMOD 2004 Workshop).

7. Paulo Carreira and Helena Galhardas. "Efficient development of data migration transformations", Demo paper, Proc. of the ACM Conference on the Management of Data SIGMOD'04, Paris, France, June 2004.

8. Paulo Carreira and Helena Galhardas. Efficient development of data migration transformations, Demo paper, Proc. of the Semantic Integration Workshop (The Second Int'l Semantic Web Conference), Sanibel Island, Florida, USA, October 2003. (pdf) (position statement in pdf).

9. J. Neto, J. Félix Costa, P. Carreira e M. Rosa. A compiler and simulator for partial recursive functions over neural networks (extended abstract), in Ahmad Lotfi, Jon Garibaldi, and Robert John (eds), 4th International Conference on Recent Advances in Soft Computing (RASC'2002), Nottingham, United Kingdom, December 2002.

10. Paulo J. F. Carreira and Miguel E. F. Costa, “Automatically Verifying an Object-Oriented Specification of the Steam-Boiler System”, Proceedings of the 5th ERCIM Workshop on Formal Methods for Industrial Critical Systems. GMD Report 91, Stefania Gnesi, Ina Shieferdecker and Axel Renoch (eds). ISSN 1435-2702. (pdf).

Technical Reports

1. Paulo Carreira, Helena Galhardas, João Pereira, Fernando Martins and  Mário J. Silva, "Performance Analysis of One-to-Many Data Transformations". Technical Report DI/FCUL TR-06-25. Department of Informatics and Computer Science, University of Lisbon, December 2006. (pdf). Also available as INESC-ID Tech. Rep. RT/01/2007, January 2007.

2. Paulo Carreira, Antónia Lopes, Helena Galhardas and João Pereira, "Extending the Relational Algebra with the Mapper Operator". Technical Report DI/FCUL TR-05-2. Department of Informatics and Computer Science, University of Lisbon. January 2005. (pdf). Also available as INESC-ID Tech. Rep. RT/01/2005, January 2005.

3. Paulo J.F. Carreira, Miguel A. Rosa, J. Pedro Neto and J. Félix Costa, “Building a Neural Computer”. Technical Report DI/FCUL TR-98-8. Department of Computer Science, University of Lisbon. December 1998 (pdf).

Thesis

1. Paulo Carreira, "Mapper: An Efficient Data Migration and Transformation Operator", PhD Thesis, Department of Informatics of the University of Lisbon, September 2007. (to appear)

2. Paulo J. F. Carreira, "Automatic Verification of OBLOG specifications", Master’s Thesis. Department of Informatics of the University of Lisbon, December 1999. (pdf)

Supervision

2003/2004

André Gonçalves, University of Lisbon, Portugal. Final course work "A meta-data synchronization framework for the Data Fusion platform".

2002/2003

Alejandro Sartório, University of Rosario, Argentina. Final course work "Measuring cohesion and coupling of front-ends".