Quote: Kleisli extends NRC with equality, rationals, arithmetic; some power as SQL

Quotation Skeleton

[NRC is extended with equality test,] rational numbers, linear order on rational numbers, … [Extended NRC] was shown to capture the power of … [ref] … [Libkin and Wong proved that extended NRC and thus SQL] cannot test if a [unordered] graph is … [and other limits of NRC and SQL on unordered graphs] …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: neither SQL nor NRC can test if an unordered graph is a chain, along with other properties of unordered graphs

Related Topics

Topic: database queries, joins, and relational algebra (33 items)