TY - GEN
T1 - Structural Semantics Management
T2 - 31st International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2023
AU - Wang, Anduo
AU - Anwar, Mubashir
AU - Lan, Fangping
AU - Caesar, Matthew
N1 - Acknowledgments. This work was supported by National Science Foundation Award CNS-1909450, CNS-2145242.
PY - 2023
Y1 - 2023
N2 - The value of database in advancing networking - in the paradigm shift from protocols to software-defined networking - was once highlighted by database-inspired management of network states. Moving beyond factual states, this paper considers semantics management a new frontier in the databases-networking knowledge 'transfer', seeking to manage network policies via structural manipulation of the corresponding software (program). As a proof of concept, we make a case of semantics-based network transformation with the datalog structure and the chase, an elegant process for handling data dependencies (semantics). Our main result is an extension of the classic chase to faure-log; a networking extension of datalog for the richer networking policies.
AB - The value of database in advancing networking - in the paradigm shift from protocols to software-defined networking - was once highlighted by database-inspired management of network states. Moving beyond factual states, this paper considers semantics management a new frontier in the databases-networking knowledge 'transfer', seeking to manage network policies via structural manipulation of the corresponding software (program). As a proof of concept, we make a case of semantics-based network transformation with the datalog structure and the chase, an elegant process for handling data dependencies (semantics). Our main result is an extension of the classic chase to faure-log; a networking extension of datalog for the richer networking policies.
KW - Software-defined networking
KW - network datalog
KW - semantics-based transformation
KW - the Chase
UR - http://www.scopus.com/inward/record.url?scp=85184519451&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85184519451&partnerID=8YFLogxK
U2 - 10.1109/MASCOTS59514.2023.10387636
DO - 10.1109/MASCOTS59514.2023.10387636
M3 - Conference contribution
AN - SCOPUS:85184519451
T3 - Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS
BT - Proceedings - 2023 31st International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2023
PB - IEEE Computer Society
Y2 - 16 October 2023 through 18 October 2023
ER -