Graph Database Theory