Cardinality constraints for arrays (decidability results and applications).

Francesco Alberti Silvio Ghilardi Elena Pagani

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

cardinality constraints
boolean algebra
description logics
functional dependencies
integrity constraints
query answering
entity relationship
constraint query languages
data management
database schema
high level
database
databases
normal form
integer programming
closed sets