[Coda]

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".

[Lawtan]

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

[Coda]

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

[Tohopekaliga]

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

[Espy]

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

[daikokunyo]

Originally Posted by Tohopekaliga

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

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