Log In

So I found this lying around in some of my old database theory notes... I know I wrote it this way because it was a lot more concise than trying to write it out in English, but I'm wondering if anyone here can decode it...

∀T∈a⋈b(∃S∈a(∀x∈S(S[x]=T[x]))∧∃U∈b(∀y∈U(U[y]=T[y])))→∀z∈S∩U(S[z]=U[z])

S, T, and U are tuples, and S[x] means "the value of the property x in the tuple S".

Am I correct in guessing that the symbols are mathematical in origin? *sees Koine Greek, and associates with math*

Yeah, they're math symbols. Those aren't Greek at all. That's not an epsilon; that looks like ε in this font. :P

You clearly figured out the secret to time travel, but didn't want anyone--including yourself--to read the equation.

I have half a mind to ask my CS friends on FB...

That's kind of wise of Coda
Like life isn't complicated enough already, we'd lose the ability to get over things.
I'd try if this was a rainy day and the net connection was cranky but I don't want to use my brain right now