Elimination of annotation dependencies in validation for Modern JSON Schema
Fuente:
arXiv
Salvato in:
| Autori principali: | Attouche, Lyes, Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Klessinger, Stefan, Sartiani, Carlo, Scherzinger, Stefanie |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Validation of Modern JSON Schema: Formalization and Complexity
di: Attouche, Lyes, et al.
Pubblicazione: (2023)
di: Attouche, Lyes, et al.
Pubblicazione: (2023)
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness
di: Baazizi, Mohamed-Amine, et al.
Pubblicazione: (2026)
di: Baazizi, Mohamed-Amine, et al.
Pubblicazione: (2026)
Static Type Checking for Database Access Code
di: Kirz, Thomas James, et al.
Pubblicazione: (2026)
di: Kirz, Thomas James, et al.
Pubblicazione: (2026)
A Plaque Test for Redundancies in Relational Data [Extendend Version]
di: Köhnen, Christoph, et al.
Pubblicazione: (2023)
di: Köhnen, Christoph, et al.
Pubblicazione: (2023)
Synthesizing JSON Schema Transformers
di: Stanek, Jack, et al.
Pubblicazione: (2024)
di: Stanek, Jack, et al.
Pubblicazione: (2024)
Large Language Models for JSON Schema Discovery
di: Mior, Michael J.
Pubblicazione: (2024)
di: Mior, Michael J.
Pubblicazione: (2024)
Galley: Modern Query Optimization for Sparse Tensor Programs
di: Deeds, Kyle, et al.
Pubblicazione: (2024)
di: Deeds, Kyle, et al.
Pubblicazione: (2024)
XML Schema Languages: Beyond DTD.
di: Ioannides, Demetrios
Pubblicazione: (2000)
di: Ioannides, Demetrios
Pubblicazione: (2000)
The Case for DBMS Live Patching [Extended Version]
di: Fruth, Michael, et al.
Pubblicazione: (2024)
di: Fruth, Michael, et al.
Pubblicazione: (2024)
Blaze: Compiling JSON Schema for 10x Faster Validation
di: Viotti, Juan Cruz, et al.
Pubblicazione: (2025)
di: Viotti, Juan Cruz, et al.
Pubblicazione: (2025)
AutoLink: Autonomous Schema Exploration and Expansion for Scalable Schema Linking in Text-to-SQL at Scale
di: Wang, Ziyang, et al.
Pubblicazione: (2025)
di: Wang, Ziyang, et al.
Pubblicazione: (2025)
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
di: Bouajjani, Ahmed, et al.
Pubblicazione: (2025)
di: Bouajjani, Ahmed, et al.
Pubblicazione: (2025)
Datalog with First-Class Facts
di: Gilray, Thomas, et al.
Pubblicazione: (2024)
di: Gilray, Thomas, et al.
Pubblicazione: (2024)
Foundations of the GraphAlg Language
di: de Graaf, Daan, et al.
Pubblicazione: (2026)
di: de Graaf, Daan, et al.
Pubblicazione: (2026)
Adaptive Recursive Query Optimization
di: Herlihy, Anna, et al.
Pubblicazione: (2023)
di: Herlihy, Anna, et al.
Pubblicazione: (2023)
Raqlet: Cross-Paradigm Compilation for Recursive Queries
di: Shaikhha, Amir, et al.
Pubblicazione: (2025)
di: Shaikhha, Amir, et al.
Pubblicazione: (2025)
Rel: A Programming Language for Relational Data
di: Aref, Molham, et al.
Pubblicazione: (2025)
di: Aref, Molham, et al.
Pubblicazione: (2025)
The Monotone Priority System: Foundations of Contract-Specific Sequencing
di: Durvasula, Naveen
Pubblicazione: (2026)
di: Durvasula, Naveen
Pubblicazione: (2026)
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
di: He, Yang, et al.
Pubblicazione: (2024)
di: He, Yang, et al.
Pubblicazione: (2024)
Semantic foundations of equality saturation
di: Suciu, Dan, et al.
Pubblicazione: (2025)
di: Suciu, Dan, et al.
Pubblicazione: (2025)
Querying Graph-Relational Data
di: Sullivan, Michael J., et al.
Pubblicazione: (2025)
di: Sullivan, Michael J., et al.
Pubblicazione: (2025)
Dias: Dynamic Rewriting of Pandas Code
di: Baziotis, Stefanos, et al.
Pubblicazione: (2023)
di: Baziotis, Stefanos, et al.
Pubblicazione: (2023)
Vbox: Efficient Black-Box Serializability Verification
di: Sun, Weihua, et al.
Pubblicazione: (2025)
di: Sun, Weihua, et al.
Pubblicazione: (2025)
Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
di: Liu, Yanhong A., et al.
Pubblicazione: (2025)
di: Liu, Yanhong A., et al.
Pubblicazione: (2025)
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
di: Geng, Chujun, et al.
Pubblicazione: (2024)
di: Geng, Chujun, et al.
Pubblicazione: (2024)
Understanding Graph Databases: A Comprehensive Tutorial and Survey
di: Anuyah, Sydney, et al.
Pubblicazione: (2024)
di: Anuyah, Sydney, et al.
Pubblicazione: (2024)
Towards General-Purpose Data Discovery: A Programming Languages Approach
di: Kang, Andrew, et al.
Pubblicazione: (2025)
di: Kang, Andrew, et al.
Pubblicazione: (2025)
Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
di: Vandevoort, Brecht, et al.
Pubblicazione: (2025)
di: Vandevoort, Brecht, et al.
Pubblicazione: (2025)
FlowLog: Efficient and Extensible Datalog via Incrementality
di: Zhao, Hangdong, et al.
Pubblicazione: (2025)
di: Zhao, Hangdong, et al.
Pubblicazione: (2025)
Towards Relational Contextual Equality Saturation
di: Hou, Tyler, et al.
Pubblicazione: (2025)
di: Hou, Tyler, et al.
Pubblicazione: (2025)
Scaling Worst-Case Optimal Datalog to GPUs
di: Sun, Yihao, et al.
Pubblicazione: (2026)
di: Sun, Yihao, et al.
Pubblicazione: (2026)
A Compiler for Operations on Relations with Bag Semantics
di: Dong, James, et al.
Pubblicazione: (2025)
di: Dong, James, et al.
Pubblicazione: (2025)
TQL: Towards Type-Driven Data Discovery
di: Kang, Andrew, et al.
Pubblicazione: (2025)
di: Kang, Andrew, et al.
Pubblicazione: (2025)
An Extensive Study on Text Serialization Formats and Methods
di: Wei, Wang, et al.
Pubblicazione: (2025)
di: Wei, Wang, et al.
Pubblicazione: (2025)
Optimizing Datalog for the GPU
di: Sun, Yihao, et al.
Pubblicazione: (2023)
di: Sun, Yihao, et al.
Pubblicazione: (2023)
PyTond: Efficient Python Data Science on the Shoulders of Databases
di: Shahrokhi, Hesam, et al.
Pubblicazione: (2024)
di: Shahrokhi, Hesam, et al.
Pubblicazione: (2024)
Tell-Tale Tail Latencies: Pitfalls and Perils in Database Benchmarking
di: Fruth, Michael, et al.
Pubblicazione: (2021)
di: Fruth, Michael, et al.
Pubblicazione: (2021)
Structured Prompt Language: Declarative Context Management for LLMs
di: Gong, Wen G.
Pubblicazione: (2026)
di: Gong, Wen G.
Pubblicazione: (2026)
Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
di: Chen, Sibei, et al.
Pubblicazione: (2024)
di: Chen, Sibei, et al.
Pubblicazione: (2024)
An Agentic System for Schema Aware NL2SQL Generation
di: Onyango, David, et al.
Pubblicazione: (2026)
di: Onyango, David, et al.
Pubblicazione: (2026)
Documenti analoghi
-
Validation of Modern JSON Schema: Formalization and Complexity
di: Attouche, Lyes, et al.
Pubblicazione: (2023) -
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness
di: Baazizi, Mohamed-Amine, et al.
Pubblicazione: (2026) -
Static Type Checking for Database Access Code
di: Kirz, Thomas James, et al.
Pubblicazione: (2026) -
A Plaque Test for Redundancies in Relational Data [Extendend Version]
di: Köhnen, Christoph, et al.
Pubblicazione: (2023) -
Synthesizing JSON Schema Transformers
di: Stanek, Jack, et al.
Pubblicazione: (2024)