Dynamic G-based fourth normal form in relational database

Abstract

Dynamic G-based Fourth Normal Form is a grammar based verification method which utilizes Wijngaarden grammars (W-Grammars) to test dynamic semantics of Fourth Normal Form in relational database.Grammar formalizes the relational table at both attribute level and tuple level. It will be useful in dynamic G-based Fourth Normal Form to think of attributes and their relationships forming a program and the tuples forming the data upon which the program operates. Class LR(1) parsers can be designed to parse the resulted grammar. Using such a model could eliminate human interaction for syntactic and semantic interpretations of Fourth Normal Form in relational database.