On the Expressive Power of Graph Logic.

Jerzy Marcinkowski

Published in: CSL (2006)

Keyphrases

expressive power
computational properties
first order logic
monadic second order logic
query language
data complexity
relation algebra
transitive closure
relational algebra
relational structures
modal logic
directed graph
relational calculus
logic programming
classical logic
set theory
structured data