Login / Signup
A Boolean Algebra Approach for Class Hierarchy Normalization.
Yanchun Zhang
Jitian Xiao
Published in:
DASFAA (1997)
Keyphrases
</>
boolean algebra
class hierarchy
constraint query languages
cardinality constraints
theorem prover
set theory
database
software evolution
knowledge base
data management
software architecture