Martin Luther University Halle-Wittenberg

Further settings

Login for editors





Forschungsprojekte

Output and Sorting in Deductive Databases

This project investigates ways to specify output (e.g., for generating web pages) declaratively with Datalog.

[ more ... ]

BigFlow-Projekt

BigFlow

BigFlow is a data-driven workflow approach to mediate between data preparation, machine learning and interactive, visual data exploration in big data applications.

[ more ... ]

Efficient Query/Program Execution in Deductive Databases

Deductive databases use the logic programming language Datalog for database queries and application programming. The goal of this project is to improve the efficiency of query/program execution.

[ more ... ]

Long Range Correlations

Long Range Correlations

Records, each consisting of a set of simple objects from a data space, exhibit correlations that are non-local in the dataspace. A new class of mixture models is developed that capture such long range corrations.

[ more ... ]

Nonmonotonic Negation in Logic Programming

Many different semantics have been proposed for negation in logic programming. We could characterize some important semantics via properties and elementary transformations.

[ more ... ]

Detecting semantic errors in SQL queries.

This project investigates semantic errors in SQL queries, e.g. for giving warnings for SQL queries which are executable, but certainly not intended.

[ more ... ]

TopicExplorer

TopicExplorer

TopicExplorer is a web-based visual analytics system to explore data with topic models. Main current application is the analysis of Japanese blogs.

[ more ... ]

Up