Inquiry Regarding Relation Arrangements Maintenance in DDlog

[bluegodg]

Hello! I am currently a graduate student in the Department of Computer Science. I have recently become very interested in the DDlog project that you have developed and am delving into the technical details of the project.

In the course of my study, I have encountered some questions regarding a specific aspect of DDlog that I was hoping you might be able to clarify. Specifically, I am trying to understand how the arrangements of relations are maintained when an update is committed to the system. After reviewing some of the source code, I noticed that the arrangements for the relations are initialized by calling the session_data method when the DDlogWorker is running. However, I have not been able to find a clear description or the specific implementation of the logic for computing results and maintaining these arrangements when updates occur.

If it is convenient, could you please point me to the exact location where this logic is implemented?

Thank you very much for your time and consideration. I look forward to your response and any guidance you may offer.

[mihaibudiu]

This project is no longer under development.
I am not sure whether I am replying your question directly, but DDlog really compiles into Differential Dataflow, and relies on the DD mechanisms to maintain the "arrangements".