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

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..

5

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/..

6

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/..

7

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..

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

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..

10

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/..

11

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..

12

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/..

13

Efficient asymmetric inclusion between regular expression t..:

, In: Proceedings of the 12th International Conference on Database Theory,

Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo - p. 174-182 , 2009

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

14

XML Updates:

, In: Encyclopedia of Database Systems,

Ghelli, Giorgio - p. 3654-3656 , 2009

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

15

Linear time membership in a class of regular expressions wi..:

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

Ghelli, Giorgio ; Colazzo, Dario ; Sartiani, Carlo - p. 389-398 , 2008

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