242 karma · joined January 9, 2015
Edit: I guess it also depends at what level of abstraction you work. High: can be easy breezy. Low: oh boy.
It gets hairy when you have columns with composite types. E.g. depending on database, records can be JSON objects, protobufs, structs, or other composite types, like tuples.
It is possible to define semantics to merge each of these, but they vary and the merge operation becomes verbose to allow to handle each weirdness of each of these underlying types.
Merging is also sensitive to NULL vs 0 vs a DEFAULT, plus in some databases, NULL is still allowed even when a column is marked NOT NULL.
You'd almost need a sub-language for the merging operation, specifying how to handle each corner case.
However, using a type-unsafe (read weak typing), turing-complete language introduces the usual problems we know and love, such as infinite loops, runtime type errors, exceptions, and the like.
Personally, I'm looking forward to a WASM runtime for databases -- so we can run webassembly on the database. This COULD be carefully designed to be statically checked and, possibly, make it really hard to write runaway loops.
Black holes "evaporate" over time -- by emitting Hawking radiation. This is probably where the information goes, in my layman understanding.
I would say `v := (p.)` could've been the deref operator, but what do I know.
> Now [assume that] for all sets of n horses, every horse in [each] set has the same color.
QED.
This is just tautology. No further analysis needed, really.
(If your proof includes your hypothesis as an assumption, then it must be a proof by contradiction.)
EDIT: Before you refute, read again carefully. The assumption _is_ the hypothesis. It is not existentially quantified or set in the base case. It is the entire, universally quantified hypothesis.
There's no parsing; it's all or nothing.
SELECT count(star) FROM table
and
SELECT star FROM table
Are both valid, not equivalent.
Furthermore, listing any kind of set depends on some ordering, be it random.
[1] https://godoc.org/github.com/ethereum/go-ethereum/crypto#ToE...
https://stackoverflow.com/questions/32700999/pointer-arithme...
> But the med student says he prefers Tinder, a site with a reputation for facilitating hookups, and the League.
That suffixed ", and the League".