JSON Functionally

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F20%3A10414027" target="_blank" >RIV/00216208:11320/20:10414027 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-030-54832-2_12" target="_blank" >https://doi.org/10.1007/978-3-030-54832-2_12</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-54832-2_12" target="_blank" >10.1007/978-3-030-54832-2_12</a>

Jazyk výsledku

angličtina

Název v původním jazyce

JSON Functionally

Popis výsledku v původním jazyce

Document databases use JSON (JavaScript Object Notation) for data representation. In the category of NoSQL databases they support an ability to handle large volumes of data at the absence of an explicit data schema. On the other hand, schema information is sometimes essential for applications during data retrieval. Consequently, there are approaches to schema construction in the JSON community. We will suppose JSON collections equipped by a schema compatible in its expressivity to the JSON Schema recommendation. We use a formal approach based on typed functional data objects. We accommodate a classical approach to functional databases based on a typed λ-calculus to obtain a powerful non-procedural query language over JSON data with sound semantics.

Název v anglickém jazyce

JSON Functionally

Popis výsledku anglicky

Document databases use JSON (JavaScript Object Notation) for data representation. In the category of NoSQL databases they support an ability to handle large volumes of data at the absence of an explicit data schema. On the other hand, schema information is sometimes essential for applications during data retrieval. Consequently, there are approaches to schema construction in the JSON community. We will suppose JSON collections equipped by a schema compatible in its expressivity to the JSON Schema recommendation. We use a formal approach based on typed functional data objects. We accommodate a classical approach to functional databases based on a typed λ-calculus to obtain a powerful non-procedural query language over JSON data with sound semantics.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

ADBIS 2020: Advances in Databases and Information Systems

ISBN

978-3-030-54831-5

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

15

Strana od-do

139-153

Název nakladatele

Springer Nature Switzerland AG

Místo vydání

Cham, Switzerland

Místo konání akce

Lyon

Datum konání akce

25. 8. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—