Formal verification of information derivability in databases using precedence analyses

Antoni Olivé,F. Saltor
DOI: https://doi.org/10.1016/0306-4379(82)90012-6
IF: 3.18
Information Systems
Abstract:
What problem does this paper attempt to address?