This research introduces TyQL, a novel calculus and implementation for recursive database queries that enhances both safety and performance for fixed-point computations.

• Brings computation closer to data with type-safe recursive queries
• Delivers significant performance advantages for large-scale analysis applications
• Addresses critical safety and correctness risks in recursive SQL queries
• Integrates smoothly with modern programming languages

For engineering teams working with large-scale program analysis, network data, or distributed systems, TyQL provides a safer and more efficient alternative to traditional SQL recursion, potentially transforming how fixed-point computations are implemented in performance-critical applications.

Language-Integrated Recursive Queries