Dynamic G-based fourth normal form in relational database

Dynamic G-based fourth normal form is a grammar-based verification method which utilizes Wijngaarden grammars (A. Van Wijngaarden, 1969), to test dynamic semantics of the fourth normal form in a relational database. Grammar formalizes the relational table at both attribute level and tuple level. It is useful in dynamic G-based fourth normal form to think of attributes and their relationships as forming a program and the tuples as forming the data upon which the program operates. Class LR(1) parsers can be designed to parse the resulting grammar. Using such a model could eliminate human interaction for syntactic and semantic interpretations of fourth normal form in a relational database.<
>