In reverse engineering of database queries, we aim to construct a query ...
Our concern is the problem of determining the data complexity of answeri...
We aim to determine which temporal instance queries can be uniquely
char...
We prove that, similarly to known PSpace-completeness of recognising
FO(...