A functional-relational database