Balancing expressiveness and inexpressiveness in view design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Balancing expressiveness and inexpressiveness in view design


We study the design of data publishing mechanisms that allow a collection of autonomous distributed datasources to collaborate to support queries. A common mechanism for data publishing is via views: functions that expose derived data to users, usually specified as declarative queries. Our autonomy assumption is that the views must be on individual sources, but with the intention of supporting integrated queries. In deciding what data to expose to users, two considerations must be balanced. The views must be sufficiently expressive to support queries that users want to ask -- the utility of the publishing mechanism. But there may also be some expressiveness restriction. Here we consider two restrictions, a minimal information requirement, saying that the views should reveal as little as possible while supporting the utility query, and a non-disclosure requirement, formalizing the need to prevent external users from computing information that data owners do not want revealed. We investigate the problem of designing views that satisfy both an expressiveness and an inexpressiveness requirement, for views in a restricted declarative language (conjunctive queries), and for arbitrary views.

Dates and versions

hal-02964692 , version 1 (12-10-2020)



Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura. Balancing expressiveness and inexpressiveness in view design. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes, Greece. pp.109--118, ⟨10.24963/kr.2020/12⟩. ⟨hal-02964692⟩
118 View
4 Download



Gmail Mastodon Facebook X LinkedIn More