Formal verification of information derivability in databases using precedence analysis | Publicación