A Type System for Interactive JSON Schema Inference (Extended Abstract)

Mohamed-Amine Baazizi (1) , Dario Colazzo (2) , Giorgio Ghelli (3) , Carlo Sartiani (4)

1 BD - Bases de Données
2 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
3 Dipartimento di Informatica [Pisa]
4 DiMIE - Dipartimento di Matematica Informatica ed Economia

In this paper we present the first JSON type system that provides the possibility of inferring a schema by adopting different levels of precision/succinctness for different parts of the dataset, under user control. This feature gives the data analyst the possibility to have detailed schemas for parts of the data of greater interest, while more succinct schema is provided for other parts, and the decision can be changed as many times as needed, in order to explore the schema in a gradual fashion, moving the focus to different parts of the collection, without the need of reprocessing data and by only performing type rewriting operations on the most precise schema.

Mots clés: type systems; interactive inference; JSON

Domaines: Informatique [cs]

Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani. A Type System for Interactive JSON Schema Inference (Extended Abstract). 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Jul 2019, Patras, Greece. pp.101:1--101:13, ⟨10.4230/LIPIcs.ICALP.2019.101⟩. ⟨hal-02301775⟩