Augmenting Negation Normal Form With Irrelevant Variables.
Dangdang NiuLei LiuShuai LüPublished in: IEEE Access (2019)
Keyphrases
- normal form
- relational databases
- semantics for logic programs
- database design
- nested relations
- logic programming
- logic programs
- functional dependencies
- relational algebra
- information content
- deductive databases
- multi valued
- predicate logic
- relational database theory
- database
- prime implicates
- data dependencies
- complex objects
- databases
- truth values
- data structure