swMATH ID: 20098
Software Authors: Consens, M.; Mendelzon
Description: GraphLog: a visual formalism for real life recursion. We present a query language called GraphLog, based on a graph representation of both data and queries. Queries are graph patterns. Edges in queries represent edges or paths in the database. Regular expressions are used to qualify these paths. We characterize the expressive power of the language and show that it is equivalent to stratified linear Datalog, first order logic with transitive closure, and non-deterministic logarithmic space (assuming ordering on the domain). The fact that the latter three classes coincide was not previously known. We show how GraphLog can be extended to incorporate aggregates and path summarization, and describe briefly our current prototype implementation.
Homepage: http://dl.acm.org/citation.cfm?id=298591
Related Software: XPath; SPARQL; Lorel; Datalog; nSPARQL; DLV2; SWI-Prolog; ASSAT; openCypher; GitHub; NuSMV; UnQL; Python; PERL
Referenced in: 32 Publications

Referencing Publications by Year