On the expressive power of Łukasiewicz square operator.

Marcelo E. Coniglio Francesc Esteva Tommaso Flaminio Lluís Godo

Published in: J. Log. Comput. (2022)

Keyphrases

expressive power
first order logic
query language
data complexity
transitive closure
computational properties
relational algebra
relational calculus
pattern queries
constraint query languages
artificial intelligence