Datalog Educational System (original) (raw)
 |
|
|
|
|
|
|---|---|---|---|---|---|
 |
|||||
               |
|||||
 |
|
|---|
 |
|
|
|---|
 |
DES 6.7 released. September 2021  DownloadTry the On-line System 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, portableDatalogSQLRATRCDRCDuplicatesODBCPersistenceOuter joinsAggregates |
TypesIntegrity constraintsHypothetical reasoningFuzzy reasoningDeclarative debuggersGraphical tracersTest case generation for SQLTextual APITablingStratified negationFull-fledged arithmeticSQL semantic checking |
|---|
|
|
|---|---|
| See also:Key Features What�s DES for? What�s New Read More |