E-LIB Suche - Ergebnisse für: Ghelli, Giorgio

1

Validation of Modern JSON Schema: Formalization and Complex..:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1451-1481 , 2024

Link: https://doi.org/10.1145/..

2

Negation-closure for JSON Schema:

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio..
Theoretical Computer Science. 955 (2023) - p. 113823 , 2023

Link: https://doi.org/10.1016/..

3

Witness Generation for JSON Schema:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the VLDB Endowment. 15 (2022) 13 - p. 4002-4014 , 2022

Link: https://doi.org/10.14778..

4

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

, In: Conceptual Modeling; Lecture Notes in Computer Science,

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio.. - p. 102-112 , 2021

Link: https://doi.org/10.1007/..

5

Challenges in Checking JSON Schema Containment over Evolvin..:

, In: Lecture Notes in Computer Science; Advances in Conceptual Modeling,

Fruth, Michael ; Baazizi, Mohamed-Amine ; Colazzo, Dario... - p. 220-230 , 2020

Link: https://doi.org/10.1007/..

6

Schemas and Types for JSON Data : From Theory to Practic:

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

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio. - p. 2060-2063 , 2019

Link: https://dl.acm.org/doi/1..

7

Parametric schema inference for massive JSON datasets:

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio.
The VLDB Journal. 28 (2019) 4 - p. 497-521 , 2019

Link: https://doi.org/10.1007/..

8

Linear Time Membership in a Class of Regular Expressions wi..:

Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo
ACM Transactions on Database Systems (TODS). 42 (2017) 4 - p. 1-44 , 2017

Link: https://dl.acm.org/doi/1..

9

Linear Time Membership in a Class of Regular Expressions wi..:

Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo
ACM Transactions on Database Systems. 42 (2017) 4 - p. 1-44 , 2017

Link: https://doi.org/10.1145/..

10

Counting types for massive JSON datasets:

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

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio. - p. 1-12 , 2017

Link: https://dl.acm.org/doi/1..

11

Almost-linear inclusion for XML regular expression types:

Colazzo, Dario ; Ghelli, Giorgio ; Pardini, Luca.
ACM Transactions on Database Systems (TODS). 38 (2013) 3 - p. 1-45 , 2013

Link: https://dl.acm.org/doi/1..

12

Almost-linear inclusion for XML regular expression types:

Colazzo, Dario ; Ghelli, Giorgio ; Pardini, Luca.
ACM Transactions on Database Systems. 38 (2013) 3 - p. 1-45 , 2013

Link: https://doi.org/10.1145/..

13

Efficient inclusion for a class of XML types with interleav..:

Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo
Information Systems. 34 (2009) 7 - p. 643-656 , 2009

Link: https://doi.org/10.1016/..

14

Linear inclusion for XML regular expression types:

, In: Proceedings of the 18th ACM conference on Information and knowledge management,

Colazzo, Dario ; Ghelli, Giorgio ; Pardini, Luca. - p. 137-146 , 2009

Link: https://dl.acm.org/doi/1..

15

XML Updates:

, In: Encyclopedia of Database Systems,

Ghelli, Giorgio - p. 3654-3656 , 2009

Link: https://doi.org/10.1007/..