ygrek/sqlgg — pull request #3 by paurkedal (2014-03-23 22:34:00+00:00)
Title: Refinement of Possible Row Counts and Statement Info for XML

I want to have some more information about statements in the XML output. In particular I'm interested in whether the results of statements can have possible row counts {0}, {0,1}, {1}, or {0,...}. I split this into two patches. The first refines the `Select of bool` to `Select of cardinalities` internally. The second adds `kind`, `target`, and `cardinalities` attributes to `` tags.

BTW, I believe there is a minor bug in the singlerow inference. `select from

` will simply repeat the constants for each row in `

`. If SQL was more true to set theory the could would be correct. Not a big deal, as I can't think of any use for such a statement.