Login / Signup
Constructing Armstrong tables for general cardinality constraints and not-null constraints.
Sven Hartmann
Henning Köhler
Uwe Leck
Sebastian Link
Bernhard Thalheim
Jing Wang
Published in:
Ann. Math. Artif. Intell. (2015)
Keyphrases
</>
cardinality constraints
functional dependencies
database schema
constraint sets
boolean algebra
datalog queries
special case
constraint query languages
databases
quantifier elimination
database
integrity constraints
entity relationship
database design
normal form
global constraints