On Normal Forms for Structured Specifications with Generating Constraints.
Donald SannellaAndrzej TarleckiPublished in: Graph Transformation, Specifications, and Nets (2018)
Keyphrases
- normal form
- data dependencies
- database design
- functional dependencies
- relational algebra
- database theory
- database designer
- relational databases
- nested relations
- null values
- function symbols
- formal definitions
- prime implicates
- information content
- multi valued
- relational database theory
- inclusion dependencies
- object oriented