Now showing items 1-6 of 6
Expressivity and Complexity of MongoDB Queries
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018)
In this paper, we consider MongoDB, a widely adopted but not formally understood database system managing JSON documents and equipped with a powerful query mechanism, called the aggregation framework. We provide a clean ...
Efficient Ontology-Based Data Integration with Canonical IRIs
In this paper, we study how to efficiently integrate multiple relational databases using an ontology-based approach. In ontology-based data integration (OBDI) an ontology provides a coherent view of multiple databases, and ...
First-order Ontology Mediated Database Querying via Query Reformulation
We address the problem of query answering with ontologies over databases. We consider first-order ontology systems playing the role of a conceptual model of a database represented as a classical finite relational store, ...
First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus
We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ...
Semantics, Analysis and Simplification of DMN Decision Tables
The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture ...
Verification of Fixed-Topology Declarative Distributed Systems with External Data
Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for ...