论文部分内容阅读
本文介绍了在关系数据库中使用 W 文法的集合形式表示3NF 的方法。在保持函数依赖的基础上,本文还就在关系数据库中使用 W 文法以增强3NF 的静态和动态语义问题进行了探讨。最后,本文讨论了使用 LR(1)类文法构造 W 语法分析器问题以及使用该分析器对关系数据库模式和3NF 进行有效验证等问题。