Mu-Calculus Satisfiability with Arithmetic Constraints.
Yensen LimónEverardo BárcenasEdgard Benítez-GuerreroGuillermo Molero-CastilloAlejandro Velázquez-MenaPublished in: Program. Comput. Softw. (2020)
Keyphrases
- arithmetic constraints
- relational calculus
- relational algebra
- expressive power
- complex objects
- query language
- satisfiability problem
- relational model
- normal form
- arc consistency
- constraint satisfaction problems
- first order logic
- propositional logic
- np complete
- relational data model
- data model
- transitive closure
- computational complexity
- database
- multiple attributes
- relational database systems
- description logics