eCOIN Demo for DisasterRelief

  Metadata:   [ Text Interface | Ontology | Context | Source | Graphical Viewer | Internal Representation ]
  [Other Demos | qbe]
  [ Enable Log ]

  Queries
Description

 Access is to only one datasource. The user is in a different context than the datasource. Currency conversion is performed from GBP to USD.

SQL
Context
Stage
Naive Datalog SQL Translation
Context Sensitive Datalog Execution
Conflict Detection
Mediation
Result 
 answer('V10', 'V9'):-
	dsr_tent_terranova('V10', 'V8', 'V7', 'V6', 'V5', 'V4', 'V3', 'V2', 'V1', 'V9'),
	200 < 'V9'.
gcms@mit.edu