Logical Interfaces to Data, Beyond Views
Offered By: Simons Institute via YouTube
Course Description
Overview
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.
Syllabus
Logical Interfaces to Data, Beyond Views
Taught by
Simons Institute
Related Courses
Introduction to LogicStanford University via Coursera Lógica y usos
Miríadax Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera