categories - Category Theory list
 help / color / mirror / Atom feed
From: Bob Rosebrugh <rrosebru@mta.ca>
To: categories <categories@mta.ca>
Subject: Easik 3.0: (correction)
Date: Mon, 16 Mar 2015 13:25:11 -0300	[thread overview]
Message-ID: <E1YXXwE-0008S0-1P@mlist.mta.ca> (raw)

[The first link below was incorrect in the message sent earlier; it is 
corrected in this post]

Version 3.0 of the Java application Easik has been released. Previous
versions were announced on this list.

Easik is a graphical environment for database design based on the finite
limit, finite sum Entity-Attribute (EA) sketches, and also for data entry
and manipulation. EA sketches are the syntactic basis of the categorical
Sketch Data Model developed by the poster and Michael Johnson. The model
extends and considerably enhances the widely studied and implemented
Entity-Relationship-Attribute data model.

Easik supports graphical design of EA sketches and their export to SQL
database schemas. An exported schema has triggers and procedures which
enforce the graphically specified constraints, both finite limit and
finite sum. Views built from subschemas may be designed and implemented.
Easik also provides connectivity for data manipulation to the common
open-source database management system MySQL.

Version 3.0 contains the functionality of Version 2.0 and adds several new
view features. Most importantly, views can now implement constraints from
the supporting EA sketch. Some known safe view updates are permitted, and
are restricted in other cases. Constraint handling has been tested and
refined.

The application is available at

**Correction:**

http://www.mta.ca/~rrosebru/project/Easik/

or follow the link from

http://www.mta.ca/~rrosebru/

Downloads include:
- user instructions
- an executable Java archive (jar) file
- Java source code
- example designs

The contributors to Easik are Robert Fletcher, Kevin Green, Vera Ranieri,
Jason Rhinelander, Andrew Wood, Christian Fiddick, Sarah VanderLaan,
Federico Mora and Robert Rosebrugh. We acknowledge support from NSERC
Canada and Mount Allison University.

Extensive information about the Sketch Data Model is in articles available
from the web pages of the poster and Michael Johnson.

Comments and user reports are very welcome.

Bob Rosebrugh


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


                 reply	other threads:[~2015-03-16 16:25 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1YXXwE-0008S0-1P@mlist.mta.ca \
    --to=rrosebru@mta.ca \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).