Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Understanding Ordered Structures.
Document related concepts
Transcript
NUS Graduate School for Integrative Sciences and Engineering Research Project Write-up Title of Project : Understanding Ordered Structures Name of Supervisor : Wong Limsoon Contact Details: Homepage: http://www.comp.nus.edu.sg/~wongls Email: [email protected] Short Description Relational database management systems are among the most widely deployed information technologies. These systems are primarily “controlled” via queries expressed in SQL. The manipulation and expressive power of SQL on unordered structures are well understood. However, current understanding on its power on ordered structures are far from satisfactory. This project will investigate in depth the expressive power of SQL and its various fragments on ordered structures, and its relationship to the open problem of the strict containment of TC0 in NP. We shall approach this investigation from the perspectives of invariant queries and bounded degree properties. Students interested in this project should have a thorough grounding in relational database management systems, discrete mathematics, and finite model theory. Please visit the URL below for a description of the predecessor of this project, where we sought to understand unordered structures in the context of database queries: http://www.comp.nus.edu.sg/~wongls/projects/nested-relations/index.html
