ISSUE-15: Consistency of formalisms (datalog, set-based and English)


Consistency of formalisms (datalog, set-based and English)

Direct Mapping
Raised by:
Michael Hausenblas
Opened on:
There are three formalisms in the DM document: datalog, set-based notation, and plain English. We must ensure that all three formalisms are in sync and produce consistent outputs, verified via the DM test cases

Related Actions Items:
No related actions
Related emails:
  1. ISSUE-15 (formalism): Formalism [Direct Mapping] (from on 2011-01-21)

Related notes:

We need to link to the DM Test Case issue once it's available

Michael Hausenblas, 1 Feb 2011, 18:06:41

Display change log ATOM feed

Ashok Malhotra <>, Michael Hausenblas <>, Chairs, Eric Prud'hommeaux <>, Ivan Herman <>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <>.
$Id: 15.html,v 1.1 2012/10/16 16:28:34 vivien Exp $