przeliczyć SQL na algebrę relacyjną

-- It works perfectly and help to explain 
http://www.grammaticalframework.org/qconv/qconv-a.html
KeWols