Introduction to double categories and applications to relational databases