A Safe Relational Calculus for Functional Logic Deductive Databases1 1This work has been partially supported by the Spanish project of the Ministry of Science and Technology “INDALOG” TIC2002-03968. | Publicación