2 papers
cs.LO2026
Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica
Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2
Logica is an open-source logic programming language that compiles to SQL and runs on DuckDB, SQLite, PostgreSQL, and BigQuery. Unlike classic Datalog, it freely combines recursion…
cs.DB2025
Logica-TGD: Transforming Graph Databases Logically
Evgeny Skvortsov, Yilin Xia, Bertram Ludäscher +1
Graph transformations are a powerful computational model for manipulating complex networks, but handling temporal aspects and scalability remain significant challenges. We present…