Gavel: Software-defined network control with graph databases | IEEE Conference Publication | IEEE Xplore