On the Expressive Power of Logics on Constraint Databases with Complex Objects.
Hong-Cheu LiuJixue LiuPublished in: J. Comput. Sci. Technol. (2019)
Keyphrases
- expressive power
- complex objects
- constraint databases
- query language
- transitive closure
- data model
- query evaluation
- relational algebra
- first order logic
- database
- quantifier elimination
- constraint query languages
- recursive queries
- object oriented
- relational calculus
- conjunctive queries
- relational model
- relational data model
- xml data
- temporal data
- multi dimensional
- query processing
- expert systems
- data structure