SourceForge.net Logo
Datalog Educational System

 

DES 6.2 released. January 2019

Support This Project

 

Web site last update: July 18, 2019

    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           What’s DES for?         What’s New         Read More