• SCDE Home
• Software
  • Documentation
  • Downloads
• Publications
• People
  • James Lu
  • Sebastien Siva

The SQL-based Constraint Data Engine (SCDE) is a database system that provides a user friendly environment for solving constraint satisfaction problems (CSP) in a SQL-based language.

The language supports the key concepts of CONSQL, proposed by Cadoli and Mancini, and it includes several additional syntax to better align the administration of CSP related notions with ordinary SQL. SCDE manages the internal representation and solving of constraints through a combination of ordinary SQL and a complete propositional satisfiability solver, SATO.

Relational database support is provided by Sqlite, an "in-process library that implements a self-contained, serverless, zero-configuration, transactional SQL database engine," compiled as part of the SCDE executable.

Over the next few weeks, please check back here for publications, documentation, and access to the prototype source.