Static and dynamic semantics of NoSQL languages

Benzaken, Véronique; Castagna, Giuseppe; Nguyễn, Kim; Simèon, Jérǒme

doi:10.1145/2429069.2429083

Cited by 16 publications

(11 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Logics and automata for unordered trees were studied in the last twenty years mostly for querying XML documents [12,3,18] and more recently for querying NOSQL databases [1]. They were already studied earlier, for modeling feature structures in computational linguistics [15] and records in programming languages [16,9,10].…”

Section: Introductionmentioning

confidence: 99%

Deterministic Automata for Unordered Trees

Boiret

Hugot²,

Niehren³

et al. 2014

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in JSON or XML format. While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which makes it difficult to distinguish subclasses of automata for which problems such as inclusion, equivalence, and minimization can be solved efficiently. In this paper, we propose and investigate different notions of "horizontal determinism", starting from automata for unranked trees in which the horizontal evaluation is performed by finite state automata. We show that a restriction to confluent horizontal evaluation leads to polynomial-time emptiness and universality, but still suffers from coNP-completeness of the emptiness of binary intersections. Finally, efficient algorithms can be obtained by imposing an order of horizontal evaluation globally for all automata in the class. Depending on the choice of the order, we obtain different classes of automata, each of which has the same expressiveness as Counting MSO.

show abstract

Section: Introductionmentioning

confidence: 99%

Deterministic Automata for Unordered Trees

Boiret

Hugot²,

Niehren³

et al. 2014

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…В дальнейшем, когда произошла ошибка, ее обработка, после записи сведений о ней в глобальный массив, осуществляется в специальном обработчике ошибок [31][32][33][34][35] ConnErr, в этой ситуации обычно описываются действия для интерпретатора по устранению возник-шей ошибки. Ошибка обязательно сопровождается сообщением о том, что соединение с СУБД не удалось, и, если требуется, выдаются рекомендации пользователю о его дальнейших действиях.…”

Section: рисunclassified

Improvement of situation-oriented database model for interaction with MySQL

Gusarenko¹

2016

Izv. vysš. učebn. zaved., Priborostr.

View full text Add to dashboard Cite

Рассматриваются вопросы оснащения модели ситуационно-ориентированной базы данных (СОБД) специализированными средствами для взаимодействия с системой управления баз данных MySQL. Представлена усовершенствованная модель СОБД, расширяющая возможности использования XML-данных, хра-нимых в реляционной СУБД MySQL. В результате модель СОБД получает средства для соединения с базой данных и управления ее объектами. Взаимо-действие заключается в создании баз данных и таблиц, а также в выборке дан-ных и их обновлении. Функции по организации взаимодействия реализованы на платформе интерпретатора динамической модели СОБД, разработанной с ис-пользованием технологий PHP. Модель имеет XML-представление и эквива-лентное представление в виде диаграмм. Ключевые слова: веб-приложение, база данных, динамическая модель, NoSQL, XML, DOM, РНРВведение. На современном этапе развития NoSQL баз данных документоориентирован-ные базы работают с различными типами данных, которые основаны на открытых стандартах XML и JSON, поддерживаемых также в реляционных базах данных. Ситуационно-ориентированные базы данных (СОБД), относимые [1-6] к типу документоориентирован-ных, работают с различными так называемыми гетерогенными источниками данных [7][8][9][10][11][12][13]. В качестве источника данных могут выступать XML-данные, но хранящиеся не в привычном виде во внешней памяти, а в популярных СУБД, например MySQL. Доступ к таким XML-данным осуществляется опосредованно через принятые в MySQL запросы по стандарту SQL. В настоящее время СОБД не обладают инструментарием для получения доступа к данным через динамическую модель. Получение данных в приложении на основе СОБД осуществля-ется традиционными средствами с помощью различных функций на высокоуровневом языке программирования.Предлагается создать модель более высокого уровня абстракции на основе динамиче-ской модели СОБД путем обеспечения взаимодействия с MySQL.Соединение с сервером СУБД. В условиях, когда базы данных имеют различные на-правления развития и множество успешно реализованных видов систем управления, модель СОБД следует ориентировать на подключение к различным типам баз данных. Таким обра-зом, в модели указывается тип базы данных, например type = MySQL в элементе doc (рис. 1), что важно, так как лингвистические средства СУБД отличаются. Элемент doc, функциональное назначение которого -соединение с базой данных, выделяется в отдель-ный тип документов -conndoc. На doc-соединения этого типа ссылаются другие элемен-ты и документы модели из источников DPO, если требуется подключение к базе данных, в которой хранятся или собираются из одной или нескольких таблиц XML-документы, пред-варительно снабжаемые тегами XML, интерпретатором или функциями UDF, встроенными в СУБД. В зависимости от типа СУБД интерпретатор [13] задействует требуемый инстру-ментарий для взаимодействия с хостом, на котором установлена СУБД. Для создания соеди-нения с хостом СУБД в модели используется атрибут action, в котором декларируется

show abstract

“…HotelID → POIID n H × n P,H = 25, 000 s 1, 3 POIID → POI n H × n P,H = 25, 000 s 1,4 HotelID → RoomID n H = 1, 000 s 1,5 RoomID → Room n H × n R,H = 250, 000 s 1,6 RoomID → AmenityID n H × n R,H × n A,R = 1, 250, 000 s 1,7 AmenityID → Amenity n H × n R,H × n A,R = 1, 250, 000 s 1,8 GuestID → Reservation n H × n R ,H = 1, 000, 000…”

Section: Q1 (A) Get Room Ids For the Given Guest Idmentioning

confidence: 99%

“…Developing this model necessitates both a language for expressing queries and a means of describing possible plans for executing the query. Benzaken et al [4] propose a calculus for NoSQL databases, but it is overly complex for our purposes. Jaql [5] provides a generic query language over unstructured data, but is closely tied to the physical data model.…”

Section: Workload Modelingmentioning

confidence: 99%

Automated schema design for NoSQL databases

Mior

2014

Proceedings of the 2014 SIGMOD PhD Symposium

View full text Add to dashboard Cite

Selecting appropriate indices and materialized views is critical for high performance in relational databases. By example, we show that the problem of schema optimization is also highly relevant for NoSQL databases. We explore the problem of schema design in NoSQL databases with a goal of optimizing query performance while minimizing storage overhead. Our suggested approach uses the cost of executing a given workload for a given schema to guide the mapping from the application data model to a physical schema. We propose a cost-driven approach for optimization and discuss its usefulness as part of an automated schema design tool.

show abstract

Static and dynamic semantics of NoSQL languages

Cited by 16 publications

References 29 publications

Deterministic Automata for Unordered Trees

Deterministic Automata for Unordered Trees

Improvement of situation-oriented database model for interaction with MySQL

Automated schema design for NoSQL databases

Contact Info

Product

Resources

About