Linearity and regularity with negation normal form.
Reiner HähnleNeil V. MurrayErik RosenthalPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- normal form
- database design
- semantics for logic programs
- relational databases
- functional dependencies
- relational algebra
- nested relations
- logic programs
- logic programming
- multi valued
- data dependencies
- information content
- boolean expressions
- fixpoint
- relational database theory
- truth values
- predicate logic
- deductive databases
- relational calculus
- propositional formulas
- normal logic programs
- stable models
- set of functional dependencies
- object oriented
- user interface