Home - AmpersandTarski/Ampersand GitHub Wiki

Research in Ampersand aims at formalizing the foundations of information systems. The quest towards generating information systems directly from business rules yields new and fundamental insights on generating software from relation algebra specifications.

In this wiki, the project reports on scientific progress on this subject. For learning about Ampersand, we refer to the documentation.