SourceForge.net Logo
Datalog Educational System

 

DES 5.0.1 released. May 2017

Support This Project

 

Web site last update: May 31, 2017

    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

      See also:

      Key Features           What’s DES for?         What’s New         Read More