Towards Declarative Comparabilities: Application to Functional Dependencies | Publicación