Adding a path connectedness operator to FO+poly (linear).

Chris Giannella Dirk Van Gucht

Published in: Acta Informatica (2002)

Keyphrases

constraint query languages
first order logic
databases
differential operators
database
social networks
knowledge base
relational databases
shortest path
expressive power
conjunctive queries
relational model
linear model
constraint databases
boolean algebra