A functional database (databases)