Integrating Cardinality Constraints into Constraint Logic Programming with Sets.
Maximiliano CristiáGianfranco RossiPublished in: CoRR (2021)
Keyphrases
- constraint logic programming
- cardinality constraints
- constraint solving
- logic programming
- answer set programming
- boolean algebra
- closed sets
- functional dependencies
- constraint programming
- constraint propagation
- entity relationship
- logic programs
- database schema
- temporal reasoning
- integrity constraints
- constraint query languages
- global constraints
- database design
- relational databases