A type system for interactive JSON schema inference (extended abstract)

DOI10.4230/LIPICS.ICALP.2019.101MaRDI QIDQ5091263zbMATH OpenFDO

Authors Mohamed-Amine Baazizi, D. Colazzo, G. Ghelli, C. Sartiani

Publication date 21 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2019.101

zbMATH Keywords

interactive inferenceJSONtype systems

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• scientific article; zbMATH DE number 1717357
• A descriptive type foundation for RDF Schema
• Type inference for Datalog with complex type hierarchies
• ptype: probabilistic type inference
• Data type inference for logic programming

Cites work

• Compression of unordered XML trees
• Fast learning of restricted regular expressions and dtds

Cited in

(1)

• Negation-closure for JSON schema

This page was built for publication: A type system for interactive JSON schema inference (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5091263)