Importance of Variables Semantic in CNF Encoding of Cardinality Constraints.

Anbulagan Alban Grastien

Published in: SARA (2009)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
entity relationship
integrity constraints
database schema
domain specific
deductive databases
constraint sets
domain ontology
constraint query languages
high level
relational databases
domain knowledge
database design