If that known any library for list which implement a basic set of functions
to deals with relational databases
I need
representation of database schema - which supports relation, columns,
simple domain theory, unique and referential integrity
representation of queries - better as relational algebra expessions
would be very good to have support of reasonong about query containment, and
'correctness' according to schema but not mandatory
Andrei Lopatenko