Logic for (Database) Systems Implementation by David Toman

Slides from departmental colloquium - An important part of database technology is the requirement that only a logical appreciation of data is necessary on the part of application developers. This allows the formulating queries (and update requests) without information relating to concrete data sources and their low-level interfaces. In the talk we explore how standard KR approaches, such as ODBA-style querying, relate to the above problem and how KR (and Logic at large) techniques can serve as a cornerstone to a comprehensive solution to query compilation problem. We (briefly) discuss range of topics from adaptations of theorem-proving techniques to low-level query optimizations, commonly considered beyond the reach of logical approaches to query compilation, and conclude with a list of open research topics.

Click here to get the file