On the expressive power of F-logic language.
Zengping TianYujun WangYunyao QuBaile ShiPublished in: J. Comput. Sci. Technol. (1997)
Keyphrases
- expressive power
- relational calculus
- query language
- first order logic
- aggregate functions
- relational algebra
- monadic second order logic
- data complexity
- transitive closure
- database query languages
- deductive databases
- relational query languages
- natural language
- description logics
- programming language
- knowledge representation and reasoning
- constraint query languages
- computational properties
- relational data model
- object oriented
- theorem prover
- integrity constraints
- recursive queries
- database