Non-deterministic ideal operators: An adequate tool for formalization in Data Bases | Publicación