Typing Massive JSON Datasets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Typing Massive JSON Datasets


Cloud-specific languages are usually untyped, and no guarantees about the correctness of complex jobs can be statically obtained. Datasets too are usually untyped and no schema information is needed for their manipulation. In this paper we sketch a typing algorithm for JSON datasets. Our approach can be used to infer a succinct type from scratch for a collection of JSON objects, as well as to validate a dataset against a human-designed type and, if necessary, to adapt and improve this type.
No file

Dates and versions

hal-00758716 , version 1 (29-11-2012)


  • HAL Id : hal-00758716 , version 1


Dario Colazzo, Giorgio Ghelli, Carlo Sartiani. Typing Massive JSON Datasets. International Workshop on Cross-model Language Design and Implementation (XLDI), Sep 2012, Copenhagen, Denmark. ⟨hal-00758716⟩
183 View
0 Download


Gmail Facebook X LinkedIn More