Babis Kostopoulos
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Complexity×1Databases×1Logic×1
Frequent co-authors
Research Timeline
2026
From Time to Space: The Impact of Linearity in Higher-Order Datalog
The paper analyzes a fragment of Higher-Order Datalog, showing that restricting recursion to a linear form shifts its expressive power from time complexity to space complexity, specifically capturing $(k-1)$-EXPSPACE for the $(k+1)$-order fragment.
Highlighted terms show continued research focus across papers