хочешь замутить с π-calculus, а есть шансы только с sql