Virtualization of SQL data (generic, cont'd)

query arrives already in a structured form:

forall [...] => ... => exists [...] return ...

use the connection constraints C_IR to translate concepts of the interface ontology into those of O_R

finally query conditions are canonicalized into atomic forms: forall [ ... ]

¶

every forall [ $s is-a student ] is translated into a SELECT * FROM students

if the pattern [ ... ] contains conditions, they are translated into SQL WHERE clauses

¶

the select statement(s) are executed