Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata.

Manfred Droste Sven Dziadek Werner Kuich

Published in: FSTTCS (2019)

Keyphrases

normal form
nested relations
database design
functional dependencies
relational algebra
relational databases
distributed systems
data dependencies
management system
information content
finite state machines
case study
relational model
relational database theory