SourceForge.net Logo
Datalog Educational System

 

DES 6.7 released. September 2021

Download

Try the
On-line System

Support This Project

 

Web site last update: July 21, 2024

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 (LGPL License)
    • 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           What’s DES for?         What’s New         Read More