juanreutter
commented
4 years ago Es que la definicion vale pa cualquier fórmula:
evaluacion(phi,A) = {(a1,...,an) in A^n | A |= '(a1,...,an)}
Lo único es que, como pido que la fórmula entregue todas las posiciones, la fórmula \phi tiene que tener una sola variable libre (solo de esta forma evaluación es un conjunto de posiciones... si tuviese más variables sería otra cosa, por que entregaría tuplas).
Con esa info, más la semántica de la disyunción, tienes todo lo necesario para armar la fórmula.
Pipelao
Hola @juanreutter
Entendí por la #12 que se pueden utilizar disyunciones en las consultas conjuntivas, pero me surge la duda de cómo impactan las disyunciones en estas; por ejemplo se debería colocar alpha(x) = exists z exists y (R(y,z) and R(z,x)) or exists z exists y (R2(y,z) and R2(z,x)) o debería colocar algo así como alpha(x1,x2) = exists z exists y (R(y,z) and R(z,x1)) or exists z exists y (R2(y,z) and R2(z,x2)) en el caso que se cumplan ambas condiciones, ya que al no ser un or exclusivo se pueden cumplir ambas o una solamente.
Gracias.