Consistency of strictly impredicative NF and a little more ...

Published in: J. Symb. Log. (2010)

Keyphrases

normal form
data model
consistency checking
temporal consistency
data sets
case study
digital libraries
constraint networks
path consistency
databases
information retrieval
website
database systems
data structure
expert systems