Directed st-Connectivity Is Not Expressible in Symmetric Datalog.
László EgriBenoît LarosePascal TessonPublished in: ICALP (2) (2008)
Keyphrases
- transitive closure
- datalog programs
- datalog queries
- expressive power
- query answering
- query language
- deductive databases
- first order logic
- connected components
- data complexity
- brain connectivity
- expert systems
- query evaluation
- data sets
- rendezvous search
- containment of conjunctive queries
- spatial databases
- ontology based data access
- relational algebra
- conjunctive queries
- machine learning