Normal forms for match-action programs.

Felicián Németh Marco Chiesa Gábor Rétvári

Published in: CoNEXT (2019)

Keyphrases

normal form
database design
relational databases
functional dependencies
function symbols
nested relations
information content
database theory
formal definitions
relational algebra
data dependencies
prime implicates
multi valued
boolean expressions
relational database theory
databases
stable models
belief change