Typing Massive JSON Datasets - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Typing Massive JSON Datasets

(1, 2) , (3) , (4)
1
2
3
4

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-00758716 , version 1

Cite

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⟩
180 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More