with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula.
Sagar MalhotraLuciano SerafiniPublished in: CoRR (2020)
Keyphrases
- closed form
- cardinality constraints
- boolean algebra
- functional dependencies
- entity relationship
- inference rules
- database schema
- deductive databases
- constraint query languages
- first order logic
- integrity constraints
- closed form solutions
- closed sets
- expressive power
- constraint databases
- database design
- image segmentation