Datalog Educational System

DES 6.1 released. May 2018

Web site last update: May 24, 2018

The Datalog Educational System (DES) is a deductive database system with Datalog , SQL , Relational Algebra (RA), Tuple Relational Calculus (TRC), and Domain Relational Calculus (DRC) as query languages.

Features in short:

Free, open-source Multiplatform, portable Datalog SQL RA TRC DRC Duplicates ODBC Persistence Outer joins Aggregates Types Integrity constraints Hypothetical reasoning Fuzzy reasoning Declarative debuggers Graphical tracers Test case generation for SQL Textual API Tabling Stratified negation Full-fledged arithmetic SQL semantic checking

See also:

Key Features Whats DES for? Whats New Read More