Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.
Peter KoepkePublished in: J. Symb. Log. (1998)
Keyphrases
- normal form
- client server environment
- database design
- relational databases
- database interface
- database theory
- nested relations
- functional dependencies
- development tools
- application development
- formal definitions
- development environment
- data dependencies
- database administration
- relational algebra
- db udb
- relational database theory
- information content
- prime implicates
- ibm db
- cd rom
- data model
- database server
- database systems
- function symbols
- data modeling