Logic for Database Systems Implementation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Logic for Database Systems Implementation

Vortrag von David Toman
Logic for Database Systems Implementation (or Life beyond Lite Logics and CQ/UCQ)

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.

A fundamental problem---called query compilation--must therefore be addressed by such systems, the problem of translating user requests over purely conceptual and domain specific ways of understanding of data, commonly called logical designs, to efficient executable programs, called query plans, responsible for evaluating the requests by accessing various concrete data sources through their low-level often iterator-based interfaces. An appreciation of the concrete data sources, their interfaces, and how such capabilities relate to logical design is in turn called a physical design.

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 the 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 interesting research topics.