The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More).
M. Randall HolmesPublished in: J. Symb. Log. (1995)
Keyphrases
- normal form
- computational models
- formal models
- data model
- database design
- small number
- theoretical framework
- underlying assumptions
- directed acyclic graph
- functional dependencies
- integrity constraints
- experimental data
- databases
- feature set
- prior knowledge
- database systems
- knowledge base
- feature selection
- machine learning
- data mining