Conferences  >  Informatics  >  Database Technology and Design, Search Engines and Data Mining  >  Germany

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

The goal of database theory is to formalize the theoretical underpinnings of databases and then analyze them with mathematical tools. One central question in the area is query evaluation, that is the computational problem of computing the answer to a query in a database. Of particular importance in this area is understanding the complexity of query evaluation, i.e., which resources, in particular, how much time and space, are necessary and sufficient to compute the answers to a given query. This Dagstuhl Seminar will focus on three key aspects of query evaluation: representation, provenance, and explanations. One common theme of these three directions is the use of circuits, which have a long history in complexity theory. In recent years, the theory of query processing has witnessed the use of different types of circuits, sometimes over Boolean inputs and operations, but also over more general structures, which often can be formalized as different semirings. We hope to see use of circuits in different representations of inputs for expressing and computing provenance, as well as for computing explanations using scores such as Shapley values. We hope to strengthen our understandings of these topics within database theory and logic.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Following up on earlier Dagstuhl Seminars on robust performance of database query processing, this Dagstuhl Seminar aims to discuss and advance multiple topics in database query processing, with a new focus on cloud-computing environments. Query performance and in particular robust, predictable, reliable query performance (“good performance every time”) remains an open issue in research and in products. The problem is simple to describe, expensive to investigate and to alleviate, and well-known for decades: therefore, it must be a hard research problem that must be continuously investigated and reframed as technology develops (it is not a simple industrial development problem). A new dimension of complexity is added to this long-lasting problem with the ever-increasing popularity of cloud computing and the massive migration of database applications and services to this new environment.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

This Dagstuhl Seminar aim to bringing together leading researchers and practitioners from database systems, hardware architecture, and storage systems to rethink, from the ground up, how to co-design database systems and compute/storage hardware.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Code search describes the process of retrieving source code from a repository, where that source code matches a query. Whether a developer is looking for where an error was thrown, learning how to use a new-to-them API, learning a new programming language, or browsing their team’s directory to familiarize themselves with the codebase, search underpins all these activities. Beyond those human-driven software engineering processes, search is also a component in automated software engineering, such as automated program repair, code example recommendation, and clone detection. Furthermore, new generative AI tools have challenged traditional code search by presenting alternative approaches to finding and reusing code.

This Dagstuhl Seminar brings together experts in mining software repositories, human factors in software engineering, software documentation, code examples, program analysis, and industrial code search systems to bridge the gap between industry and academia and set the roadmap for the next decade of code search research.

Software Engineering,    Software Agents and Intelligent Agents in Artificial Intelligence

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Data-sharing across domain and infrastructure boundaries is becoming more common, and significant work has been done in aligning many of the standard model describing the information and data being exchanged. In order to guarantee the scalability and practicality of data-sharing implementations, these standard models need to be aligned with the emerging technology architectures designed to support exchange networks at this scale. This workshop will look at how the standard metadata models for cross-domain use - including DDI-CDI and related models - and architectural approaches can best be used to leverage the strengths of both.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Through a series of Dagstuhl hosted workshops, and the CODATA-DDI collaboration, we have developed a framework for cross-domain interoperability, published by the EC-funded WorldFAIR project. This framework is being employed both within data intensive science and and between the scientific world and the world of official data, collected to inform policy making, including in relation to the Sustainable Development Goals and other components of the UN Agenda. The effective use and uptake of such a framework will require methodologies to evaluate implementations. This workshop will explore such approaches, building on current work for FAIR assessment, and the experience gained from implementation in a range of case studies, including those in WorldFAIR. The workshop will focus on improvements to evaluation metrics, and to the metadata exchange frameworks themselves.