5 citations · 8 across the 10 of their papers we have counts for
11 papers
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness
Mohamed-Amine Baazizi, Nour El Houda Ben Ali, Dario Colazzo +4
JSON Schema is the de facto standard for describing the structure of JSON documents. Deciding JSON Schema inclusion - whether every instance of a schema is also an instance of…
Elimination of annotation dependencies in validation for Modern JSON Schema
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo +4
JSON Schema is a logical language used to define the structure of JSON values. JSON Schema syntax is based on nested schema objects. In all versions of JSON Schema until Draft-07,…
Validation of Modern JSON Schema: Formalization and Complexity
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo +3
JSON Schema is the de-facto standard schema language for JSON data. The language went through many minor revisions, but the most recent versions of the language added two novel fea…
Negation-Closure for JSON Schema
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli +2
JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under…
Witness Generation for JSON Schema
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo +3
JSON Schema is an important, evolving standard schema language for families of JSON documents. It is based on a complex combination of structural and Boolean assertions, and featur…
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version)
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli +2
In this paper, we study the usage of negation in JSON Schema data modeling. Negation is a logical operator that is rarely present in type systems and schema description languages,…
Not Elimination and Witness Generation for JSON Schema
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli +2
JSON Schema is an evolving standard for the description of families of JSON documents. JSON Schema is a logical language, based on a set of assertions that describe features of the…
CBPF: leveraging context and content information for better recommendations
Zahra Vahidi Ferdousi, Dario Colazzo, Elsa Negre
Recommender systems help users to find their appropriate items among large volumes of information. Different types of recommender systems have been proposed. Among these, context-a…
Typing Regular Path Query Languages for Data Graphs
Dario Colazzo, Carlo Sartiani
Regular path query languages for data graphs are essentially \emph{untyped}. The lack of type information greatly limits the optimization opportunities for query engines and makes…
XML content warehousing: Improving sociological studies of mailing lists and web data
Benjamin Nguyen, Antoine Vion, François-Xavier Dudouet +3
In this paper, we present the guidelines for an XML-based approach for the sociological study of Web data such as the analysis of mailing lists or databases available online. The u…
Optimizing XML querying using type-based document projection
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo +1
XML data projection (or pruning) is a natural optimization for main memory query engines: given a query Q over a document D, the subtrees of D that are not necessary to evaluate Q…