Matroid Bases with Cardinality Constraints on the Intersection.
Stefan LendlBritta PeisVeerle TimmermansPublished in: CoRR (2019)
Keyphrases
- cardinality constraints
- boolean algebra
- quantifier elimination
- greedy algorithm
- functional dependencies
- combinatorial optimization
- entity relationship
- constraint query languages
- integrity constraints
- deductive databases
- database schema
- information systems
- relational databases
- database
- database design
- inference rules