The Use of Kripke's Schema as a Reduction Principle.

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

Keyphrases

data model
inference rules
xml schema
database schema
databases
desirable properties
database
modal logic
temporal logic
data mining
schema integration
reduction method
semistructured data
data reduction
database design
digital libraries
information systems
machine learning
neural network
data sets