The Comparison of the Expressive Power of First-Order Dynamic Logics.

Alexei P. Stolboushkin Michael A. Taitslin

Published in: Theor. Comput. Sci. (1983)

Keyphrases

expressive power
first order logic
computational properties
query language
data complexity
transitive closure
relational algebra
propositional logic
artificial intelligence
inference rules
knowledge representation
nonmonotonic reasoning
horn clauses
relational calculus
aggregate functions