3 citations · 3 across the 2 of their papers we have counts for
8 papers
Beyond Memorization: Distinguishing Between Pattern-Based and Epistemic Reasoning in LLMs Using Epistemic Puzzles
Adi Gabay, Gabriel Stanovsky, Liat Peterfreund
Epistemic reasoning requires agents to infer the state of the world from partial observations and information about other agents' knowledge. Prior work evaluating LLMs on epistemic…
GQL and SQL/PGQ: Theoretical Models and Expressive Power
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund +1
SQL/PGQ and GQL are very recent international standards for querying property graphs: SQL/PGQ specifies how to query relational representations of property graphs in SQL, while GQL…
Database Theory in Action: From Inexpressibility to Efficiency in GQL's Order-Constrained Paths
Hadar Rotschield, Liat Peterfreund
Pattern matching of core GQL, the new ISO standard for querying property graphs, cannot check whether edge values are increasing along a path, as established in recent work. We pre…
GPC: A Pattern Calculus for Property Graphs
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo +7
The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently deve…
Complexity of Evaluating GQL Queries
Diego Figueira, Anthony W. Lin, Liat Peterfreund
GQL has recently emerged as the standard query language over graph databases (particularly, the property graph model). Indeed, this is analogous to the role of SQL for relational d…
On the Expressiveness of Languages for Querying Property Graphs in Relational Databases
Hadar Rotschield, Liat Peterfreund
SQL/PGQ is the emerging ISO standard for querying property graphs defined as views over relational data. We formalize its expressive power across three fragments: the read-only cor…