commit 948f7470ff2ec656ae6ce6e7ae59bdb059927d14 parent 642798d43fdeee53aa938da66dab3a86928ece7e Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 24 Jun 2025 17:33:22 +0200 commit with codex Diffstat:
| regular_query | | | 14 | ++++++++++++++ |
1 file changed, 14 insertions(+), 0 deletions(-)
diff --git a/regular_query b/regular_query @@ -0,0 +1,14 @@ +# Regular query + +A [CRPQ] whose atoms are themselves binary [CRPQs], and so recursively + +Special cases: +- [CRPQ] + +Generalizations: +- [regular_queries_with_memory] +- [Datalog] + +Studied in [reutter2017regular] + +Up: [query_language]