Formalization of proofs using relational calculus.
Yoshihiro MizoguchiHisaharu TanakaShuichi InokuchiPublished in: ISITA (2016)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- relational model
- arithmetic constraints
- normal form
- first order logic
- transitive closure
- data model
- knowledge representation
- relational data model
- database query languages
- decision procedures
- database
- data structure
- relational algebra expressions