Morgol

We want to design two languages:

• An independent language (Morgol file definition) that has a syntax close to SQL, see proposal in m4.pdf
• A DSL for Scala that will share the same semantics but with a more integrated syntax

Goals:

• The language should be succinct but understandable
• We should be able to have explicit deltas/triggers that can fire when some event happens (--> active databases)
• We want to be able to express Bloom programs in our language
• Find a way to handle implicit/explicit locality
• Find a way to leverage our delta machinery in the context of the new language

Starting points: (see https://wiki.epfl.ch/morgol/specs)

Languages to look at/compare to:

• SociaLite
• Bloom
• Webdamlog

Thierry's initial proposal can be found here: https://wiki.epfl.ch/morgol/documents/m3p.pdf