Logical Interfaces to Data, Beyond Views

Explore alternative interfaces to data beyond traditional views in this 35-minute talk by Michael Benedikt from the University of Oxford. Delve into logical approaches for query evaluation, examining specifications that determine which queries users can answer and which instances should be considered interchangeable. Investigate the conversion possibilities between different interface specifications, drawing insights from the related paper "Balancing Expressiveness and Inexpressiveness in View Design" published in TODS 2021. Gain a deeper understanding of declarative data access mechanisms and their implications for user interactions with datasets.