Normal forms and normal theories in conditional rewriting.

Salvador Lucas José Meseguer

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

normal form
database theory
database design
relational algebra
nested relations
formal definitions
functional dependencies
relational databases
data dependencies
prime implicates
conjunctive queries
multi valued
relational database theory
relational model
first order logic
function symbols
database systems