Specifications

What specifications do we want to have?

• (Re)define (and beautify) the syntactic level
• Add new constructs at the semantic level

Leveraging DBToaster

• DBToaster's calculus based
• Incrementality computation (to be handled by back-end and reusing the DBToaster machinery.
• Multiple queries / maps
• Introduce AggMin and AggMax operators

From SociaLite:

• Column-wise data layout (nested)
• Recursive aggregate functions
• Hints of evaluation order
• (Sorting?)

From WebDamLog:

• Encoding of locality, but that should be made optional to can at the same time handle big data clusters and precise distribution / message passing

From Bloom:

• Operators to operate at next time stamp in order to avoid infinite recursion and provide better negation support
• Possibly automatic stratification of the program by internal counter until all messages have been processed.