Constraints 1.4

Software ID: 333043
 (512k)  -   13 s
 (1Mb)  -   07 s
 (2Mb)  -   04 s
 (5Mb)  -   02 s
 (10Mb)  -  < 1 sec
Constraints 1.4 Description

The Constraints application is a SAT based propositional (boolean) logic engine defined by a list of models, where a model includes a list of constraints (a Knowledge Base) each defined by a propositional (boolean) formula (e.g. 'x and (y or not z)') including a set of propositional (boolean) variables ('x','y','z') and operators ('and','or','not').

To each model corresponds a propositional formula equal to the logical 'and' of propositional formulas of currently enabled constraints, and based on a selected model from a list of models that you can add, modify or delete, the application user interface contains three main screen tabs (constraints,variables,solutions) to:

- add, modify, delete, enable or disable constraints
- assign values (true,false) to boolean variables (any alphanumeric string including '.' and '_' characters) used by the model
- for satisfiable models, find one by one all possible assignments to not assigned boolean variables as solutions of the model, such that the model (i.e. its corresponding propositional formula) is always true regardless remaining variables assignments.

Include advanced features such as:

- support of multiple syntax for boolean operators of propositional formulas (not,and,or,implies,equivalent,if,unless,nor,nand): '(x and (y or not z)' is equivalent to 'x*(y+-z)'), or for comment capabilities ('#','//','{}')
- real time evalution of constraints and models status ('undefined','unsatisfiable','satisfiable','valid'), where a propositional formula is valid when is true regardless assignments to its not assigned variables
- conversion to normal forms (e.g. NNF or CNF) of propositional formulas associated with each model or constraint; e.g. the Disjunctive Normal Form of propositional formula 'x&(y|~z) is 'x&y|x&~z'
- evaluation of the propositional formula corresponding to all possible SAT solutions with variables assignments to get valid (true) propositional formulas for constraints or models
- export to email or clipboard of:

* models and constraints definition
* variable assignments
* model solutions
* normal forms of constraints and models

- import from web from a configurable set of URLs of:

* models definition (a simple text containing an optional model description and a list of constraint names)
* constraints definition (a simple text containing an optional constraint description and its propositional formula)
* mailing list for export to email (including a list of email address or http URL of text files containing mailing list, with comment capability using '#')
* evaluation of (true,false) value of variables

- percistence
- Feature Models (FM) and Propositional Logic Truth Maintenance System (LTMS) capabilities, such as find the smallest set of 'requires' and 'excludes' rules based on selected 'features' (boolean variables, true iff the feature is selected) and propositional formula related to logical constraints of these features; e.g. if from model constraints you get four features 'a','b','c','d' and four product lines '(a,c)', '(d)', '(b)' and '(a,b,d)' (from Disjunctive Normal Form) with 'Requires' functionality you get rules (represented as propositional formulas) such as 'the selection of c feature requires feature a and excludes features b and d' ('c->a&~b&~d') or 'the selection of a and b features requires feature d' ('a&b->d')
Changes: - export as TXT of propositional formulas to email as attachment file
- fixed a bug on propositional variable assignment

Size: 2.5 MB | License: Shareware | Price: US$27 | Category: Business
PG Explorer PGExplorer (Postgres Explorer) is a full-featured GUI MS windows-based development tool for the PostgreSQL Database Server. It features a tree view of your databases, tables, views, functions. sequences, triggers and constraints. You can extract SQL statements for your database objects, modify the SQL and execute it. It includes a few samples, and features comprehensive online help (including PostgreSQL manuals) and wizards. If you are using...

OS: Windows
Software Terms: Postgres, Postgresql, Tool, Sql, Samples, Gui
Size: 2.7 MB | License: Shareware | Price: US$160 | Category: Business
DBDocumentor DBDocumentor produces programmers reference documentation on SQL Server databases. The output reference documentation covers functions, indices, procedures, tables (including columns and constraints), views and user defined types. Procedures calling and being called are linked, as are indices and their tables. The SQL schema can be included, and optionally colorized. Alternate output options include XML SQLDocumentation.

