Matroid bases with cardinality constraints on the intersection.

Stefan Lendl Britta Peis Veerle Timmermans

Published in: Math. Program. (2022)

Keyphrases

cardinality constraints
quantifier elimination
boolean algebra
greedy algorithm
functional dependencies
entity relationship
combinatorial optimization
integrity constraints
database schema
inference rules
constraint query languages
databases
data model
conceptual model
deductive databases
closed sets