Not all abstractions are relations though. In SQL can you abstract the functionality of "take a relation with one int column, one string column, one double column, sum the int column, group by the string column and average the double column"?

Do views support the notion of primary keys and foreign keys?

I wouldn't be able to program in SQL without the former, and the latter would also be useful.