OS: Windows
Software Terms: Sql Documentation, Sql Reports, Documentation, Reports, Sql, Table, Index, Stored Procedure, Constraint
Size: 530.0 KB | License: Demo | Price: US$20 | Category: Business
SyncDB SyncDB is an easy solution to synchronize schema of mySQL databases. When you alter database, add or change columns, indices or constraints, sync is done in an quick and painless process and enables you to change the structure of your older database to its newest version while preserving its data. 1. Select source database or load an SQL script. 2. Select target database (you can also create it using builtin script editor) 3. Press Synchronize

OS: Windows
Software Terms: Mysql, Database, Synchronization, Schema, Ddl, Versions, Versioning
Size: 1.3 MB | License: Shareware | Price: US$39.95 | Category: Business
Sync Database Sync Database is easy solution to synchronize schema of mySQL databases. When you alter database, add or change columns, indices or constraints, sync is done in an quick and painless process and enables you to change the structure of your older database to its newest version while preserving its data. 1. Select source database or load an SQL script. 2. Select target database (you can also create it using builtin script editor)3. Synchronize!

OS: Windows
Software Terms: Mysql, Database, Synchronization, Schema, Ddl, Versions, Versioning
Size: 9.1 MB | License: Shareware | Price: US$40 | Category: Business
Guggi for Oracle Database Development, Administration, PL/SQL programming and data analysis tool for Oracle 8.0, 8i, 9i and 10g. Are Browse the database for 32 different types of objects such as table, view, synonym, constraints, function, index, trigger, sequence, schema, tablespace, procedure, package, materialized view, database link, type, rollback segment, directory, operator, library, queue, java (data, source, resource, class), context, consumer group,...

OS: Windows
Software Terms: Database Development, Developers, Dba, Analysis, Analysts, Administration, pl sql, Sql, Oracle, Programming
Size: 446.1 KB | License: Freeware | Category: Business
RISE PostgreSQL code generator The RISE PostgreSQL code generator generates a native PL/pgSQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. RISE PostgreSQL code generator The RISE PostgreSQL code generator generates a native PL/pgSQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. Once the database model...

OS: Windows
Software Terms: Code Generator, Postgresql, PL pgSQL, Rise, Model, Postgresql Code Generator
Size: 446.1 KB | License: Freeware | Category: Business
RISE SQL Server code generator The RISE SQL Server code generator generates a native Transact SQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. RISE SQL Server code generator The RISE SQL Server code generator generates a native Transact SQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. Once the database is...

OS: Windows
Software Terms: Code Generator, Transact Sql, Sql Server, Rise, Model
Size: 446.1 KB | License: Freeware | Category: Business
RISE MySQL code generator The RISE MySQL code generator generates a native MySQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. RISE MySQL code generator The RISE MySQL code generator generates a native MySQL script. The script incrementally updates the tables, columns, indexes and constraints in the database to match the RISE model. Once the database model is updated,...

OS: Windows
Software Terms: Code Generator, Mysql, Rise, Model, Mysql Code Generator
Size: 972.8 KB | License: Freeware | Category: Business
GoldView32 GoldView is a schema structure browser. GoldView is a schema structure browser. It displays information on the structure and properties of schema objects. It is a read-only tool. It is useful for developers who need to know information about the objects in a schema but don't want to...

OS: Windows
Software Terms: Goldview32, Publisher Of Goldview32, Author Of Goldview32 2 1 Build 191, Information, Schema, Client, Objects, Structure, Oracle, Displays
Size: 2.2 MB | License: Shareware | Price: US$45 | Category: Business
Migrate MySQL Database MySQL database converter tool converts MySQL to MSSQL with integrity constraints MySQL to MSSQL database converter utility systematically and easily converts MySQL database records to MSSQL database. Professional MySQL to MSSQL converter software supports all attributes, schema, table, row, column, primary key, integrity...

OS: Windows
Software Terms: Mysql, Converter, Tool, Mssql, Database, Server, Migration, Convert, Software, Tables