Views are the most common mechanism to declaratively describe a limited interface to a dataset for a user or a set of users. Views involving exporting derived data, usually given by a query.

In this talk we will discuss alternative interfaces:

-- A specification of which queries a class of users should be able to answer

-- A specification of which instances should be considered interchangeable to a class of users

We will look at questions of the form "can every interface satisfying a specification of form X be converted to one of form Y"

Related paper:

TODS 2021: Balancing Expressiveness and Inexpressiveness in View Design



Video Recording