Browse wiki
| Computer languages
|
C++ +
|
| Database
|
application +
|
| Documentation note
|
User reference manual available in PDF foramt from http://mtc.epfl.ch/~beyer/CrocoPat/CrocoPat_2.1_Introduction_and_Reference_Manual.csd-04-1338.pdf
|
| Full description
|
'CrocoPat' is a tool for querying and mani … 'CrocoPat' is a tool for querying and manipulating relations. It is easy to use because of its simple query and manipulation language based on predicate calculus and its simple file format for relations. It is efficient because it internally represents relations as binary decision diagrams, a data structure that is well-known as a compact representation of large relations. CrocoPat is general, because it manipulates not only graphs (i.e. binary relations), but n-ary relations.e. binary relations), but n-ary relations.
|
| Homepage URL
|
http://mtc.epfl.ch/~beyer/CrocoPat/ +
|
| Interface
|
command-line +
|
| Is GNU
|
false +
|
| Keywords
|
database +
, testing +
, assessment +
, relational +
, query +
, computation +
|
| Last review by
|
Janet Casey +
|
| Last review date
|
3 May 2005 +
|
| License
|
LGPLv2.1orlater +
|
| License verified by
|
Janet Casey +
|
| License verified date
|
30 March 2004 +
|
| Name
|
CrocoPat +
|
| Real name
|
Dirk Beyer +
, Andreas Noack +
|
| Resource URL
|
mailto:beyer@eecs.berkeley.edu +
|
| Resource audience
|
Bug Tracking +
, Developer +
, Support +
|
| Resource kind
|
E-mail +
|
| Revisionid
|
1,628 +
|
| Revisiontimestamp
|
12 April 2011 07:56:03 +
|
| Revisionuser
|
User:WikiSysop +
|
| Role
|
Maintainer +
, Contributor +
|
| Short description
|
Tool for relational querying +
|
| Software-development
|
debugging +
|
| Submitted by
|
Database conversion +
|
| Submitted date
|
1 April 2011 +
|
| Use
|
mathematics +
, software-development +
|
| User level
|
none +
|
| Version comment
|
2.1.2 stable released 2005-02-12
|
| Version date
|
12 February 2005 +
|
| Version download
|
http://mtc.epfl.ch/~beyer/CrocoPat/crocopat-2.1.2.zip +
|
| Version identifier
|
2.1.2 +
|
| Version status
|
stable +
|
| Works-with
|
database +
|
| Has queryThis property is a special property in this wiki.
|
CrocoPat +
, CrocoPat +
, CrocoPat +
, CrocoPat +
, CrocoPat +
, CrocoPat +
, CrocoPat +
, CrocoPat +
|
| Modification dateThis property is a special property in this wiki.
|
5 March 2013 20:57:59 +
|
| Page has default formThis property is a special property in this wiki.
|
Entry +
|
| Has subobjectThis property is a special property in this wiki.
|
CrocoPat +
, CrocoPat +
, CrocoPat +
, CrocoPat +
|
| EmailThis property is a special property in this wiki.
|
Dirk.Beyer@epfl.ch +
, an@informatik.tu-cottbus.de +
|
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with no
Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
copy of the license is included in the page “GNU Free
Documentation License”.
The copyright and license notices on this page only apply to the
text on this page. Any software described in this text has its
own copyright notice and license, which can usually be found in
the distribution itself.