Buenas noches, quería hacer una consulta sobre la especificación del procedimiento "insertar". La letra dice que la pareja (d,r) se inserta"independientemente de que T(d) estuviera ya definido". Esto quiere decir que la pareja (d,r) se agrega igualmente, o que se sobrescribe T(d) con "r"?
Ademas quería consultar si el procedimiento "supresión" borra solo "T(d)" o el par (d,T(d)).
Gracias y saludos
Hola Facundo,
Esto quiere decir que si no estaba "d" con alguien, se agrga la parecja ("d","r") y sino se reemplaza la pareja de que tenía "d" con "r". Esto es, la operación inserta o actualiza.
La "supresión" recibe el "d" y no el "r" porque la clave es "d" (es una función). Si "d" está borrar la parecja ("d",T("d")) y sino, no tiene efecto. Una función/tabla es un conjunto de pares. Luego, al borar si se saca algo es un par.
Saludos, Carlos