Short Proofs of Tautologies Using the Schema of Equivalence.

Matthias Baaz Richard Zach

Published in: CSL (1993)

Keyphrases

databases
data model
xml data
theorem proving
schema evolution
data sets
neural network
data mining
artificial intelligence
formal proofs
database
formal proof
xml schema
database schema
database design
semantically enriched
schema matching
schema mappings
multi agent
real time