FO = FO3 for linear orders with monotone binary relations.

Published in: CoRR (2019)

Keyphrases

binary relations
transitive closure
first order logic
expressive power
inference rules
query evaluation
query language
decision trees
relational databases
spatial databases
semantic network
relational algebra