Logic and Databases
Logic and Computation (Advanced)
First week, from 9:00 to 10:30
During the past forty years, there has been a continuous and fruitful interaction between logic and databases. The aim of this course is to highlight some aspects of this interaction with emphasis on the interplay between logic, databases, and computational complexity. Topics to be covered include logic and database query languages, logic and integrity constraints in databases, more recent uses of logic in data exchange and data integration, as well as uses of logic in managing inconsistent and uncertain data.