Can One Escape Red Chains?
Grzegorz Głuch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja · 2018
For a given set of queries (which are expressions in some query language) Q = {Q1, Q2, ... Qk} and for another query Q0 we say that Q determines Q0 if -- informally speaking -- for every database D, the information contained in the views Q(D) is sufficient to compute Q0(D).