Carlo Sartiani

Proc. ACM Program. Lang., January, 2024

2023

Negation-closure for JSON Schema.

[BibT_eX]

[DOI]

Theor. Comput. Sci., April, 2023

2022

Witness Generation for JSON Schema.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2022

The Usage of Negation in Real-World JSON Schema Documents.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

2021

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version).

[BibT_eX]

[DOI]

CoRR, 2021

Not Elimination and Witness Generation for JSON Schema.

[BibT_eX]

[DOI]

CoRR, 2021

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

A Test Suite for JSON Schema Containment.

[BibT_eX]

[DOI]

Proceedings of the ER Demos and Posters 2021 co-located with 40th International Conference on Conceptual Modeling (ER 2021), 2021

A Tool for JSON Schema Witness Generation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Extending Database Technology, 2021

2020

Scalable Saturation of Streaming RDF Triples.

[BibT_eX]

[DOI]

Mohammad Amin Farvardin

Khalid Belhajjame

Trans. Large Scale Data Knowl. Centered Syst., 2020

Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.

[BibT_eX]

[DOI]

Michael Fruth

Proceedings of the Advances in Conceptual Modeling, 2020

Human-in-the-Loop Schema Inference for Massive JSON Datasets.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

2019

Parametric schema inference for massive JSON datasets.

[BibT_eX]

[DOI]

VLDB J., 2019

Schemas and Types for JSON Data: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Management of Data, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Schemas And Types For JSON Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 2019

Streaming saturation for large RDF graphs with dynamic schema information.

[BibT_eX]

[DOI]

Mohammad Amin Farvardin

Khalid Belhajjame

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018

Evaluating Queries and Updates on Big XML Documents.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2018

PathGraph: querying and exploring big data graphs.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Scientific and Statistical Database Management, 2018

2017

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2017

Schema Inference for Massive JSON Datasets.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Extending Database Technology, 2017

Counting types for massive JSON datasets.

[BibT_eX]

[DOI]

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016

Regular Path Queries on Massive Graphs.

[BibT_eX]

[DOI]

Maurizio Nolé

Proceedings of the 28th International Conference on Scientific and Statistical Database Management, 2016

A graph-based approach to detect unreachable methods in Java software.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Distributed Implementation of GXPath.

[BibT_eX]

[DOI]

Maurizio Nolé

Proceedings of the Workshops of the EDBT/ICDT 2016 Joint Conference, 2016

2015

Queries and Updates on Big XML Documents (Extended Abstract).

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Typing regular path query languages for data graphs.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Database Programming Languages, 2015

Andromeda: A System for Processing Queries and Updates on Big XML Documents.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2015

2014

Typing query languages for data graphs.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

Processing Regular Path Queries on Giraph.

[BibT_eX]

[DOI]

Maurizio Nolé

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Almost-linear inclusion for XML regular expression types.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2013

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Processing XML queries and updates on map/reduce clusters.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Partitioning XML documents for iterative queries.

[BibT_eX]

[DOI]

Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

2011

Precision and complexity of XQuery type inference.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Schemas for safe and efficient XML processing.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Data Engineering, 2011

2009

Detection of corrupted schema mappings in XML data integration systems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2009

Efficient inclusion for a class of XML types with interleaving and counting.

[BibT_eX]

[DOI]

Inf. Syst., 2009

Efficient asymmetric inclusion between regular expression types.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

Linear inclusion for XML regular expression types.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.

[BibT_eX]

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Linear Time Membership for a Class of XML Types with Interleaving and Counting.

[BibT_eX]

[DOI]

Proceedings of the PLAN-X 2008, 2008

Linear time membership in a class of regular expressions with interleaving and counting.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007

XML Type Projection: A Maximum Flow Approach.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Scalable Query Dissemination in XPeer.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), 2007

2006

Static analysis for path correctness of XML queries.

[BibT_eX]

[DOI]

J. Funct. Program., 2006

Mapping Maintenance in XML P2P Databases.

[BibT_eX]

Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

An efficient algorithm for XML type projection.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2005

Detecting Corrupted Schema Mappings in XML P2P Databases.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Correctness of Query Results in XML P2P Databases.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

2004

A query algebra for xml p2p databases.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

A Self-organizing XML P2P Database System.

[BibT_eX]

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Types for path correctness of XML queries.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

XPeer: A Self-Organizing XML P2P Database System.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

2003

Efficient management of semistructured XLM data.

[BibT_eX]

[DOI]

PhD thesis, 2003

A Framework for Estimating XML Query Cardinality.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Web and Databases, 2003

Evaluating Nested Queries on XML Data.

[BibT_eX]

[DOI]

Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003

A General Framework for Estimating XML Query Cardinality.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2002

A typed text retrieval query language for XML documents.

[BibT_eX]

[DOI]

J. Assoc. Inf. Sci. Technol., 2002

The Query Language TQL.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

Types for Correctness of Queries over Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

The Query Language TQL - Demo Presentation.

[BibT_eX]

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Yet Another Query Algebra For XML Data.

[BibT_eX]

[DOI]