Decidability and Expressive Power of Real Time Logics.

Alexander Moshe Rabinovich

Published in: FORMATS (2006)

Keyphrases

expressive power
computational properties
query language
first order logic
data complexity
relational algebra
transitive closure
databases
relational calculus
description logics
constraint query languages
inference rules
query evaluation
query processing
recursive queries
exptime complete
machine learning