Logic and Databases, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
2006-02-27 - 2006-03-02 | Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
Logic and databases have been intimately linked since the rise of relational database systems in the 1970s. Relational databases can be modelled by finite relational structures, and first-order logic lies at the core of standard database query languages such as the Structured Query Language, SQL. As another example, closer to current research, XML documents can be modelled by labelled unranked trees, and XML query languages as logics on trees. The workshop will focus on recent research on logical aspects of the theory of database systems. These include the applications of logic and logical methods in the study of databases as well as questions in logic that arise from this study. Particular topics of interest include the expressive power and complexity of query languages; models and languages for semi-structured data; probabilistic databases; constraint databases, etc. For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw02.html
