Re: MV and SQL

I have read the SOFA cards on your site and it seems that some of the features of a Pick MV system are:
- dynamically typed data

• composed types definable by a regular language
• procedural programming
• persistence of data and procedures/libraries
• integrated development system
• portability
• parsimonious use of computing resources

I don't know anything about the "query languages" of these systems and their formal semantics.
I'm particularly interested if they offer some kind of declarative query language.

If you want to compare the "data models" you need to compare the LANGUAGES, not only the data structures.

Some links that might interest you:

http://en.wikipedia.org/wiki/Plural_quantification
http://en.wikipedia.org/wiki/Second-order_logic
http://en.wikipedia.org/wiki/Regular_language