Student research opportunities
Logical Reasoning for Data Integration
Project Code: CECS_883
This project is available at the following levels:
Honours, Masters, PhD
Keywords:
data integration; first-order logic; data semantics
Supervisors:
Professor Rajeev GoreDr Qing Wang
Outline:
Data integration requires data from different systems to be integrated in a meaningful way. This is difficult to achieve in real-world applications since the semantics of data are often ambiguous or implicitly encoded into the data level. Capturing human knowledge acquired from different sources in a reusable and collaborative way will enable us to improve quality and efficiency of data integration over time.
Goals of this project
This project aims to investigate logical reasoning techniques that can efficiently leverage human knowledge for data integration.
Requirements/Prerequisites
Having general knowledge about the theory of relational databases is important. For students inside of the ANU, taking the courses COMP2400/COMP6240 and COMP2600 is required.
Background Literature
(1) Principles of data integration, AH Doan, A Halevy and Z Ives, 2012.
(2) Data integration: the teenage years, A Halevy, A Rajaraman and J Ordille, VLDB, 2006.
(3) Data integration: A theoretical perspective, M Lenzerini, PODS, 2002.
